Embedded Systems : New Approaches to Their Formal Description and Design. An Advanced Course,Zurich, Switzerland, March 5-7, 1986
Temporally Distributed Symptoms in Technical Diagnosis
Axioms and Hulls
Information and Knowledge Management : Expanding the Definition of `Database`. First International Conference,CIKM 92, Baltimore, Maryland, USA, Nov
Ada 95 Rationale : The Language - The Standard Libraries
Interactive Systems: Design,Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Ruby on Rails for PHP and Java Developers
Foundations of Augmented Cognition: Third International Conference,Fac 2007, Held as Part of Hci International 2007, Beijing, China, July 22-27, 2007
Concise Computer Mathematics : Tutorials on Theory and Problems
Security and Privacy in Communication Networks : 9th International ICST Conference,SecureComm 2013, Revised Selected Papers
Distributed Applications and Interoperable Systems : 15th IFIP WG 6.1 International Conference,DAIS 2015, Held as Part of the 10th International Fede
Formal Techniques for Distributed Objects,Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th I
