Home Advanced Search

Advanced Search - Page 1

Integrating Decision Procedures for Temporal Verification
  • PDF
  • English
  • Year: 1999
  • Author: Nikolaj Skallerud Bjorner
Software Engineering 1: Abstraction and Modelling
  • DJVU
  • English
  • Year: 2006
  • Author: Dines Bjorner
Combinatorics of Coxeter groups
  • PDF
  • English
  • Year: 2005
  • Author: Bjorner A., Brenti F.
Combinatorics of Coxeter Groups
  • PDF
  • German
  • Year: 2005
  • Author: Anders Bjorner, Francesco Brenti
Formal specification and software development
  • DJVU
  • English
  • Year: 1982
  • Author: Bjorner D.; Jones C.B.
Combinatorics of Coxeter Groups
  • PDF
  • German
  • Year: 2005
  • Author: Anders Bjorner, Francesco Brenti
Die langen Wellen der Konjunktur
  • EPUB
  • German
  • Year: 2014
  • Author: Nikolaj Kondratjew
Il naso
  • PDF
  • Italian
  • Author: Gogol' Nikolaj.
Über das russische Rothbleierz
  • DJVU
  • German
  • Year: 1877
  • Author: Kokšarov, Nikolaj
Le vie della rivoluzione 1925-1936
  • EPUB
  • Italian
  • Year: 1980
  • Author: Nikolaj Bucharin
search