Home Advanced Search

Advanced Search - Page 1

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)
agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems
  • PDF
  • German
  • Year: 2012
  • Author: Dr. Eva Geisberger, Prof. Dr. Dr. h. c. Manfred Broy (auth.), Dr. Eva Geisberger, Prof. Dr. Dr. h. c. Manfred Broy (eds.)
Mathematical Methods in Program Development
  • PDF
  • English
  • Year: 1997
  • Author: David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Radu Calinescu, Bernhard Rumpe (eds.)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
  • DJVU
  • English
  • Year: 1995
  • Author: Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
  • PDF
  • English
  • Year: 1989
  • Author: Jayadev Misra (auth.), Manfred Broy (eds.)
Program Design Calculi
  • PDF
  • English
  • Year: 1993
  • Author: Carroll Morgan (auth.), Manfred Broy (eds.)
Software Architecture: First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: David Garlan (auth.), Flavio Oquendo (eds.)
search