Dines Bjørner's Documents

Dines Bjørner's Documents

Domain engineering : technology, management, research and engineering (COE Research Monograph Series,Vol.4)

Domain engineering : technology, management, research and engineering (COE Research Monograph Series,Vol.4)
Read more
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) (v. 3)

Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) (v. 3)
Read more
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)

Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Read more
The Secret Life of the Lawman's Wife (Special Study)

The Secret Life of the Lawman's Wife (Special Study)
Read more
Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design
Read more
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)
Read more
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Read more
Software Engineering 3 Domains, Requirements, and Software Design

Software Engineering 3 Domains, Requirements, and Software Design
Read more
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Read more
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)
Read more
Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling
Read more
Software Engineering 3

Software Engineering 3
Read more
Who Are ''They'' Anyway?

Who Are ''They'' Anyway?
Read more
Flex on Java

Flex on Java
Read more
Flex on Java

Flex on Java
Read more
Literary Discourse: A Semiotic-Pragmatic Approach to Literature (Toronto Studies in Semiotics and Communication)

Literary Discourse: A Semiotic-Pragmatic Approach to Literature (Toronto Studies in Semiotics and Communication)
Read more
The Septuagint (Understanding the Bible and Its World)

The Septuagint (Understanding the Bible and Its World)
Read more
Baltic Computer Science

Baltic Computer Science
Read more
Time-Saver Standards for Landscape Architecture

Time-Saver Standards for Landscape Architecture
Read more
Time-Saver Standards for Landscape Architecture

Time-Saver Standards for Landscape Architecture
Read more
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Read more
Elements of Microcomputer Interfacing

Elements of Microcomputer Interfacing
Read more
Ellora Cave Flavors of

Ellora Cave Flavors of
Read more
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Read more
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers
Read more
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999
Read more
Signs in Use: An Introduction to Semiotics

Signs in Use: An Introduction to Semiotics
Read more
How We Test Software at Microsoft

How We Test Software at Microsoft
Read more
Jewish Perspectives on Hellenistic Rulers (Hellenistic Culture and Society vol. 50)

Jewish Perspectives on Hellenistic Rulers (Hellenistic Culture and Society vol. 50)
Read more
Statistical Theory and Modeling for Turbulent Flow, 2nd Edition

Statistical Theory and Modeling for Turbulent Flow, 2nd Edition
Read more