MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

Foundations of Security Analysis and Design : Tutorial Lectures

by Focardi, Riccardo
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

2

Introduction to Concurrency Theory : Transition Systems and CCS

by Gorrieri, Roberto, Versari, Cristian
Published 2015

Springer International Publishing

Subjects: “...Computer science...”

Cover Image

3

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

by Degano, Pierpaolo
Published 1997

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

4

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

Published 2005

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

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

Published 2007

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

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

Published 2009

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

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

Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

8

Foundations of Security Analysis and Design II : FOSAD 20012002 Tutorial Lectures

by Focardi, Riccardo
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

9

Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures

Published 2011

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

10

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

Published 1997

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

11

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

Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

12

Process Algebras for Petri Nets : The Alphabetization of Distributed Systems

by Gorrieri, Roberto
Published 2017

Springer International Publishing

Subjects: “...Computer science...”

Cover Image

13

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

Published 2009

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

14

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), Feb...

Published 1999

Springer US

Subjects: “...Data structures (Computer science)...”

Cover Image

15

Foundations of Security Analysis and Design : Tutorial Lectures

Published 2001

Springer Berlin Heidelberg

Subjects: “...Data encryption (Computer science)...”