Home Advanced Search

Advanced Search - Page 1

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997
  • PDF
  • English
  • Year: 1998
  • Author: Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)
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.)
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (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.)
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (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.)
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen
  • PDF
  • German
  • Year: 1998
  • Author: Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen
  • PDF
  • German
  • Year: 2002
  • Author: Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)
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.)
search