Home Advanced Search

Advanced Search - Page 1

Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
  • PDF
  • English
  • Year: 1980
  • Author: Heinz Zemanek (auth.), Dines Bjøorner (eds.)
Digitale Informationswandler / Digital Information Processors / Dispositifs traitant des informations numériques: Probleme der Informationsverarbeitung in ausgewählten Beiträgen / Selected Articles on Problems of Information Processing / Une sélection d’articles techniques sur les problèmes concernant le traitement d’informations
  • PDF
  • German
  • Year: 1962
  • Author: Heinz Zemanek (auth.), Walter Hoffmann (eds.)
Das geistige Umfeld der Informationstechnik
  • PDF
  • German
  • Year: 1992
  • Author: Prof. Dr. Heinz Zemanek (auth.)
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979
  • PDF
  • English
  • Year: 1981
  • Author: Prof. Dr. Heinz Zemanek (auth.), Andrei P. Ershov, Donald E. Knuth (eds.)
Computer: Werkzeug der Information
  • PDF
  • German
  • Year: 1971
  • Author: Professor Dr. Heinz Zemanek, Dr. Peter Goldscheider (auth.)
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.)
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.)
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
  • PDF
  • English
  • Year: 1989
  • Author: Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)
The Vienna Development Method: The Meta-Language
  • DJVU
  • English
  • Year: 1978
  • Author: Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)
Baltic Computer Science: Selected Papers
  • PDF
  • English
  • Year: 1991
  • Author: G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)
search