Home Advanced Search

Advanced Search - Page 1

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.)
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
  • DJVU
  • English
  • Year: 1984
  • Author: Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
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, Yorktown Heights, New York, May 1981
  • DJVU
  • English
  • Year: 1982
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Logics and Models of Concurrent Systems
  • PDF
  • English
  • Year: 1985
  • Author: E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Krzysztof R. Apt (auth.), Bernhard Möller (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.)
Logic of Programs: Workshop, ETH Zürich, May–July 1979
  • DJVU
  • 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.)
search