Ergebnisse filtern
-
- 16
- 11
-
- 1
- 13
- 4
- 6
- 3
-
- 4
- 17
- 6
-
- 27
-
- 26
- 1
-
- 27
-
Gorrieri Syntax and Semantics of Petri Nets
Erscheinungsjahr 2025Verlag: Cambridge University PressISBN: 978-1-009-61328-6Medium: Buch133,50 € (inkl. MwSt.)
vorbestellbar -
Gorrieri Process Algebras for Petri Nets
The Alphabetization of Distributed Systems1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-55558-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gorrieri Process Algebras for Petri Nets
The Alphabetization of Distributed SystemsSoftcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-85694-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gorrieri Process Algebras for Petri Nets
The Alphabetization of Distributed Systems1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-55559-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
Focardi / Gorrieri Foundations of Security Analysis and Design II
FOSAD 2001/2002 Tutorial LecturesErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-24631-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Wehrheim / Gorrieri Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34893-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gorrieri / Aldini Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74809-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Versari / Gorrieri Introduction to Concurrency Theory
Transition Systems and CCSSoftcover Nachdruck of the original 1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-36638-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Degano / Gorrieri Computational Methods in Systems Biology
7th International Conference, CMSB 20092009Verlag: SpringerISBN: 978-3-642-03845-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Focardi / Gorrieri Foundations of Security Analysis and Design
Tutorial LecturesErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-45608-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Gorrieri / Wehrheim Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-34895-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Aldini / Gorrieri Foundations of Security Analysis and Design VI
FOSAD Tutorial LecturesErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-23082-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Versari / Gorrieri Introduction to Concurrency Theory
Transition Systems and CCS1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21490-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gorrieri / Focardi Foundations of Security Analysis and Design II
FOSAD 2001/2002 Tutorial Lectures2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20955-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aldini / Gorrieri Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures2007Verlag: SpringerISBN: 978-3-540-74810-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Gorrieri / Aldini Foundations of Security Analysis and Design VI
FOSAD Tutorial Lectures2011Verlag: SpringerISBN: 978-3-642-23081-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Degano / Gorrieri Computational Methods in Systems Biology
7th International Conference, CMSB 20091. Auflage 2009Verlag: SpringerISBN: 978-3-642-03844-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gorrieri / Focardi Foundations of Security Analysis and Design
Tutorial Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42896-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gorrieri / Versari Introduction to Concurrency Theory
Transition Systems and CCS1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21491-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Aldini / Gorrieri / Martinelli Foundations of Security Analysis and Design III
FOSAD 2004/2005 Tutorial Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28955-5Medium: Buch48,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aldini / Gorrieri / Martinelli Foundations of Security Analysis and Design III
FOSAD 2004/2005 Tutorial Lectures2005Verlag: SpringerISBN: 978-3-540-31936-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark46,00 € (inkl. MwSt.)
sofort verfügbar -
Aldini / Barthe / Gorrieri Foundations of Security Analysis and Design V
FOSAD 2008/2009 Tutorial Lectures2009Verlag: SpringerISBN: 978-3-642-03829-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar -
Ciancarini / Gorrieri / Fantechi 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, Italy1999Verlag: Springer USISBN: 978-0-7923-8429-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ciancarini / Gorrieri / Fantechi 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, ItalySoftcover Nachdruck of the original 1. Auflage 1999Verlag: Springer USISBN: 978-1-4757-5266-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ciancarini / Fantechi / Gorrieri 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, ItalyErscheinungsjahr 2013Verlag: Springer USISBN: 978-0-387-35562-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort