Вы здесь

Главная

Berlin

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

21st Century Learning for 21st Century Skills: Proc./7th European Conference, EC-TEL 2012, Saarbrucken, Dermany, September 2012
25 Years of Model Checking: History, Achievements, Perspectives
2D Projection Interval Relationships: A Symbolic Representation of Spatial Relationships
3D Research Challenges in Cultural Heritage: A Roadmap in Digital Heritage Preservation
3D Research Challenges in Cultural Heritage II: Haw to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage
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 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
A 3D Molecular Surface Representation Supporting Neighborhood Queries
Abdominal Imaging. Computational and Clinical Applications: Proc./4th International Workshop Held in Conjunction with MICCAI 2012, Nice, France, October 2012
Abdominal Imaging. Computational and Clinical Applications: Proc./5th International Workshop Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 2013
Abdominal Imaging: Computational and Clinical Applications: Proc./6th International Workshop, ABDI 2014 Held in Conjuction with MICCAI 2014, Cambridge,MA,USA, September 2014
Abdominal Imaging. Computational and Clinical Applications: Revised Selected Papers/3rd International Workshop, Held in Conjunction with MICCAI 2011, Toronto,ON,Canada, September 2011
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 Interactions Based on Message Sets
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, 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: Theoy and Applications: Proc./Intern. Workshop, ASM 2000, Monte Verita, Switzerland, March 2000
Abstract Visualization of Software. A Basis for a Complex Hash-Key?
Academician Andrei Ershov and His Archive
A Calculus and Complexity Bound for Minimal Conditional Logic
A Calculus of Countable Broadcasting Systems
A -calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure
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
A Categorical View of Timed Weak Bisimulation
Accelerator Programming Using Directives: Proc./4th International Workshop, WACCPD 2017 Held in Conjuction with the SC 2017, Denver,CO,USA, November 2017