Home Advanced Search

Advanced Search - Page 1

SDL '99. The Next Millennium
  • PDF
  • English
  • Year: 1999
  • Author: Rachida Dssouli, Gregor v. Bochmann and Yair Lahav (Eds.)
Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
  • PDF
  • English
  • Year: 1996
  • Author: Gregor v. Bochmann, Rachida Dssouli, Omar Rafiq (eds.)
Architecture of Distributed Computer Systems
  • PDF
  • English
  • Year: 1979
  • Author: Gregor v. Bochmann (eds.)
Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: T. S. E. Maibaum (auth.), Ferhat Khendek, Rachida Dssouli (eds.)
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
  • PDF
  • English
  • Year: 2000
  • Author: Claude Jard, Thierry Jéron, Pierre Morel (auth.), Hasan Ural, Robert L. Probert, Gregor v. Bochmann (eds.)
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)
Concepts for Distributed Systems Design
  • PDF
  • English
  • Year: 1983
  • Author: Professor Dr. Gregor von Bochmann (auth.)
Contemporary Economic Issues: Volume 2 Labour, Food and Poverty
  • PDF
  • English
  • Year: 1998
  • Author: Yair Mundlak (eds.)
Matrix-Based Multigrid: Theory and Applications
  • PDF
  • English
  • Year: 2008
  • Author: Yair Shapira (eds.)
Multichannel Image Detectors Volume 2
  • PDF
  • English
  • Year: 1983
  • Author: Yair Talmi (Eds.)
search