Dines Bjorner's Documents

Dines Bjorner's Documents

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
Baltic Computer Science

Baltic Computer Science
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
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
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
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 1: Abstraction and Modelling

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

Software Engineering 3
Read more
Combinatorial miscellany

Combinatorial miscellany
Read more
The Vienna Development Method.. The Meta-Language

The Vienna Development Method.. The Meta-Language
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
Combinatorics of Coxeter Groups (Graduate Texts in Mathematics)

Combinatorics of Coxeter Groups (Graduate Texts in Mathematics)
Read more
The Vienna development method: the Meta-langauge

The Vienna development method: the Meta-langauge
Read more
Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups
Read more
Combinatorics of Coxeter Groups (Graduate Texts in Mathematics)

Combinatorics of Coxeter Groups (Graduate Texts in Mathematics)
Read more
Combinatorics of Coxeter groups

Combinatorics of Coxeter groups
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
Signs in Use: An Introduction to Semiotics

Signs in Use: An Introduction to Semiotics
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