bib.howest.be Search Results

You searched for: Auteur Guttman

1 - 8 of 8

1. Polygons, Polyominoes and Polycubes

Author:: Guttman, Anthony J.
Publisher:: Springer Netherlands 2009
Format:: e-book

2. Formal Aspects in Security and Trust

Author:: Degano, Pierpaolo; Guttman, Joshua; Kanade, Takeo; Martinelli, Fabio; Guttman, Joshua D.
Publisher:: Springer Berlin Heidelberg 2009
Format:: e-book

3. Non-State Actors in China and Global Environmental Governance

Author:: Guttman, Dan; Jing, Yijia; Young, Oran R.
Publisher:: Palgrave Macmillan 2021
Format:: e-book

4. Formal Aspects of Security and Trust

Author:: Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua; Kanade, Takeo
Publisher:: Springer Berlin Heidelberg 2011
Format:: e-book

5. Foundations of Security, Protocols, and Equational Reasoning

Author:: Guttman; Landwehr, Carl E.; Meseguer, José; Pavlovic, Dusko
Publisher:: Springer International Publishing 2019
Format:: e-book

6. Formal Aspects in Security and Trust

Author:: Degano, Pierpaolo; Guttman, Joshua D.; Kanade, Takeo; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2010
Format:: e-book

7. Principles of Security and Trust

Author:: Hutchison, David; Kanade, Takeo; Guttman, Joshua D.; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2012
Format:: e-book

8. Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Author:: Nigam; Ban Kirigin, Tajana; Guttman, Joshua; Kuznetsov, Stepan; Okada, Mitsuhiro; Talcott, Carolyn; Thau Loo, Boon
Publisher:: Springer International Publishing 2020
Format:: e-book