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

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

EUR 49,90*

Khaled Salah Mohamed
Heterogeneous SoC Design and Verification

Synthesis Lectures on Digital Circuits & Systems

This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 53,32*

Auguste Frederic Lendy
Elements of Fortification

Reprint of the original, first published in 1857.

lieferbar innerhalb 2-3 Wochen

Buch

EUR 59,90*

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

EUR 20,43*

Chris Köcher
Verification of Automata with Storage Mechanisms

An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stac…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 18,00*

Alireza Mahzoon, Rolf Drechsler, Daniel Große
Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 98,56*

David J Betz
The Guarded Age

The fall of the Berlin Wall in 1989 came to symbolise the dawn of a new era of openness and connectivity. Yet today, the world is ever more divided, demarcated and -- quite literally fortified. We are liv…

lieferbar innerhalb 1-2 Wochen

Buch

EUR 90,29*

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

EUR 90,66*

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*

Grzegorz Podruczny
The King and His Fortresses

A detailed exploration of Prussian fortifications under Frederick the Great, examining their construction, theory, and strategic significance. The King and His Fortresses describes Prussian fortification…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 62,31*

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*

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*

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

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

EUR 14,90*

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

EUR 34,90*

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

EUR 72,27*

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*

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science -Band 15220

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 72,27*

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…

Erscheint bald

Buch

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*

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

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