Roberto gorrieri u a (8 Ergebnisse)

Taschenbuch. Zustand: Neu. Foundations of Security Analysis and Design V | FOSAD 2008/2009 Tutorial Lectures | Alessandro Aldini (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642038280 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhle…

Taschenbuch. Zustand: Neu. Foundations of Security Analysis and Design II | FOSAD 2001/2002 Tutorial Lectures | Riccardo Focardi (u. a.) | Taschenbuch | viii | Englisch | 2004 | Springer | EAN 9783540209553 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]spr…

Taschenbuch. Zustand: Neu. Foundations of Security Analysis and Design | Tutorial Lectures | Riccardo Focardi (u. a.) | Taschenbuch | vii | Englisch | 2001 | Springer | EAN 9783540428961 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbi…

Taschenbuch. Zustand: Neu. Foundations of Security Analysis and Design | FOSAD 2006/2007 Turtorial Lectures | Alessandro Aldini (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540748090 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 6911…

Taschenbuch. Zustand: Neu. Introduction to Concurrency Theory | Transition Systems and CCS | Roberto Gorrieri (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xi | Englisch | 2016 | Springer | EAN 9783319366388 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Hei…

Taschenbuch. Zustand: Neu. Formal Methods for Open Object-Based Distributed Systems | 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings | Roberto Gorrieri (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540348931 | Verantwortliche Person für die EU: Springer V…

Taschenbuch. Zustand: Neu. Computational Methods in Systems Biology | 7th International Conference, CMSB 2009 | Pierpaolo Degano (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642038440 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]spring…

Taschenbuch. Zustand: Neu. Formal Methods for Open Object-Based Distributed Systems | IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy | Paolo Ciancarini (u. a.) | Taschenbuch | IFIP Advances in Information and Communicatio…