Cărți de Roberto Gorrieri

Introduction to Concurrency Theory: Transition Systems and CCS

Texts in Theoretical Computer Science. An EATCS Series

Autor Roberto Gorrieri et al.

11 sep 2015

Preț: 341^.30 lei 426^.63 lei

22-36 zile

-20%

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Monographs in Theoretical Computer Science. An EATCS Series

Autor Roberto Gorrieri

25 apr 2017

Preț: 539^.02 lei 673^.77 lei

43-57 zile

-20%

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

IFIP Advances in Information and Communication Technology, nr. 10

Editat de Paolo Ciancarini et al.

28 feb 1999

Preț: 1287^.78 lei 1609^.72 lei

43-57 zile

-20%

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Lecture Notes in Computer Science, nr. 6858

Editat de Alessandro Aldini et al.

19 aug 2011

Preț: 331^.74 lei 414^.67 lei

43-57 zile

-20%

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures

Lecture Notes in Computer Science, nr. 5705

Editat de Alessandro Aldini et al.

17 aug 2009

Preț: 308^.54 lei 385^.68 lei

43-57 zile

-20%

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009

Lecture Notes in Computer Science, nr. 5688

Editat de Pierpaolo Degano et al.

17 aug 2009

Preț: 644^.18 lei 757^.85 lei

43-57 zile

-15%

Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures

Lecture Notes in Computer Science, nr. 4677

Editat de Alessandro Aldini et al.

30 aug 2007

Preț: 391^.79 lei

43-57 zile

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4037

Editat de Roberto Gorrieri et al.

9 iun 2006

Preț: 331^.74 lei 414^.67 lei

43-57 zile

-20%

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Lecture Notes in Computer Science, nr. 3655

Editat de Alessandro Aldini et al.

12 sep 2005

Preț: 304^.26 lei 380^.32 lei

43-57 zile

-20%

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Lecture Notes in Computer Science, nr. 2946

Editat de Riccardo Focardi et al.

28 ian 2004

Preț: 387^.20 lei

43-57 zile

Foundations of Security Analysis and Design: Tutorial Lectures

Lecture Notes in Computer Science, nr. 2171

Editat de Riccardo Focardi et al.

7 noi 2001

Preț: 338^.35 lei 422^.94 lei

43-57 zile

-20%

Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1256

Editat de Pierpaolo Degano et al.

18 iun 1997

Preț: 674^.33 lei 842^.91 lei

43-57 zile

-20%