Вы здесь

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

Springer

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

Abstract State Machines: Theoy and Applications: Proc./Intern. Workshop, ASM 2000, Monte Verita, Switzerland, March 2000
Abstract Structures for Communication between Processes
Abstract Verification and Debugging of Constraint Logic Programs
Abstrat Interpretation and Verification of Reactive Systems
A Business Process Design Language
A Bytecode Translator for Distributed Execution of "Legacy" Java Software
Academician Andrei Ershov and His Archive
Academic vs. Industrial Software Engineering: Closing the Gap
A Calculus and Complexity Bound for Minimal Conditional Logic
A Calculus for Compiling and Linking Classes
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
A Calculus for Link-Time Compilation
A Calculus for Long-Running Transactions
A Calculus for Predicative Programming
A Calculus for Secure Channel Establishment in Open Networks
A Calculus of Circular Proofs and Its Categorical Semantics
A Calculus of Countable Broadcasting Systems
A Calculus of Gamma Programs
A -calculus with Explicit Substitutions: the Late Semantics
A Case-Based Reasoning Approach for Associative Query Answering
A Case for Combining Compile-Time and Run-Time Parallelization
A Case for Test-Code Generation in Model-Driven Systems
A Case Study in COTS Product Integration Using XML
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST
A Case Study in Quantitative Evaluation of Real-Time Software Architectures
A Case Study in Safely-Critical Design
A Case Study in Verification Based on Trace Abstractions
A Case Study of a Web-Based Timetabling System
A Case Study of Feature Location in Unstructured Legacy Fortran Code
A Case Study on a Component-Based System and Its Configuration
A Catalog of Classifying Characteristics for Massively Parallel Computers
A Categorial Observaion of Timed Testing Equivalence
A Categorical Model for Logic Programs: Indexed Monoidal Categories
A Categorical view of process refinement
A Categorical View of Timed Weak Bisimulation
A C++ Binding for Penguin: A System for Data Sharing among Heterogeneous Object Models
Accelerating Code Deployment on Active Networks
Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation
Accelerator Programming Using Directives: Proc./4th International Workshop, WACCPD 2017 Held in Conjuction with the SC 2017, Denver,CO,USA, November 2017
Accelerator Programming Using Directives: Proc./5th International Workshop, WACCPD 2018, Dallas,TX.USA, November 2018
Accelerator Programming Using Directives: Proc./7th International Workshop, WACCPD 2020, Virtual Event, November 2020
Accelerator Programming Using Directives: Revised Selected Papers/6th International Workshop, WACCPD 2019, Denver,CO,USA, November 2019
Acceptance Testing HTML
Acceptance Testing of Object Oriented Systems
Access Controls in Object-Oriented Database Systems - Some Approaches and Issues
Accessing Hidden Web Documents by Metasearching a Directory of Specialty Search Engines
Accessing Multilingual Information Repositories: Revised Selected Papers/6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005. Vienna, Austria, September 2005
Access to Multimedia Information through Multisource and Multilanguage Information Extraction
AC Circuit Complexity
Accomodating Changing Requirements with EJB