Home Advanced Search

Advanced Search - Page 1

Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security
  • PDF
  • English
  • Year: 2009
  • Author: M. Broy, W. Sitou and T. Hoare
Software Systems Reliability and Security
  • PDF
  • English
  • Year: 2007
  • Author: M. Broy, M Broy, T. Hoare, J. Grunbauer
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
  • PDF
  • English
  • Year: 2005
  • Author: Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)
The Munich Project CIP
  • PDF
  • English
  • Year: 1985
  • Author: F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.)
The Munich Project CIP
  • DJVU
  • English
  • Year: 1985
  • Author: F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.)
Информатика. Ч.4: Теоретическая информатика, алгоритмы и структуры данных, логическое программирование
  • DJVU
  • Russian
  • Year: 1998
  • Author: Брой М.(Broy M.)
Exploring University Mathematics. Lectures Given at Bedford College, London, Volume 3
  • PDF
  • English
  • Year: 1969
  • Author: Mary Bradburn, G. T. Kneebone, M. R. Hoare and N. J. Hardiman (Auth.)
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
  • PDF
  • English
  • Year: 2005
  • Author: Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)
Mathematical methods in program development
  • DJVU
  • English
  • Year: 1997
  • Author: Broy M., Schieder B. (eds.)
search