Certification – Bücher, CDs, LPs und mehr, Seite 6 online kaufen

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science - Band 15221

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

Gilbert Conway
A treatise on versification

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

Gilbert Conway
A treatise on versification

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

Mark Watson
Mortification

'Mark Watson is a national treasure' Richard Osman Whatever I now know about life - or think I know - I found out through failure, disappointment, mortification. I'm writing it all down as much to remind…

lieferbar ab 22.4.2025.

Buch

Mahmoud Ahmed Darwish
Defensive Weapons In Islamic Military Fortifications

Military fortifications include forts, castles and towers, forts are the largest military fortifications and surround areas of land to protect and fortify them against any aggression. They differ from ord…

lieferbar innerhalb 2-3 Wochen

Buch

Antonina Wozna
Theological Hermeneutics and Mary Daly's verification process

Theological Hermeneutics and Daly's verification process offers an original overview of Mary Daly's inputs to the theological hermeneutics from the feminist perspective. In the context of multiple theolog…

lieferbar innerhalb 2-3 Wochen

Buch

Manju Nehra, Rahul Thory, K. S. Sandhu, Nishant Grover
Fruit Fortification of Craft Beer

Beer has been one of the staples in alcohol consumption since the earliest civilizations. In the present day, beer is more popular than ever and shows no signs of decreasing in production volume and reven…

lieferbar innerhalb 2-3 Wochen

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…

lieferbar innerhalb 2-3 Wochen

Buch

F. C. Hodgson
Mythology for Versification

Reprint of the original, first published in 1866. 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

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

F. C. Hodgson
Mythology for Versification

Reprint of the original, first published in 1866. 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

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

Roswell Sabine Ripley, Thomas Jordan
Correspondence relating to fortification of Morris Island and operations of engineers

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science - Band 15222

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

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

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

Roswell Sabine Ripley, Thomas Jordan
Correspondence relating to fortification of Morris Island and operations of engineers

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

Eva Lilja,
Rhythm in Modern Poetry

"A pioneering work in cognitive versification studies, scrutinizing the rhythmical means of free verse"--

lieferbar ab 26.6.2025.

Buch

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