Purification – alle Bücher, CDs und LPs, Seite 5 online kaufen

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

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

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

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

Bob Marley

Survival (Limited Numbered Jamaican Pressing)

Als Bob Marley 1979 sein elftes Studioalbum Survival veröffentlichte, war das für den damals 34-Jährigen ein klarer thematischer Richtungswechsel von seinen vorherigen Longplayern. Vor allem sein letztes …

lieferbar innerhalb von 3 Tagen

LP

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

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

Carlos Patino (1600-1675)

Geistliche Chorwerke - Musica sacra para la Corte

La Grande Chapelle, Albert Recasens

lieferbar in mind. 4 Wochen

CD

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

AI Verification

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

lieferbar innerhalb 2-3 Wochen

Buch

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

Advances on Graph-Based Approaches in Information Retrieval

This book constitutes the refereed proceedings of the First International Workshop on Graph-Based Approaches in Information Retrieval, IRonGraphs 2024, held in Glasgow, UK, on March 24, 2024.The 6 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco 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

Principles of Verification: Cycling the Probabilistic Landscape

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Verification: Cycling the Probabilistic Landscape

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Verification: Cycling the Probabilistic Landscape

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen

Buch

The Mon

Doppelleben

Product Information Where Ufomammut create mind-expanding, heavy psychedelic, almost other- dimensional sounds, The Mon by comparison is far more intimate, looking inward, as Urlo explores and examines …

lieferbar innerhalb 1-2 Wochen

CD

Bob Marley

Survival

Als Bob Marley 1979 sein elftes Studioalbum Survival veröffentlichte, war das für den damals 34-Jährigen ein klarer thematischer Richtungswechsel von seinen vorherigen Longplayern. Vor allem sein letztes …

lieferbar innerhalb von 3 Tagen

CD

Bob Marley

Survival (180g)

Als Bob Marley 1979 sein elftes Studioalbum Survival veröffentlichte, war das für den damals 34-Jährigen ein klarer thematischer Richtungswechsel von seinen vorherigen Longplayern. Vor allem sein letztes …

lieferbar innerhalb von 3 Tagen

LP

Pramod Raghunath Thorat, Nilam Pramod Thorat
Entwicklung einer kostengünstigen Technologie zur Behandlung von Wasser

Development of Low-Cost Water Purification Technique ist ein umfassender Leitfaden, der sich auf innovative und erschwingliche Methoden konzentriert, um den Zugang zu sauberem Trinkwasser zu gewährleisten…

lieferbar innerhalb 2-3 Wochen

Buch

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