Wir konnten keine exakten Treffer zu Ihrer Suche nach "Certification" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
: Computer Aided Verification, Buch

Computer Aided Verification

Lecture Notes in Computer Science -Band 14683

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
John Henry Parker: The primitive fortifications of the city of Rome, and other buildings of the time of the kings, Buch

John Henry Parker
The primitive fortifications of the city of Rome, and other buildings of the time of the kings

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 99,90*
John Henry Parker: The primitive fortifications of the city of Rome, and other buildings of the time of the kings, Buch

John Henry Parker
The primitive fortifications of the city of Rome, and other buildings of the time of the kings

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 79,90*
: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science -Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: Computer Aided Verification, Buch

Computer Aided Verification

Lecture Notes in Computer Science -Band 14681

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Louis S Wheatcraft: Incose Needs and Requirements Manual, Buch

Louis S Wheatcraft, Michael J Ryan, Tami Edner Katz,
Incose Needs and Requirements Manual

Complete and comprehensive manual for eliciting, defining, and managing needs and requirements, integration, verification, and validation across the lifecycle The INCOSE Needs and Requirements Manual pres…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 119,99*
John Stuart Stuart Glennie: Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History., Buch

John Stuart Stuart Glennie
Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History.

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 69,90*
John Stuart Stuart Glennie: Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History., Buch

John Stuart Stuart Glennie
Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History.

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 89,90*
David Allen Burke: Atomic Testing in Mississippi, Buch

David Allen Burke
Atomic Testing in Mississippi

In Atomic Testing in Mississippi, David Allen Burke illuminates the nearly forgotten history of America's only nuclear detonations east of the Mississippi River. The atomic tests, conducted in the mid-196…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 45,09*
Ghostface Killah: Ironman (180g), LP,LP
-18%

Ghostface Killah
Ironman (180g)

Product Information Ironman is the debut solo album by Wu-Tang Clan rapper Ghostface Killah, released in 1996. Produced by Wu-Tang Clan mastermind RZA, the album's music and lyrics draw prominently on B…

lieferbar in mind. 4 Wochen
EUR 36,99**
2 LPs
 
EUR 29,99*
: Quaderni del PLIDA B1 - Nuovo esame / Übungsbuch, Buch

Quaderni del PLIDA B1 - Nuovo esame / Übungsbuch

Niveau B1 Die Übungsbücher Quaderni del PLIDA bestehen aus sechs Bänden, entsprechend den sechs Schwierigkeitsstufen der PLIDA-Prüfung. Die Titel sind ideal für Lernende, die sich auf die PLIDA-Prüfung vo…

sofort lieferbar
Buch
EUR 26,50*
: Verification and Evaluation of Computer and Communication Systems, Buch

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science -Band 14368

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during Oct…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
: Verification, Model Checking, and Abstract Interpretation, Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14499

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Verification, Model Checking, and Abstract Interpretation, Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14500

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Tools for Design, Implementation and Verification of Emerging Information Technologies, Buch

Tools for Design, Implementation and Verification of Emerging Information Technologies

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering -Band 523

This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 65,71*
: AI Verification, Buch

AI Verification

Lecture Notes in Computer Science -Band 14846

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 131,42*
: Principles of Verification: Cycling the Probabilistic Landscape, Buch

Principles of Verification: Cycling the Probabilistic Landscape

Lecture Notes in Computer Science -Band 15260

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: Principles of Verification: Cycling the Probabilistic Landscape, Buch

Principles of Verification: Cycling the Probabilistic Landscape

Lecture Notes in Computer Science -Band 15261

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Principles of Verification: Cycling the Probabilistic Landscape, Buch

Principles of Verification: Cycling the Probabilistic Landscape

Lecture Notes in Computer Science -Band 15262

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 76,66*
Journey: Ecl1ps3 (Limited Ecolbook), CD
-41%

Journey
Ecl1ps3 (Limited Ecolbook)

Produktinfo: Journey – Rocklegende mit neuem Album zurück! – Neal Schon verliebt sich in sein eigenes Album „Ich habe mich in mein eigenes Album verliebt“, so Gitarrist und Songwriter Neal Schon. „Das…

Artikel am Lager
EUR 16,99**
CD
 
EUR 9,99*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.