Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael Michael Huth,
ISBN 13: 9780521543101
Format: paperback Publisher: Cambridge University Press
Save for later
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... 20: 4424 (Lecture Notes in Computer Science)
by Orna Grumberg, Michael Huth
ISBN 13: 9783540712084
Format: Illustrated (760 pages) Publisher: Springer Published: 22 Feb 2009
Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele
by Michael Huth,Frank Romeike
ISBN 13: 9783658058951
Format: Paperback (412 pages) Publisher: Springer Gabler Published: 25 Sep 2015
Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings: 7904 (Lecture Notes in Computer Science)
by Michael Huth,N. Asokan,Srdjan Capkun,Ivan Flechais,Lizzie Coles-Kemp
ISBN 13: 9783642389078
Format: Paperback (292 pages) Publisher: Springer Published: 06 Jun 2013
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
by Bernhard Steffen,Oliver Rüthing,Michael Huth
ISBN 13: 9783319683966
Format: Hardcover (258 pages) Publisher: Springer Published: 03 Apr 2018
Wiley–Schnellkurs Prozessmanagement
by Michael Huth
ISBN 13: 9783527530458
Format: Paperback (242 pages) Publisher: Wiley-VCH Published: 06 Dec 2017
Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-Basierten Entscheidungsunterstützungssystems (Logistik und Verkehr)
ISBN 13: 9783824480937
Format: Paperback (352 pages) Publisher: Deutscher Universitats-Verlag Published: 01 Jan 2004
ISBN 13: 9783030098339
Format: Paperback (256 pages) Publisher: Springer Published: 17 Apr 2019