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

Daniel Große, Lucas Klemmer
Versatile Hardware Analysis Techniques

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

lieferbar innerhalb 2-3 Wochen

Buch

Petros A. M. Gelepithis
Unification of Artificial Intelligence and Psychology

This book, the second of two-volumes, builds on the Unification of Artificial Intelligence and Psychology: Volume One - Foundations to explore its consequences. In doing so, this volume unifies three pivo…

lieferbar innerhalb 2-3 Wochen

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

Guide to Software Verification with Frama-C

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

lieferbar innerhalb 2-3 Wochen

Buch

Rebekah M. Martin
101 Topics for Clinical Microbiology Laboratory Leaders

Successfully manage your laboratory accreditation and compliance audits with this easily accessible how-to resource for clinical laboratories 101 Topics for Clinical Microbiology Laboratory Leaders: Accre…

lieferbar in mind. 4 Wochen

Buch

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

CD

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

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

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 einer Woche

6 CDs

Ibrahim Nugwa Abdulrazak
Educating Exceptional Needs Youngsters.

The purpose of guiding and counseling in a school context is to assist students in understanding themselves and taking the right actions when making decisions about their education, careers, social lives,…

lieferbar innerhalb 2-3 Wochen

Buch

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

Computer Aided Verification

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

Computer Aided Verification

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

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 …

umgehend lieferbar, Bestand beim Lieferanten vorhanden

CD

Computer Aided Verification

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

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

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 1-2 Wochen

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

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

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Reification" - alle Bücher, CDs, LPs und mehr