Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
41–60 of 121 hits
Sort by:
Sort by:
-
A Generic Model for Assessing Process Quality
British Library Conference Proceedings | 2001|Contributors: Dumke, R. -
Massively Parallel Image Restoration with Spatially Variant Point-Spread-Function
British Library Conference Proceedings | 2001|Contributors: Arabnia, H. R. -
Formal Verification of Conflict Detection Algorithms
British Library Conference Proceedings | 2001| -
A scalable HTTP server: The NCSA prototype
British Library Conference Proceedings | 1994|Contributors: Cailliau, R. -
A Case Study in Feature Invention for Breast Cancer Diagnosis Using X-Ray Scatter Images
British Library Conference Proceedings | 2003| -
Formal Analysis of Air Traffic Management Systems: The Case of Conflict Resolution and Recovery
British Library Conference Proceedings | 2003| -
The Process Management Component of a Scalable Systems Software Environment
British Library Conference Proceedings | 2003| -
A Vision for the Use of Proactive Mobile Computing Tools to Empower People with Chronic Conditions
British Library Conference Proceedings | 2005| -
Deriving Business Object Definitions from User Work Process Models
British Library Conference Proceedings | 1998| -
Comparing and Reconciling Usability-Centered and Use Case-Driven Requirements Engineering Processes
British Library Conference Proceedings | 2001| -
The Refinement Calculator: Proof Support for Program Refinement
British Library Conference Proceedings | 1997| -
Simulation and Experimental Evaluation of Complete Sensor-Based Coverage in Rectilinear Environments
British Library Conference Proceedings | 2001| -
New results on deriving SDL specifications from MSCs
British Library Conference Proceedings | 1999|Contributors: Dssouli, R. -
Tools for Developing Large Systems (A Proposal)
British Library Conference Proceedings | 2006|Contributors: Butler, Michael -
BSS: An Action System Approach to the Steam Boiler Problem
British Library Conference Proceedings | 1996|Contributors: Abrial, J.-R. -
A Scalable Process-Management Environment for Parallel Programs
British Library Conference Proceedings | 2000|
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.