| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
(Buch) Sprache: English
Veröffentlichung: August 2002
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004,
(Buch) Sprache: English
Veröffentlichung: Januar 2005
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005
(Buch) Sprache: English
Veröffentlichung: April 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
(Buch) Sprache: English
Veröffentlichung: Januar 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Mai 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceed
(Buch) Sprache: English
Veröffentlichung: Mai 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures
(Buch) Sprache: English
Veröffentlichung: August 2009
(Auf Bestellung)
Einband: Kartoniert | SFr. 65.00
bestellen |
 | Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Prac
(Buch) Sprache: English
Veröffentlichung: März 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: September 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: März 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
(Buch) Sprache: English
Veröffentlichung: Januar 2010
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
