Вы здесь

Главная

Lecture Notes in Computer Science

Связанные издания:

A Data Warehouse Engineering Process
A DBMS-Based Multimedia Archiving Teleservice Incorporating Mail
Adding Action Refinement to a Finite Process Algebra
Adding Agent-Oriented Concepts Derived from Gaia to Agent OPEN
Adding a Performance-Oriented Perspective to Data Warehouse Design
Adding Apples and Oranges
Adding Concurrency to the Oberon System
Adding Control Integration to PCTE
Adding Design by Contract to the Ada Language
Adding Design Strategies to Fork Algebras
Adding Feature to Component-Based Systems
Adding For-Loops to First-Order Logic. Extended Abstract
Adding Implicit Invocation to Languages: Three Approaches
Adding Linear Constraints over Real Numbers to Curry
Adding Persistence to the Oberon-System
Adding Real Time to Formal Program Development
Adding Relevance to XML
Adding Semantic and Syntactic Predicates to LL(k):pred-LL(k)
Adding Specification Constructors to the Refinement Calculus
Adding Temporal Annotations and Associated Verification to the Ravenscar Profile
Adding Time to an Object-Oriented Versions Model
Adding Traces to a Lazy Monadic Evaluator
Adding Uniqueness Constraint to Description Logics
Adding Valid Time to XPath
Addressing Dynamic Issues of Program Model Checking
Addressing Efficiency Issues During the Process of Integrity Maintenance
Addressing Marketing Requirements is User-Interface Design for Multiple Platform
Address Register Assignment for Reducing Code Size
A Debugging Model for Functional Logic Programs
A Debugging Scheme for Declarative Equation Based Modeling Languages
A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information - Replay and Race Detection
A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development
A Decidable Intersection Type System Based on Relevance
A Decidable Logic for Describing Linked Data Structures
A Decision Algorithm for Full Propositional Temporal Logic
A Decision Support System for Accurance of Quality of Service in Intelligent Network Service Provisioning
A Declarative Approach to Concurrent Programming
A Declarative Query Approach to Object Identification
A Declarative Way of Extracting XML Data in XSL
A Decompositional Approach to the Design of Efficient Parallel Programs
A Decoupled Multicomputer Architecture with Optical Full Interconnection
A Deductive and Object-Oriented Approach to a Complex Scheduling Problem
A Deductive and Typed Object-Oriented Language
A Deductive Database Approach to Planning in Uncertain Environments
A Deductive Object-Oriented Database For Data Intensive Application Development
A Delegation Based Model for Distributed Software Process Management
A Demand Driven Computation Strategy for Lazy Narrowing
A Denotational Real-Time Semantics for Shared Processors
A Dense-Time Temporal Logic with Nice Compositionality Properties
A Dependently Typed Ambient Calculus