Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science / Security and Cryptology)
by
ISBN 13: 9783642034589
Format: Paperback (223 pages) Publisher: Springer Published: 03 Sep 2009
Save for later
Computational Methods in Systems Biology: 7th International Conference, CMSB 2008 (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)
ISBN 13: 9783642038440
Format: Paperback (329 pages) Publisher: Springer Published: 17 Aug 2009
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783540686767
Format: Paperback (810 pages) Publisher: Springer Published: 03 Jun 2008
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... / Programming and Software Engineering)
ISBN 13: 9783540688921
Format: Paperback (525 pages) Publisher: Springer Published: 20 May 2008
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783642014642
Format: Paperback (331 pages) Publisher: Springer Published: 09 Apr 2009
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Computer Science / Security and Cryptology)
ISBN 13: 9783642124587
Format: Paperback (289 pages) Publisher: Springer Published: 20 Apr 2010
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783642197505
Format: Paperback (249 pages) Publisher: Springer Published: 07 Mar 2011
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of ... Computer Science / Security and Cryptology)
ISBN 13: 9783642286407
Format: Paperback (445 pages) Publisher: Springer Published: 14 Mar 2012