Michael R. A. Huth : rechercher sur Z-Library

Libre accès à la connaissance et à la culture.

Don't use scam websites

Livres (17)
Les plus populaires
Liste
- Liste
- Tableau

1

Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems

Cambridge University Press

Michael Huth, Mark Ryan

Année:

2004

Langue:

english

Fichier:

PDF, 2.04 MB

5.0 / 0

english, 2004

2

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition

Michael Huth, Mark Ryan

Année:

2004

Langue:

english

Fichier:

PDF, 2.15 MB

5.0 / 5.0

english, 2004

3

Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems

Cambridge University Press

Michael Huth, Mark Ryan, M. Huth, M. Ryan

Année:

1999

Langue:

english

Fichier:

PDF, 65.36 MB

0 / 0

english, 1999

4

A Concise Dictionary of the Avant-Gardes

A Concise Dictionary of the Avant-Gardes

Richard Kostelanetz, Richard Carlin, Mark Daniel Cohen, Geof Huth, Gerald Janecek, Katy Matheson, Gloria S. McDarrah, Fred W. McDarrah, Michael Peters, John Rocco, Igor Satanovsky, Nicolas Slonimsky, Fred Truck

Année:

2019

Langue:

english

Fichier:

PDF, 2.01 MB

5.0 / 5.0

english, 2019

5

Supply Chain Resilience: Reconceptualizing Risk Management in a Post-Pandemic World

Supply Chain Resilience: Reconceptualizing Risk Management in a Post-Pandemic World

Omera Khan, Michael Huth, George A. Zsidisin, Michael Henke

Année:

2022

Langue:

english

Fichier:

PDF, 5.87 MB

0 / 5.0

english, 2022

6

Secure Communicating Systems: Design, Analysis, and Implementation

Secure Communicating Systems: Design, Analysis, and Implementation

Cambridge University Press

Michael R. A. Huth

Année:

2001

Langue:

english

Fichier:

PDF, 22.34 MB

0 / 0

english, 2001

7

AutoCAD programmieren mit VBA : Einführung, Anwendung, Referenz

AutoCAD programmieren mit VBA : Einführung, Anwendung, Referenz

Karsten Dummer, Michael Huth

Année:

2003

Langue:

german

Fichier:

PDF, 5.38 MB

0 / 0

german, 2003

8

Appraisal and acquisition strategies

Appraisal and acquisition strategies

Society of American Archivists

Barnard, Megan, Faulder, Erin, Huth, Geof, Prom, Christopher J., Shallcross, Michael

Année:

2016

Langue:

english

Fichier:

PDF, 1003 KB

0 / 0

english, 2016

9

Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele

Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele

Michael Huth, Frank Romeike (eds.)

Année:

2016

Langue:

german

Fichier:

PDF, 14.82 MB

0 / 0

german, 2016

10

Logic in Computer Science : Modelling and Reasoning about Systems

Logic in Computer Science : Modelling and Reasoning about Systems

Cambridge University Press

Michael Huth, Mark Ryan

Année:

2004

Langue:

english

Fichier:

PDF, 1.74 MB

5.0 / 0

english, 2004

11

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 8.60 MB

0 / 0

english, 2007

12

Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Zongwei Zhou, Jun Han, Yue-Hsun Lin, Adrian Perrig, Virgil Gligor (auth.), Michael Huth, N. Asokan, Srdjan Čapkun, Ivan Flechais, Lizzie Coles-Kemp (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 7.36 MB

0 / 0

english, 2013

13

Secure Communicating Systems: Design, Analysis, and Implementation

Secure Communicating Systems: Design, Analysis, and Implementation

Cambridge University Press

Michael R. A. Huth

Année:

2001

Langue:

english

Fichier:

DJVU, 2.51 MB

0 / 0

english, 2001

14

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 8.60 MB

0 / 4.0

english, 2007

15

面向计算机科学的数理逻辑系统建模与推理英文版·第2版

面向计算机科学的数理逻辑系统建模与推理英文版·第2版

北京：机械工业出版社

（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著, (英)Michael Huth, (英)Mark Ryan著, Th Hu, An Ry, 胡思 Michael Huth

Année:

2005

Langue:

Chinese

Fichier:

PDF, 14.10 MB

0 / 0

Chinese, 2005

16

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches

Bernhard Steffen, Oliver Rüthing, Michael Huth

Année:

2018

Langue:

english

Fichier:

PDF, 2.54 MB

0 / 0

english, 2018

17

Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems

Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems

Deutscher Universitätsverlag

Michael Huth (auth.)

Année:

2004

Langue:

german

Fichier:

PDF, 14.44 MB

0 / 0

german, 2004