Home Advanced Search

Advanced Search - Page 1

Formal specification and software development
  • DJVU
  • English
  • Year: 1982
  • Author: Bjorner D.; Jones C.B.
Integrating Decision Procedures for Temporal Verification
  • PDF
  • English
  • Year: 1999
  • Author: Nikolaj Skallerud Bjorner
Configuration Spaces: Geometry, Combinatorics and Topology. CRM Series
  • PDF
  • English
  • Year: 2012
  • Author: Bjorner, Anders; Cohen, Fred; De Concini, Corrado; Procesi, Claudo; Salvetti, Mario (ed.)
Adam Smith
  • PDF
  • English
  • Year: 1985
  • Author: D. D. Raphael
Corrosion Atlas
  • PDF
  • English
  • Year: 2018
  • Author: Evert D. D. During
You Have Not a Leg to Stand On
  • EPUB
  • English
  • Year: 2015
  • Author: Mayers, D D
Inside outside
  • PDF
  • English
  • Author: Riessen, D D
Inside outside
  • MOBI
  • English
  • Author: Riessen, D D