Software Engineering 2 Specification of Systems and Languages Bjørner, Dines Innbundet / 2006 / Engelsk
Domain Science and Engineering A Foundation for Software Development Bjørner, Dines Heftet / 2022 / Engelsk
Software Engineering 3 Domains, Requirements, and Software Design Bjørner, Dines Heftet / 2010 / Engelsk
Software Engineering 3 Domains, Requirements, and Software Design Bjørner, Dines Innbundet / 2006 / Engelsk
Domain Science and Engineering A Foundation for Software Development Bjørner, Dines Innbundet / 2021 / Engelsk
Structure of Pure Reason Philosophy’s View of Our Situation in the World Sørlander, Kai Innbundet / 2025 / Engelsk
Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Bjørner, Dines Heftet / 2001 / Engelsk
Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings Bjørner, Dines Heftet / 2000 / Engelsk
Perspectives of System Informatics Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings Bjørner, Dines Heftet / 1996 / Engelsk
Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings Bjørner, Dines Heftet / 1993 / Engelsk
