Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
61–80 of 121 hits
Sort by:
Sort by:
-
Comparing Two Approaches to Compensable Flow Composition
British Library Conference Proceedings | 2005| -
Work-Centered Design: A Case Study of a Mixed-Initiative Scheduler
British Library Conference Proceedings | 2007| -
Certification of Safe Polynomial Memory Bounds
British Library Conference Proceedings | 2011|Contributors: Butler, Michael -
No Adult Left Behind: Adult Computer Literacy for Occupational Workers
British Library Conference Proceedings | 2004|Contributors: Robson, R. -
Neural Recurrent Estimator to Gray Scale Image Restoration Based on 2D Kaiman Filtering
British Library Conference Proceedings | 1992| -
Message Bundling in Time-Warp
British Library Conference Proceedings | 1991|Contributors: Nilsen, R. -
Power and Politics in IT Implementation: Perspective, Threat, and Promise
British Library Conference Proceedings | 1998|Contributors: Hirschheim, R. -
Optimizing BGP Security by Exploiting Path Stability
British Library Conference Proceedings | 2006|Contributors: Wright, R. N. -
Tutorial 1 Human-Computer Interaction: Introduction and Overview
British Library Conference Proceedings | 1997| -
A Comparative Study of Formal and Informal Specifications through an Industrial Case Study
British Library Conference Proceedings | 2001| -
Talk to Me: Foundations for Successful Individual-Group Interactions in Online Communities
British Library Conference Proceedings | 2006| -
Tracking multiple neurons on worm images [8669-98]
British Library Conference Proceedings | 2013|Contributors: Haynor, David R. -
The 1st Verified Software Competition: Experience Report
British Library Conference Proceedings | 2011|Contributors: Butler, Michael -
Linear Feature Based Matching of Stereo SPOT Satellite Images
British Library Conference Proceedings | 1992|Contributors: Lucas, J. R. -
The Impact of the Internet on Information Systems Education: Practice and Trends
British Library Conference Proceedings | 1996| -
An Informatics Approach to Civil and Environmental Engineering Analysis
British Library Conference Proceedings | 2004| -
Omnibus: A clean language and supporting tool for integrating different assertion-based verification techniques
British Library Conference Proceedings | 2005|Contributors: Butler, Michael -
SIMPLE MAINTENANCE OF BEOWULF CLUSTERS IN AN ACADEMIC ENVIRONMENT
British Library Conference Proceedings | 2002|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.