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
Software Engineering 2: Specification of Systems and Languages
  • PDF
  • English
  • Year: 2006
  • Author: Dines Bjorner
Combinatorics of Coxeter groups
  • PDF
  • English
  • Year: 2005
  • Author: Bjorner A., Brenti F.
Combinatorial miscellany
  • PDF
  • English
  • Year: 2004
  • Author: Bjorner A., Stanley R.P.
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
La giovinezza del secolo
  • PDF
  • Italian
  • Year: 1968
  • Author: Nikolaj A. Ravic
search