Вы здесь

Home » Издательства

Springer

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

Accounting and Billing of Wireless Internet Services in the Third Generation Networks
Accurate Projective Reconstruction
Accurate Shape Analysis for Recursive Data Structures
Accurate Widenings and Boundedness Properties of Timed Systems
A C++ Database Interface Based on the Entity-Relationship Approach
A Change Impact Analysis Approach for CORBA-Based Federated Databases
A Characterization of Generator and Component Reuse Technologies
A Characterization of Weak Bisimulation Congruence
A Checker for Modal Formulae for Processes with Data
Achievements and Prospects of Program Synthesis
Achievements of Relational Database Schema Design Theory Revisited
Achieving CMMI Level 2 with Enhanced Extreme Programming Approach
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for Ada95 and C++ Targets
Achieving Robust, Scalable Cluster I/O in Java
Achieving Software Robustness via Large-Scale Multiagent Systems
Achieving the Promise of Reuse with Agent Components
A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives
A Classification of Models for Concurrency
A Classification of Skew Effects in Parallel Database Systems
A Classification of Stereotypes for Object-Oriented Modeling Languages
A Classification of Various Approaches for Object-Oriented Parallel and Distributed Programming
A Classification of Web Adaptivity: Tailoring Content and Navigation Systems of Advaced Web Applications
A Class of Composable High Level Petri Nets
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
A Closed Approach to Vague Collections in Partly Inaccessible Distributed Databases
Acme-Based Software Architecture Interchange
A Coalgebraic Description of Web Interactions
A COBRA Compliant Real-Time Multimedia Platform for Broadband Networks
A Code Selection Method for SIMD Processors with PACK Instructions
A Collaborative Environment for High Performance Computing
A Collaborative Infrastructure for Mobile and Wireless Systems
A collection of Test Problems for Constrained Global Optimization Algorithms
A Collective I/O Scheme Based on Compiler Analysis
A Coloured Petri Net Formalization for a UML-Based Notation Applied to Cooperative System Modeling
A Combination of Clausal and Non Clausal Temporal Logic Programs
A Combination Scheme of Artificial Intelligence and Fuzzy Pattern Recognition in Medical Diagnosis
A Commit Scheduler for XML Databases
A Commonsense Reasoning Facility Based on the Entity-Relationship Model
A Compact Petri Net Representation and Its Implications for Analysis
A Comparative Assessment of Selected Approaches in the Focal Area of Knowledge Engineering and Cognition
A Comparative Evaluation of Parallel Garbage Collector Implementations
A Comparative Study of Real Workload Traces and Synthetic Workload Models for Parallel Job Scheduling
A Comparison and Evalution of Data Requinement Specification Techniques in SSADM and the Unified Process
A Comparison between Query Languages for the Extraction of Association Rules
A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces
A Comparison of Alternative Encoding Mechanisms for Web Services
A Comparison of Automating Parallelizing Compiler and Improvements by Compiler Directives
A Comparison of Compiler Tiling Algorithms
A Comparison of Concurrent Programming and Cooperative Multithreading
A Comparison of Finite and Cellular Automata