The Programming Language Ada. Reference Manual

By Springer

Theory Of Cryptography: First Theory Of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings (Lecture Notes In Computer Science (2951))

By Moni Naor, Conference Theory Of Cryptography (1st 2004 Cambridge, Mass.), Theory Of Cryptography Conference.

I thank Sha? Goldwasser for chairing this conference and making all the necessaryarrangementsatMIT.Sha?inturnistremendouslygratefultoJoanne Talbot who coordinated the conference facilities, hotels,...

Advances In Cryptology – EUROCRYPT 2007: 26th Annual International Conference On The Theory And Applications Of Cryptographic Techniques, Barcelona, ...

By EUROCRYPT (2007 Barcelona, Spain), EUROCRYPT, Moni Naor, Sebastiaan Indesteege, Nathan Keller (Auth.), Nigel Smart (Eds.)

This book constitutes the refereed proceedings of the 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2008, held in Istanbul, Turkey, in A...

Model Checking And Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected And Invited Papers

By David Hutchison, Bernhard Steffen, Friedemann Mattern, John C. Mitchell, M. J. Wooldridge, Josef Kittler, Wolfgang Wahlster, Oscar Nierstrasz, MoChArt 2008 (2008 Patrai, Greece), Gerhard Weikum, Doug Tygar, C. Pandu Rangan, Doron A. Peled, Michael J. Wooldridge, Jörg Siekmann, Demetri Terzopoulos, Moshe Y. Vardi, Madhu Sudan, Moni Naor, Takeo Kanade, Randy Goebel, Jon M Kleinberg

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a sa...

Tests and proofs

By TAP 2009 2009 Eidgenossische Technische Hochschule Zurich Switzerland

Interactive Storytelling

By Ulrike Spierling, Nicolas Szilas

Advances In Cryptology - Eurocrypt 2007

By EUROCRYPT, Moni Naor

This Book Constitutes The Refereed Proceedings Of The 26th Annual International Conference On The Theory And Applications Of Cryptographic Techniques, Eurocrypt 2007, Held In Barcelona, Spain In Ma...

Theory Of Cryptography

By Moni Naor, Theory Of Cryptography Conference.

I Thank Sha? Goldwasser For Chairing This Conference And Making All The Necessaryarrangementsatmit. Sha?inturnistremendouslygratefultojoanne Talbot Who Coordinated The Conference Facilities, Hotels...

Model Checking And Artificial Intelligence

By David Hutchison, Bernhard Steffen, Friedemann Mattern, John C. Mitchell, Josef Kittler, Wolfgang Wahlster, Oscar Nierstrasz, Michael Wooldridge, Gerhard Weikum, Doug Tygar, C. Pandu Rangan, Doron A. Peled, Michael J. Wooldridge, Jörg Siekmann, Demetri Terzopoulos, Moshe Y. Vardi, Madhu Sudan, Moni Naor, Takeo Kanade, Randy Goebel, Jon M Kleinberg

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a sa...

Tests and Proofs

By Catherine Dubois