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

Ihre Suche nach "Certification" (Bücher, CDs und LPs) ergab 223 Treffer.

Ansicht:

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
Aktueller Preis: EUR 54,75

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
Aktueller Preis: EUR 28,41

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
Aktueller Preis: EUR 43,80

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
Aktueller Preis: EUR 109,51

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
Aktueller Preis: EUR 34,90

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
Aktueller Preis: EUR 43,80

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

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
Aktueller Preis: EUR 72,27

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
Aktueller Preis: EUR 11,90

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
Aktueller Preis: EUR 32,90

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
Aktueller Preis: EUR 43,80

D. H. Mahan
Summary of the course of permanent fortification

Reprint of the original, first published in 1863. 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
Aktueller Preis: EUR 79,90

D. H. Mahan
Summary of the course of permanent fortification

Reprint of the original, first published in 1863. 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
Aktueller Preis: EUR 59,90

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
Aktueller Preis: EUR 43,80

Quaderni del PLIDA A1. Übungsbuch mit Audiodateien als Download

Niveau A1Die Übungsbücher Quaderni del PLIDA bestehen aus sechs Bänden, entsprechend den sechs Schwierigkeitsstufen der PLIDA-Prüfung. Die Titel sind ideal für Lernende, die sich auf die PLIDA-Prüfung vor…

sofort lieferbar
Buch
Aktueller Preis: EUR 27,00

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 164,28

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

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 lifecycleThe INCOSE Needs and Requirements Manual prese…

lieferbar innerhalb 1-2 Wochen
Buch
Aktueller Preis: EUR 111,77

Verification and Evaluation of Computer and Communication Systems

This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during Octobe…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 142,37

Junius Brutus Wheeler
The Elements of Field Fortifications. For the Use of the Cadets of the United States Military Academy at West Point, N. Y.

Reprint of the original, first published in 1882. 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
Aktueller Preis: EUR 49,90
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.