Home Advanced Search

Advanced Search - Page 1

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981
  • PDF
  • English
  • Year: 1982
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
  • PDF
  • English
  • Year: 1984
  • Author: Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
Programmverifikation: Sequentielle, parallele und verteilte Programme
  • PDF
  • German
  • Year: 1994
  • Author: Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)
Correct System Design: Recent Insights and Advances
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Correct System Design: Recent Insights and Advances
  • DJVU
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Greg Nelson (auth.), Dexter Kozen (eds.)
Logic of Programs: Workshop, ETH Zürich, May–July 1979
  • PDF
  • English
  • Year: 1981
  • Author: Dexter Kozen (auth.), Erwin Engeler (eds.)
Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Krzysztof R. Apt, Sunil Simon (auth.), Maria Serna (eds.)
Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Dexter Kozen (auth.), P. S. Thiagarajan (eds.)
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers
  • PDF
  • English
  • Year: 2004
  • Author: Krzysztof R. Apt, Peter Zoeteweij (auth.), Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza (eds.)
search