Home Advanced Search

Advanced Search - Page 1

Architecture of Distributed Computer Systems
  • PDF
  • English
  • Year: 1979
  • Author: Gregor v. Bochmann (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.)
SDL '99. The Next Millennium
  • PDF
  • English
  • Year: 1999
  • Author: Rachida Dssouli, Gregor v. Bochmann and Yair Lahav (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.)
Organometallics and Catalysis. An Introduction
  • PDF
  • English
  • Year: 2015
  • Author: Manfred Bochmann
Der Politisch-Soziale Wortschatz des Rumänischen von 1821 bis 1850
  • PDF
  • German
  • Year: 1980
  • Author: Klaus Bochmann
Compounds of Groups 3 to 4 and the f elements
  • PDF
  • English
  • Year: 2006
  • Author: Bochmann M.
Finanzwirtschaft in ethischer Verantwortung: Erfolgskonzepte für Social Banking und Social Finance
  • PDF
  • German
  • Year: 2017
  • Author: Gregor Krämer (eds.)
search