Home Advanced Search

Advanced Search - Page 1

Baltic Computer Science: Selected Papers
  • PDF
  • English
  • Year: 1991
  • Author: G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)
Baltic Computer Science: Selected Papers
  • DJVU
  • English
  • Year: 1991
  • Author: G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)
SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (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.)
Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980
  • DJVU
  • English
  • Year: 1980
  • Author: Dines Bjørner (auth.), P. Dembiński (eds.)
Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings
  • DJVU
  • English
  • Year: 1986
  • Author: Dines Bjørner (auth.), Kesav V. Nori (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.)
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
  • DJVU
  • English
  • Year: 1989
  • Author: Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)
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.)
search