Kategorien
Handverlesen
Kafka, Kafka, Kafka
Alice Munro
Paul Auster
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (2 Treffer)
Filter schließen (2 Treffer)
Stichwort auswählen
Alle Stichworte
Compliancechecking (2)
Accesscontrolmodel (1)
Accuracy (1)
B-Method (1)
Car-To-Carmessages (1)
Compliancemanagement (1)
Consent (1)
Dynamicenforcement (1)
Electron (1)
Hybridmethods (1)
Modelchecking (1)
Runtimemodelgeneration (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Algorithmen und Datenstrukturen (1)
Kodierungstheorie und Verschlüsselung (kryptologie) (1)
Sprache auswählen
Sprachen
Englisch (2)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (2)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
372 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June …
eng
Data Privacy Management and Autonomous Spontaneous Security
4th International Workshop, DPM 2009 and Second International Workshop, SETOP 2009, St. Malo, France, September 24-25, 2009, Revised Selected Papers
Springer Berlin Heidelberg
2010
Taschenbuch
288 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the two international workshops DPM 2009, the 4th International Workshop…