Home Advanced Search

Advanced Search - Page 1

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.)
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
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.)
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: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (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.)
search