A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
25 Years of Model Checking History, Achievements, Perspectives /
27th International Meshing Roundtable
3D Integration for NoC-based SoC Architectures
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence /
A Practical Introduction to Hardware/Software Codesign
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
A Process Algebraic Approach to Software Architecture Design
A Programmerβs Introduction to C# 2.0
A Software Process Model Handbook for Incorporating Peopleβs Capabilities
A Testerβs Guide to .NET Programming
A Theory of Distributed Objects Asynchrony β Mobility β Groups β Components
Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /