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

Caroline Dominik
Embedding Sequential Circuits for their Polynomial Formal Verification

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

lieferbar innerhalb 2-3 Wochen

Buch

Fortification and Microencapsulation of Vitamin D

Food Chemistry, Function and Analysis

Cutaneous synthesis from sun exposure (specifically ultraviolet B light) is the major contributor to human vitamin D status, the rest of our daily requirement is fulfilled through dietary sources. Today, …

lieferbar ab 3.7.2026.

Buch

Manju Nehra, Nishant Grover, K. S. Sandhu, Rahul Thory
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…

sofort lieferbar

Buch

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

lieferbar innerhalb 2-3 Wochen

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

Buch

AI Verification

Lecture Notes in Computer Science - Band 15947

This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The fir…

lieferbar innerhalb 2-3 Wochen

Buch

Computational Modeling and Simulation of Medical Devices

This open access book reflects the growth of computational modeling and simulation (CM&S) in support of medical device development over the past two decades, identifies the opportunities and challenge…

lieferbar ab 3.7.2026.

Buch

Eva Lilja,
Rhythm in Modern Poetry

A pioneering work in cognitive versification studies, scrutinizing the rhythmical means of free verse.Investigating a previously neglected area of study, Rhythm in Modern Poetry establishes a foundation f…

lieferbar innerhalb 2-3 Wochen

Buch

Sustainable Food Fortification

Chapter 1. Biobased Fortification: Current Challenges and Perspectives.- Chapter 2. Sustainability and economic aspects for food fortification.- Chapter 3. Plant based solution for food fortification.- Ch…

lieferbar innerhalb 2-3 Wochen

Buch

Virginia Wing

Measures Of Joy

Product Information Debut album from South London group Virginia Wing. The album is a work of psychedelic majesty that avoids the rockist trappings that many contemporary bands fall into; speaking to ev…

lieferbar innerhalb 1-2 Wochen

CD

Ghostface Killah

Ironman (180g)

Ironman is the debut solo album by Wu-Tang Clan rapper Ghostface Killah, released in 1996. Produced by Wu-Tang Clan mastermind RZA, the album's music and lyrics draw prominently on Blaxploitation films an…

lieferbar in mind. 4 Wochen

2 LPs

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

Anonymous
Fortifications of Today. Fire Against Models of Coast Batteries and Parados. Horizontal and Curved Fire in Defense of Coasts

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

Anonymous
Fortifications of Today. Fire Against Models of Coast Batteries and Parados. Horizontal and Curved Fire in Defense of Coasts

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

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

Mohammad Reza Heidari Iman
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

Mohammad Reza Heidari Iman is a Postdoctoral Researcher at the TIMA Laboratory, Université Grenoble Alpes, France, starting in September 2024. He completed his Ph.D. in the Department of Computer Systems …

lieferbar innerhalb 2-3 Wochen

Buch

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