D. Bjorner's Documents

D. Bjorner's Documents

The Vienna Development Method.. The Meta-Language

The Vienna Development Method.. The Meta-Language
Read more
The Vienna development method: the Meta-langauge

The Vienna development method: the Meta-langauge
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
Baltic Computer Science

Baltic Computer Science
Read more
Combinatorial miscellany

Combinatorial miscellany
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
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
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
Dying Bites

Dying Bites
Read more
Undead to the World

Undead to the World
Read more
A. H. Clifford: The first sixty-five years

A. H. Clifford: The first sixty-five years
Read more
Solutions Manual for Introduction to Modern Statistical Mechanics

Solutions Manual for Introduction to Modern Statistical Mechanics
Read more
Undead to the World

Undead to the World
Read more
Better Off Undead The Bloodhound Files

Better Off Undead The Bloodhound Files
Read more
Schaum's Statistics and Econometrics

Schaum's Statistics and Econometrics
Read more
Dying Bites

Dying Bites
Read more
Killing Rocks

Killing Rocks
Read more
Death Blows

Death Blows
Read more
The Culture and Civilization of Ancient India in Historical Outline

The Culture and Civilization of Ancient India in Historical Outline
Read more
The Eternal Man

The Eternal Man
Read more
Stability of Fluid Motions 2 (Springer Tracts in Natural Philosophy Vol. 28)

Stability of Fluid Motions 2 (Springer Tracts in Natural Philosophy Vol. 28)
Read more
Constructive combinatorics

Constructive combinatorics
Read more
Experimental Toxicology

Experimental Toxicology
Read more