Reification – Bücher, CDs, LPs und mehr, Seite 3 online kaufen

Anton Wijs: Concise Guide to Software Verification, Buch

Anton Wijs, Marieke Huisman
Concise Guide to Software Verification

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

-55%

Austra

Olympia

Nach dem gefeierten Debütalbum "Feel It Break" erscheint Mitte Juni das langerwartete zweite Werk namens "Olympia" der Kanadierin Katie Stelmanis aka Austra auf Domino! Mit dem Debütalbum landeten Aust…

Artikel am Lager

EUR 17,99**

CD

EUR 7,99*

The Hyperions - Die Superheldenakademie

Als es Professor Ruckus Mandulbaum zu Beginn der 60er Jahre gelingt, mit der von ihm erfundenen Titan Badge in normalen Menschen ganz und gar außergewöhnliche Kräfte zu erwecken, erschafft er das erste Su…

umgehend lieferbar, Bestand beim Lieferanten vorhanden

DVD

EUR 12,99*

Runtime Verification

Lecture Notes in Computer Science -Band 15191

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short pap…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 60,23*

Jonathan Miles Robker
The Jehu Revolution

Beihefte zur Zeitschrift für die alttestamentliche Wissenschaft, 435

Who wrote the material about Jehu in the Bible, when and why did they write it, and how reliable is it? After a thorough text and literary critical examination of 2 Kings 9 10, this work demonstrates the …

sofort lieferbar

Buch

EUR 199,56*

The Hyperions - Die Superheldenakademie (Blu-ray)

Als es Professor Ruckus Mandulbaum zu Beginn der 60er Jahre gelingt, mit der von ihm erfundenen Titan Badge in normalen Menschen ganz und gar außergewöhnliche Kräfte zu erwecken, erschafft er das erste Su…

umgehend lieferbar, Bestand beim Lieferanten vorhanden

Blu-ray Disc

EUR 14,99*

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*

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science -Band 14215

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium inten…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Computer Aided Verification

Lecture Notes in Computer Science -Band 14682

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*

Iron Savior

Riding On Fire: The Noise Years 1997 - 2004

Boxset mit 81 Titeln und 6 CDs der deutschen Power-Metal-Kultband! Mit fünf vollständigen Alben und einer EP aus den sehr produktiven, frühen Jahren der Band bei Noise Records, inkl. mehrerer Bonustracks.…

lieferbar innerhalb 1-2 Wochen

6 CDs

EUR 49,99*

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*

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, 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 ab 27.11.2024.

Buch

EUR 118,72*

Austra

Olympia (180g)

Nach dem gefeierten Debütalbum "Feel It Break" erscheint Mitte Juni das langerwartete zweite Werk namens "Olympia" der Kanadierin Katie Stelmanis aka Austra auf Domino! Mit dem Debütalbum landeten Aust…

lieferbar innerhalb 2-3 Wochen

EUR 36,99**

2 LPs

EUR 34,99*

Zurück in die Zukunft I-III (Blu-ray)

Zurück in die Zukunft - Teil 1 Marty McFly ist alles andere als happy, denn die Schule stinkt ihm und seine Eltern gehen ihm gehörig auf die Nerven. Sein einziger Trost ist der exzentrische Wissenschaftl…

Artikel am Lager

4 Blu-ray Discs

EUR 21,99*

Akudama Drive Staffel 1 Vol. 1 (Blu-ray)

Die Begegnung mit einem mysteriösen Motorradfahrer stellt das Leben eines jungen Mädchens gehörig auf den Kopf. Gleichzeitig sind die Medien voll mit Nachrichten von der nahenden Hinrichtung eines Serie…

lieferbar innerhalb 2-3 Wochen

EUR 39,99**

Blu-ray Disc

EUR 37,99*

Tobias Ruess
A First 2 MW-Class (136)/170/204 GHz Multi-Frequency Gyrotron Pre-Prototype for DEMO: Design, Construction and Key Components Verification

Ein Gyrotron wird in magnetisch eingeschlossenen Plasmaexperimenten für Heizung, Stromtrieb, Plasmastabilisierung und Plasmadiagnostik verwendet. In dieser Arbeit wird der erste Entwurf und Bau eines Mehr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 48,00*

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*

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*

Bob Marley

Survival

Als Bob Marley 1979 sein elftes Studioalbum Survival veröffentlichte, war das für den damals 34-Jährigen ein klarer thematischer Richtungswechsel von seinen vorherigen Longplayern. Vor allem sein letztes …

lieferbar innerhalb 1-2 Wochen

CD

EUR 10,99*

Reification – Bücher, CDs, LPs und mehr, Seite 3

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