LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Fraunhofer Verlag
Conditional Safety Certification for Open Adaptive Systems

Conditional Safety Certification for Open Adaptive Systems

Schneider, Daniel

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
383960690X
Verlag:
Fraunhofer Verlag
Seitenzahl:
228
Auflage:
-
Erschienen:
2014-03-26
Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Bestellen bei zvab
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Conditional Safety Certification for Open Adaptive Systems

Conditional Safety Certification for Open Adaptive Systems von Schneider, Daniel

Produktdetails

Einband:
Kartoniert
Seitenzahl:
228
Erschienen:
2014-03-26
Sprache:
Englisch
EAN:
9783839606902
ISBN:
383960690X
Verlag:
Fraunhofer Verlag
Gewicht:
411 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Schneider, Daniel

Entdecke mehr vom Verlag

Fraunhofer Verlag
Neu
46,00 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-98%
Towards Process Safety 4.0 in the Factory of the Future
  • Hardcover
  • 224 Seiten
  • Erschienen 2023
  • Wiley-ISTE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Towards Process Safety 4.0 in the Factory of...
Laurent, André
2,54 € 164,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Specification and Proof in Real Time CSP
  • Hardcover
  • 200 Seiten
  • Erschienen 1993
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Specification and Proof in Real Time CSP
Davies, Jim
1,02 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
PSD2 "Empowering or Emasculating FinTech?": Open Banking for DevOps(Sec)
  • paperback
  • 418 Seiten
  • Erschienen 2017
  • Independently published
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
PSD2 "Empowering or Emasculating FinTech?":...
Gilchrist, Alasdair
2,94 € 17,97 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Automated Secure Computing for Next-Generation Systems
  • hardcover
  • 480 Seiten
  • Erschienen 2023
  • Wiley-Scrivener
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated Secure Computing for Next-Generation...
Tyagi, Amit Kumar
33,08 € 216,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Artificial Intelligence for Sustainable Applications
  • Hardcover
  • 368 Seiten
  • Erschienen 2023
  • Wiley-Scrivener
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Artificial Intelligence for Sustainable...
-
8,77 € 190,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science, 2031, Band 2031)
  • paperback
  • 608 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Yi, Wang
10,44 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Autonomous Vehicles, Volume 2
  • Hardcover
  • 352 Seiten
  • Erschienen 2023
  • Wiley-Scrivener
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Autonomous Vehicles, Volume 2
-
76,87 € 188,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science, 2280, Band 2280)
  • paperback
  • 500 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Katoen, Joost-Pieter
9,60 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Word Sense Disambiguation
  • Kartoniert
  • 392 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Word Sense Disambiguation
Edmonds, Philip und Agirre,...
2,88 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Building Secure and Reliable Systems: Best Practices for Designing, Implementing, and Maintaining Systems
  • Kartoniert
  • 558 Seiten
  • Erschienen 2020
  • O'Reilly UK Ltd.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Building Secure and Reliable Systems: Best...
Adkins, Heather und Beyer, ...
29,52 € 68,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
An Effective Strategy for Safe Design in Engineering and Construction
  • hardcover
  • 208 Seiten
  • Erschienen 2022
  • Wiley-Blackwell
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Effective Strategy for Safe Design in...
Painting, Andy
17,24 € 95,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
IoT-Enabled Unobtrusive Surveillance Systems for Smart Campus Safety
  • hardcover
  • 146 Seiten
  • Erschienen 2022
  • Wiley-IEEE Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
IoT-Enabled Unobtrusive Surveillance Systems...
Anagnostopoulos, Theodoros
8,52 € 133,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Symbolic Approaches to Modeling and Analysis of Biological Systems
  • Hardcover
  • 400 Seiten
  • Erschienen 2023
  • ISTE LTD
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Symbolic Approaches to Modeling and Analysis of...
-
7,34 € 158,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Structural Design for Fire Safety
  • Hardcover
  • 440 Seiten
  • Erschienen 2017
  • John Wiley & Sons Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Structural Design for Fire Safety
Buchanan, Andrew H;Abu, Ant...
5,14 € 84,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
2,40 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, ... and Software Engineering, Band 9695)
  • paperback
  • 228 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Reliable Software Technologies – Ada-Europe...
Quiñones, Eduardo
4,22 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Explainable Machine Learning Models and Architectures
  • Hardcover
  • 272 Seiten
  • Erschienen 2023
  • Wiley-Scrivener
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Explainable Machine Learning Models and...
-
8,70 € 191,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Emergency Management of the Hi-Tech Patient in Acute and Critical Care
  • Hardcover
  • 400 Seiten
  • Erschienen 2021
  • Wiley-Blackwell
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Emergency Management of the Hi-Tech Patient in...
-
3,29 € 122,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... Notes in Computer Science, 4424, Band 4424)
  • Kartoniert
  • 736 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Grumberg, Orna und Huth, Mi...
