Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches
  • PDF
  • english
  • Year: 2018
  • Author: Bernhard Steffen, Oliver Rüthing, Michael Huth
Grundlagen der höheren Informatik: Induktives Vorgehen
  • PDF
  • German
  • Year: 2014
  • Author: Bernhard Steffen, Oliver Rüthing, Malte Isberner (auth.)
Secure Communicating Systems: Design, Analysis, and Implementation
  • DJVU
  • English
  • Year: 2001
  • Author: Michael R. A. Huth
Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems
  • PDF
  • German
  • Year: 2004
  • Author: Michael Huth (auth.)
Secure Communicating Systems: Design, Analysis, and Implementation
  • PDF
  • English
  • Year: 2001
  • Author: Michael R. A. Huth
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition
  • PDF
  • English
  • Year: 2004
  • Author: Michael Huth, Mark Ryan
Logic in Computer Science : Modelling and Reasoning about Systems
  • PDF
  • English
  • Year: 2004
  • Author: Michael Huth; Mark Ryan
Logic in computer science: modelling and reasoning about systems
  • PDF
  • English
  • Year: 2004
  • Author: Michael Huth, Mark Ryan
AutoCAD programmieren mit VBA : Einführung, Anwendung, Referenz
  • PDF
  • German
  • Year: 2003
  • Author: Karsten Dummer; Michael Huth
Leveraging applications of formal methods, verification and validation
  • PDF
  • English
  • Year: 2008
  • Author: Tiziana Margaria-Steffen; Bernhard Steffen
search