Вы здесь

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

Springer-Verlag

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

5th Conference on Automated Deduction: Les Arcs, France, July 1980
6th Conference on Automated Deduction: New York, USA, June 1982
7th International Conference on Automated Deduction, Napa, California, USA, May 1984
Abstracting Interactions Based on Message Sets
Abstract Software Specifications: Proc./1979 Copenhagen Winter School, January 1979
A Calculus of Communicating Systems
A -calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure
Ada Software Tools Interfaces: Proc./ Workshop, Bath, July 1983
Advanced Course on Software Engineering
Advances in Databases
Advances in Petri Nets 1985
A High Performance Totally Ordered Multicast Protocol
Algebraic Semantics
Algorithms in Modern Mathematics and Computer Science: Proc./International Conference, Urgench, UzbekSSR, September 1979
Alternating Sequential/ Parallel Processing
A Machine for Uncoupled Coordination and Its Concurrent Behavior
A Model for Active Object Coordination and its Use for Distributed Multimedia Applications
An Analytical Description of CHILL, the CCITT High Level Language
Anaphora in Natural Language Understanding: A Survey
An Attribute Grammar for the Semantic Analysis of ADA
An Index and other useful Information
An Introduction to the PL/CV2 Programming Logic
An Intuitijnistic Modal Logic with Applications to the Formal Verification of Hardware
A Non-Blocking Lightweight Implementation of Causal Order Message Delivery
An Optimized Translation Process and its Application to ALGOL 68
Architectural Issues in the StormCast System
Architecture of Distributed Computer Systems
A Relational Theory of Computing
A Subtyping for the Eisher-Honsell-Mitchell Lambda Calculus of Objects
Automata, Languages and Programming: Proc./10th Colloquium, Barcelona, Spain, July 1983
Automata, Languages and Programming: Proc./11th Colloquium, Antwerp, Belgium, July 1984
Automata, Languages and Programming: Proc./7th Colloquium, Noordwijkerhout, the Netherlands, July 1980
Automata, Languages and Programming: Proc./8th Colloquium, Acre, Israel, July 1981
Automata, Languages and Programming: Proc./Fifth Colloquium, Udine, Italy, July 1978
Automata, Languages and Programming: Proc./Sixth Colloquium, Graz, Austria, July 1979
Automatic Differentiation: Techniques and Applications
Axiomatising the Logic of Computer Programming
Bauhaus Linda
Boolean Calculus of Difference
CAAP'81 Trees in Algebra and Programming: Proc./6th Colloquium, Genoa, March 1981
CAAP'83. Trees in Algebra and Programming: Proc./8th Colliquium, L'Aquila, March 1983
CLU Reference Manual
Codes for Boundary-Value Problems in Ordinary Differential Equations
Comparative Study of Very Large Data Bases
Compiler Construction. An Advanced Course
Compiler Specification and Verification
Complementary Definitions of Programming Language Semantics
Completeness of Resolution for Definite Answers with Case Analysis
Compuational Science - ICCS 2002
Computability and Decidability/ An Introduction for Students of Computer Science