12,86 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Dependability of Critical Computer Systems
  • hardcover
  • 261 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Dependability of Critical Computer Systems
Bishop, P.G.
7,08 € 213,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Introduction to Hardware Security and Trust
  • hardcover
  • 435 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Hardware Security and Trust
Wang, Cliff
28,97 € 171,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Programming Rust: Fast, Safe Systems Development
  • Kartoniert
  • 598 Seiten
  • Erschienen 2018
  • O'Reilly Media
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Rust: Fast, Safe Systems Development
Blandy, Jim
31,53 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Typed Lambda Calculi and Applications
  • Hardcover
  • 448 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Typed Lambda Calculi and Applications
Abramsky, Samson
2,40 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
Security Engineering: A Guide to Building Dependable Distributed Systems
  • Hardcover
  • 1088 Seiten
  • Erschienen 2008
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Security Engineering: A Guide to Building...
Anderson, Ross J.
37,42 € 89,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
  • paperback
  • 240 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Isabelle/HOL: A Proof Assistant for...
Wenzel, Markus
2,09 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate
  • paperback
  • 156 Seiten
  • Erschienen 2006
  • Deutscher Universitätsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formale Modellierung von Authentifizierungs-...
Lory, Prof. Dr. Peter
12,99 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
  • paperback
  • 224 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verifying Concurrent Processes Using Temporal...
Hailpern, B. T.
1,28 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Verification Methodology Manual: For Code Coverage in HDL Designs (HDL Designer S.)
  • hardcover
  • 128 Seiten
  • Erschienen 2000
  • Teamwork International
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verification Methodology Manual: For Code...
Moses, Chris
26,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Lecture Notes in Computer Science, 1551, Band 1551)
  • paperback
  • 384 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Practical Aspects of Declarative Languages:...
Gupta, Gopal
2,02 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Qualitative Spatial and Temporal Reasoning
  • Hardcover
  • 544 Seiten
  • Erschienen 2011
  • Wiley-ISTE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Qualitative Spatial and Temporal Reasoning
Ligozat, Gérard
2,35 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)
  • hardcover
  • 388 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Hardware Verification: Methods and...
Kropf, Thomas
5,89 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science, 1130, Band 1130)
  • Kartoniert
  • 551 Seiten
  • Erschienen 1996
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Data Type Specification: 11th...
Haveraaen, M. und Owe, O. u...
10,59 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, ... Notes in Computer Science, 2643, Band 2643)
  • paperback
  • 280 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Applied Algebra, Algebraic Algorithms and...
Fossorier, Marc
9,62 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Design Against Crime: A Human-centred Approach to Designing for Safety and Security (Design for Social Responsibility, 8, Band 8)
  • hardcover
  • 164 Seiten
  • Erschienen 2017
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Against Crime: A Human-centred Approach...
Davey, Caroline L.
51,66 € 175,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-22%
Privatheit und Datenschutz in der intelligenten Ueberwachung: Ein datenschutzgewaehrendes System, entworfen nach dem "Privacy by Design" Prinzip: ... und Bildauswertung IOSB Karlsruhe)
  • paperback
  • 316 Seiten
  • Erschienen 2013
  • KIT Scientific Publishing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Privatheit und Datenschutz in der intelligenten...
Vagts, Hauke-Hendrik
37,49 € 48,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Secure Programming Cookbook for C and C++ (Cookbooks Ser.)
  • Hardcover
  • 790 Seiten
  • Erschienen 2003
  • O'Reilly & Associates
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Secure Programming Cookbook for C and C++...
Viega, John
10,44 € 77,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Studies in Ada Style
  • paperback
  • 104 Seiten
  • Erschienen 1981
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Studies in Ada Style
Sherman, M.
6,86 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic (Synthese Library, 229, Band 229)
  • hardcover
  • 397 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Diamonds and Defaults: Studies in Pure and...
de Rijke, Maarten
41,68 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
ACADIA 2020 Distributed Proximities
  • Hardcover
  • 750 Seiten
  • Erschienen 2021
  • ACADIA
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
ACADIA 2020 Distributed Proximities
-
2,02 € 176,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Security Technologies and Social Implications
  • Hardcover
  • 352 Seiten
  • Erschienen 2022
  • Wiley-IEEE Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Security Technologies and Social Implications
-
3,67 € 166,50 €
Details