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

Ansicht:
: Verification and Evaluation of Computer and Communication Systems, Buch

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science -Band 14368

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during Oct…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
David Allen Burke: Atomic Testing in Mississippi, Buch

David Allen Burke
Atomic Testing in Mississippi

In Atomic Testing in Mississippi, David Allen Burke illuminates the nearly forgotten history of America's only nuclear detonations east of the Mississippi River. The atomic tests, conducted in the mid-196…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 44,59*
Tobias Ruess: A First 2 MW-Class (136)/170/204 GHz Multi-Frequency Gyrotron Pre-Prototype for DEMO: Design, Construction and Key Components Verification, Buch

Tobias Ruess
A First 2 MW-Class (136)/170/204 GHz Multi-Frequency Gyrotron Pre-Prototype for DEMO: Design, Construction and Key Components Verification

Ein Gyrotron wird in magnetisch eingeschlossenen Plasmaexperimenten für Heizung, Stromtrieb, Plasmastabilisierung und Plasmadiagnostik verwendet. In dieser Arbeit wird der erste Entwurf und Bau eines Mehr…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 48,00*
: Tools for Design, Implementation and Verification of Emerging Information Technologies, Buch

Tools for Design, Implementation and Verification of Emerging Information Technologies

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering -Band 523

This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 65,71*
: Verification, Model Checking, and Abstract Interpretation, Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14499

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Verification, Model Checking, and Abstract Interpretation, Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14500

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: AI Verification, Buch

AI Verification

Lecture Notes in Computer Science -Band 14846

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 131,42*
: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola, Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola

Lecture Notes in Computer Science -Band 15219

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 81,04*
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.