Home Advanced Search

Advanced Search - Page 1

Industrial Applications
  • PDF
  • English
  • Year: 2011
  • Author: Klaus Gori, Mette Dines Cantor, Mogens Jakobsen, Lene Jespersen (auth.), Martin Hofrichter (eds.)
Logics of Specification Languages
  • PDF
  • English
  • Year: 2008
  • Author: Dines Bjørner, Martin C. Henson (auth.), Prof. Emeritus, Dr. Dines Bjørner, Prof. Martin C. Henson (eds.)
Architektur des Mittelalters
  • PDF
  • German
  • Year: 1993
  • Author: Hartmut Hofrichter (auth.), Prof. Dr.-Ing. habil. Hartmut Hofrichter (eds.)
Investigations into Assessment in Mathematics Education: An ICMI Study
  • PDF
  • English
  • Year: 1993
  • Author: Mogens Niss (auth.), Mogens Niss (eds.)
Cases of Assessment in Mathematics Education: An ICMI Study
  • PDF
  • English
  • Year: 1993
  • Author: Mogens Niss (auth.), Mogens Niss (eds.)
Die Architektur der Antike
  • PDF
  • German
  • Year: 1982
  • Author: Professor Dr.-Ing. Martin Grassnick (auth.), Professor Dr.-Ing. Martin Grassnick, Professor Dr.-Ing. habil. Hartmut Hofrichter (eds.)
The Literature of Suburban Change: Narrating Spatial Complexity in Metropolitan America
  • PDF
  • English
  • Year: 2022
  • Author: Martin Dines
Logics of Specification Languages
  • PDF
  • English
  • Year: 2008
  • Author: Dines Bjørner, Martin C. Henson (eds.)
Stadtbaugeschichte von der Antike bis zur Neuzeit
  • PDF
  • German
  • Year: 1995
  • Author: Prof. Dr.-ing. habil. Hartmut Hofrichter (auth.), Prof. Dr.-ing. habil. Hartmut Hofrichter (eds.)
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
  • PDF
  • English
  • Year: 1980
  • Author: Heinz Zemanek (auth.), Dines Bjøorner (eds.)
search