 | | | | |
Bild | | | | Bestellen |
|
|
|
Verified Software: Theories, Tools, Experiments (1 Angebot) A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King's 1969 thesis on "A program v... |
Springer Verlag 9783540691471 |
€ 99,99*
pro Stück |
|
|
Verified Software: Theories, Tools, Experiments (1 Angebot) This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers pre... |
Springer Verlag 9783540878728 |
€ 49,99*
pro Stück |
|
|
Verified Software: Theories, Tools, Experiments (1 Angebot) This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 r... |
Springer Verlag 9783642277047 |
€ 49,99*
pro Stück |
|
|
Verified Software: Theories, Tools, and Experiments (1 Angebot) This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 ... |
Springer Verlag 9783319296128 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540112051 |
€ 49,99*
pro Stück |
|
|
Verkehrsmanagementzentralen für Autobahnen (1 Angebot) Das Buch zeigt anhand ausgewählter Entwicklungen aus Deutschland, Österreich und der Schweiz, wie moderne Verkehrsmanagementzentralen als Nukleus intelligenter Verkehrssysteme zur Sicherstellung ei... |
Springer Verlag 9783658221393 |
€ 37,37*
pro Stück |
|
|
Verlässliche IT-Systeme 2001 (1 Angebot) Das Programm der sechsten Fachtagung der Fachgruppe "Verlässliche IT-Systeme" der Ge sellschaft für Informatik steht für einen - schleichenden - Paradigmenwechsel in der IT Sicherheit: Nicht grunds... |
Vieweg & Teubner 9783663059196 |
€ 51,39*
pro Stück |
|
|
Verläßliche IT-Systeme (1 Angebot) Copyright-Schutz digitaler Daten.- A Copyright Protection Environment for Digital Images.- Kopierschutz durch asymmetrische Schlüsselkennzeichnung mit Signeten.- Electronic Commerce.- Cryptographic... |
Vieweg & Teubner 9783528055943 |
€ 51,39*
pro Stück |
|
|
Verläßliche Informationssysteme (1 Angebot) Vorwort Die Möglichkeiten zur Kontrolle komplexer Systeme, die die heutige Informations- und Kommunikationstechnik bietet, erlauben eine Kontrolle und zumindest zeitweise Beherr schung von Situatio... |
Vieweg & Teubner 9783528053444 |
€ 51,39*
pro Stück |
|
|
|
Verlag Walter de Gruyter 9783486747287 |
€ 60,70*
pro Stück |
|
|
|
Springer Verlag 9783319976426 |
€ 169,99*
pro Stück |
|
|
Verstellungen in inkriminierten Schreiben (1 Angebot) Sprachliche Verstellungen in inkriminierten Texten wie Erpresserbriefen und Drohschreiben sind ein Phänomen, mit dem Gutachter/innen - beispielsweise im Rahmen von polizeilichen Ermittlungen - imme... |
Springer Verlag 9783658243234 |
€ 37,37*
pro Stück |
|
|
Verteilt-parallele Ansätze zur Distributionsplanung (1 Angebot) 1 Einleitung.- 2 Planung physischer Distributionssysteme.- 3 Suche zur Lösung kombinatorischer Optimierungsprobleme.- 4 Sequentielle Suchverfahren zur Lösung mehrstufiger Standort-Zuordnungsproblem... |
Deutscher Universitätsverlag 9783824464418 |
€ 46,72*
pro Stück |
|
|
Verteilte Echtzeitsysteme (1 Angebot) Einführung und Übersicht.- Verteilte Echtzeitsysteme und Eingebettete Systeme -- über Systeme und Technologien.- Engineering.- An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mi... |
Springer Verlag 9783540201410 |
€ 37,34*
pro Stück |
|
|
|
Springer Verlag 9783540546177 |
€ 51,39*
pro Stück |
|
|
