Вы здесь

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

Springer

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

A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability
A Bounded True Concurrency Process Algebra for Performance Evaluation
About Design and Efficiency of Distributed Programming: Some Algorithmic Aspects
About Planar Cayley Graphs
About Selections and Joins Possibilitic Queries Addressed to Possibilitic Databases
About Synchronous Programming and Abstract Interpretation
A Branching/Merging Strategy for Parallel Software Development
A Brief Introduction to Coloured Petri Nets
A Brief Survey of Quantum Programming Languages
A Broader Class of Trees for Recursive Type Definitions for HOL
Abstract Compositional Analysis of Iterated Relations /A Structural Approach to Complex State Transition Systems
Abstract Data Types in Computer Algebra
Abstract Domains for Sharing Analysis by Optimal Semantics
Abstracting Services in a Heterogeneous Environment
Abstracting Synchronization in Concurrent Constraint Programming
Abstract Interpretation and Finite Domain Symbolic Constraints
Abstract Interpretation-Based Certification of Assembly Code
Abstract Interpretation Basedd Semantics of Sequent Calculy
Abstract Interpretation-Based Static Analysis of Mobile Ambients
Abstract Interpretation of Proofs: Classical Propositional Calculus
Abstract Interpretation Using TDGs
Abstract Interpretattion of Probabilistic Semantics
Abstraction and Modularization in the BETA Programming Language
Abstraction and Modular Verification of Infinite-State Reactive Systems
Abstraction and Reuse Mechanisms in Web Application Models
Abstraction and Testing
Abstraction as the Key for Invariant Verification
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification
Abstraction in Software Model Checking: Principles and Practice
Abstraction of Expectation Functions Using Gaussian Distributions
Abstraction, Reformulation, and Approximation: Proc./4th Intern. Symp., SARA 2000, Horseshoe Bay, Texas, USA, July 2000
Abstraction, Reformulation, and Approximation: Proc./5th Intern. Symp., SARA 2002, Kananaskis, Alberta, Canada, August 2002
Abstraction, Reformulation and Approximation: Proc./6th International Symposium, SARA 2005. Airth Castle, Scotland, UK, July 2005
Abstraction, Reformulation, and Approximation: Proc./7th International Symposium, SARA 2007, Whistler,Canada,July 2007
Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations
Abstraction Techniques for Modeling Real-World Interface Chips
Abstraction Techniques for Validation Coverage Analysis and Test Generation
Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
Abstract Properties for the Choice Provability Relation in Nonmonotonic Logics
Abstract Rewriting
Abstract Specification in Object-Z and CSP
Abstract State Machines 2003 - Advances in Theory and Practice: Proc./10th Intern. Workshop, ASM 2003, Taormina, Italy, March 2003
Abstract State Machines 2004 - Advances in Theory and Practice: Proc./11th Intern. Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 2004
Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012
Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010
Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014
Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
Abstract State Machines, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008
Abstract State Machines for the Composition of Architectural Styles