Purification – alle Bücher, CDs und LPs, Seite 5 online kaufen

William L Oberkampf: Verification, Validation, and Uncertainty Quantification in Scientific Computing, Buch

William L Oberkampf, Christopher J Roy
Verification, Validation, and Uncertainty Quantification in Scientific Computing

"This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

Erscheint bald

Buch

Anton Wijs, Marieke Huisman
Concise Guide to Software Verification

Texts in Computer Science

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*

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

EUR 159,30*

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*

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

This book the first of a two-volume monograph seeks to unify the hitherto perceived-as-disparate foundations of psychology and artificial intelligence. It does this by replacing their constitutive notio…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 159,30*

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

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

EUR 69,33*

Timo Bartholl, Christos Filippidis, Antonis Vradis, Minhocas Urbanas
Favela Resistance

Food is at the heart of well-being, peace, and health. But millions live without access to basic nutrition, and billions live without control or understanding of where their food will come from and how it…

lieferbar ab 31.12.2024.

Buch

EUR 25,93*

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*

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.…

umgehend lieferbar, Bestand beim Lieferanten vorhanden

6 CDs

EUR 49,99*

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*

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*

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*

Carlos Patino: Geistliche Chorwerke - Musica sacra para la Corte, CD

Carlos Patino (1600-1675)

Geistliche Chorwerke - Musica sacra para la Corte

La Grande Chapelle, Albert Recasens

lieferbar in mind. 4 Wochen

CD

EUR 19,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 69,90*

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*

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*

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*

Bob Marley

Survival (Limited Numbered Jamaican Pressing)

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 in mind. 4 Wochen

LP

EUR 29,99*

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science -Band 15223

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 54,75*

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*

Purification – alle Bücher, CDs und LPs, Seite 5

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