Certification – alle Bücher, CDs und LPs, Seite 6

Auguste Frederic Lendy
Elements of Fortification

Reprint of the original, first published in 1857. 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 OsmanWhatever 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 m…

lieferbar innerhalb 2-3 Wochen

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 processoffers an original overview of Mary Daly's inputs to the theological hermeneutics from the feminist perspective. In the context of multiple theologi…

lieferbar innerhalb 2-3 Wochen

Buch

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

Introduction to craft beer brewing and malting.- Historical fruit fortification in brewing.- Types of fruit-fortified beers.- Raw materials for beer manufacturing.- Role of temperature and additives in th…

sofort lieferbar

Buch

Michael G Laramie
Sentinels by the Sea

Seventeenth- and eighteenth-century warfare centered on sieges, not seeking out and destroying the enemy's army in battle. A captured fortress or town was a bargaining piece in the inevitable peace treaty…

lieferbar ab 19.11.2025.

Buch

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

Can you trust results from modeling and simulation? This text provides a framework for assessing the reliability of and uncertainty included in the results used by decision makers and policy makers in ind…

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

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

lieferbar innerhalb 2-3 Wochen

Buch

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

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

Sustainable Food Fortification

This book addresses the pressing global challenge of malnutrition, particularly the nutritional deficit impacting longevity. It delves into the limitations of traditional methods, such as supplements and …

lieferbar ab 12.11.2025.

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

Runtime Verification

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

lieferbar innerhalb 2-3 Wochen

Buch

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

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 laboratories101 Topics for Clinical Microbiology Laboratory Leaders: Accred…

lieferbar in mind. 4 Wochen

Buch

James Ralston Skinner
A Criticism on the Legendre Mode of the Rectification of the Curve of the Circle

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

James Ralston Skinner
A Criticism on the Legendre Mode of the Rectification of the Curve of the Circle

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

Henry Clay Maine
The Burgoyne Campaign. Bemis Heights and Saratoga. Oriskany and Bennington. Hauver Island and its Fortifications

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

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch