Вы здесь

Главная

Heidelberg

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

25 Years of Model Checking: History, Achievements, Perspectives
2D Projection Interval Relationships: A Symbolic Representation of Spatial Relationships
3D Structure from Images - SMILE 2000: Proc./Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Ireland, July 2000
3D Structure from Multiple Images of Large-Scale Environments: Proc./European Workshop, SMILE"98. Freiburg, Germany, June 1998
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations
50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence
A 3D Molecular Surface Representation Supporting Neighborhood Queries
A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability
A Bounded True Concurrency Process Algebra for Performance Evaluation
About Planar Cayley Graphs
About some relationships between configuration management, software process and cooperative work: the COO Environment
Abstract Compositional Analysis of Iterated Relations /A Structural Approach to Complex State Transition Systems
Abstract Domains for Sharing Analysis by Optimal Semantics
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
Abstract Interpretation Basedd Semantics of Sequent Calculy
Abstract Interpretation of Proofs: Classical Propositional Calculus
Abstract Interpretattion of Probabilistic Semantics
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
Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets
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, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008
Abstract State Machines: Theoy and Applications: Proc./Intern. Workshop, ASM 2000, Monte Verita, Switzerland, March 2000
Abstract Visualization of Software. A Basis for a Complex Hash-Key?
A Calculus and Complexity Bound for Minimal Conditional Logic
A Calculus of Countable Broadcasting Systems
A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in SAC
A Case Study in COTS Product Integration Using XML
A Categorial Observaion of Timed Testing Equivalence
Acceptance Trees for Probabilistic Processes
Accessing Geographical Metafiles through a Database Storage System
Accessing Multilingual Information Repositories: Revised Selected Papers/6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005. Vienna, Austria, September 2005
A Characterization of Generator and Component Reuse Technologies
A characterization of the existence of energies for neural networks
A Characterization of Weak Bisimulation Congruence
A Checker for Modal Formulae for Processes with Data
A COBRA Compliant Real-Time Multimedia Platform for Broadband Networks
A COM-Based Customization Testing Technique
A Combined Runtime Environment and Web-Based Development Environment for Web Application Engineering
A Comparative Revisitation of Some Program Transformation Techniques
A Comparison of Software Product Family Process Frameworks
A Compiler-Based Approach to Data Security
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
A Complete Theory of Deterministic Event Structures
A Component-Based Design Approach for Collaborative Distributed Systems