|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures 2002 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3540440445 / 9783540440444 | 08/2002 | $52.24 |
| | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, 2005 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3540242872 / 9783540242871 | 01/2005 | $52.24 |
| | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005 2006 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3540336893 / 9783540336891 | 04/2006 | $52.24 |
| | Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3642281656 / 9783642281655 | 01/2012 | $52.24 |
| | Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3642294197 / 9783642294198 | 05/2012 | $66.49 |
| | Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed 2008 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3540688625 / 9783540688624 | 05/2008 | $52.24 |
| | Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures 2009 Edition (Lecture Notes in Computer Science) | Aldini, Alessandro | Paperback | 364203828X / 9783642038280 | 08/2009 | $47.49 |
| | Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Prac (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3642197175 / 9783642197178 | 03/2011 | $52.24 |
| | Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 331946597X / 9783319465975 | 09/2016 | $52.24 |
| | Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science) | Cuellar, Jorge | Paperback | 3642224431 / 9783642224430 | 09/2011 | $66.49 |
| | Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 Montevideo, Uruguay, November 14-18, 2011 Proceedings 2011 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3642246893 / 9783642246890 | 10/2011 | $52.24 |
| | Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers 2008 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3540786627 / 9783540786627 | 03/2008 | $52.24 |
| | Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3642113184 / 9783642113185 | 01/2010 | $52.24 |
|
|
|