Home Advanced Search

Advanced Search - Page 1

Software Engineering 1: Abstraction and Modelling
  • PDF
  • English
  • Year: 2006
  • Author: Prof. Dr. Dines Bjørner (auth.)
Domain Science and Engineering. A Foundation for Software Development.
  • PDF
  • English
  • Year: 2021
  • Author: Dines Bjørner
Domains, requirements, and software design
  • PDF
  • English
  • Year: 2006
  • Author: Bjørner, Dines
Software Engineering 1: Abstraction and Modelling
  • PDF
  • English
  • Year: 2006
  • Author: Dines Bjørner
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.)
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.)
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.)
Logics of Specification Languages
  • PDF
  • English
  • Year: 2008
  • Author: Dines Bjørner, Martin C. Henson (eds.)
Hydrogeologie
  • PDF
  • German
  • Year: 1967
  • Author: Prof. Dr. A. Thurner (auth.)
search