MPG.eBooks - Search Results

Cover Image

1

Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Cover Image

2

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

Published 2009

Springer Berlin Heidelberg

Cover Image

3

Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011,...

Published 2011

Springer Berlin Heidelberg

Cover Image

4

Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Cover Image

5

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Cover Image

6

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

7

Applied Semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Published 2002

Springer Berlin Heidelberg

Cover Image

8

Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Cover Image

9

Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Cover Image

10

Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

Cover Image

11

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Cover Image

12

Security and Trust Management : 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Published 2016

Springer International Publishing

Cover Image

13

Foundations of probabilistic programming

Published 2021

Cambridge University Press

Cover Image

14

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg