Home Advanced Search

Advanced Search - Page 1

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
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.)
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.)
Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)
Mathematical Methods in Program Development
  • PDF
  • English
  • Year: 1997
  • Author: David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)
電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)
  • PDF
  • Chinese
  • Year: 2002
  • Author: David Harel
Rzecz o istocie informatyki: algorytmika
  • PDF
  • Polish
  • Year: 2000
  • Author: David Harel
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
  • DJVU
  • English
  • Year: 1986
  • Author: Broy, Manfred (ed.)
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
Specification and development of interactive systems: focus on streams, interfaces, and refinement
  • DJVU
  • English
  • Year: 2001
  • Author: Manfred Broy, Ketil Stølen
search