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

Dependable Software Engineering. Theories, Tools, and Applications

Lecture Notes in Computer Science - Band 16458

This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1-…

lieferbar innerhalb 2-3 Wochen

Buch

Cyber Security, Cryptology, and Machine Learning

Lecture Notes in Computer Science - Band 16244

This volume constitutes the proceedings of 9th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2025, in Be'er Sheva, Israel, during December 4--5, 2025.The 17 regular pa…

lieferbar innerhalb 2-3 Wochen

Buch

Stéphane Demri
Concise Introduction to Alternating-Time Temporal Logics

Computer Science Foundations and Applied Logic

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - Band 16032

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

lieferbar innerhalb 2-3 Wochen

Buch

Integrated Formal Methods

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19--21, 2025.The 23 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Safe and Trustworthy Cyber Physical Systems

Lecture Notes in Computer Science - Band 15471

This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architec…

lieferbar innerhalb 2-3 Wochen

Buch

Lukas Burgholzer, Robert Wille
Design Automation Tools and Software for Quantum Computing

This book provides an easy-to-read introduction to quantum computing and introduces readers to a set of software design tools that leverage the power of design automation for optimizing quantum circuits a…

lieferbar innerhalb 2-3 Wochen

Buch

Fidaa Karkori, Alexander Arnfinn Olsen
Inventory of Hazardous Materials

Synthesis Lectures on Ocean Systems Engineering

This book provides a comprehensive guide to the Inventory of Hazardous Materials (IHM), a critical document for ensuring the safe and environmentally sound recycling of ships. At the heart of this book is…

lieferbar innerhalb 2-3 Wochen

Buch

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the Internatio…

lieferbar innerhalb 2-3 Wochen

Buch

Yubin Lan
Precision Agricultural Aviation Application Technology

Agriculture Automation and Control

Modern technologies and information tools can be used to maximize agricultural aviation productivity, allowing for precision application of agrochemical products. This book reviews and summarizes state-of…

lieferbar innerhalb 2-3 Wochen

Buch

On the Pursuit of Insight and Elegance

Lecture Notes in Computer Science - Band 14765

Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under …

lieferbar innerhalb 2-3 Wochen

Buch

Games on Graphs

This volume introduces the fundamental results and the state of the art in infinite duration games on graphs. These versatile game models first appeared in the study of automata and logic, but later becam…

lieferbar innerhalb 2-3 Wochen

Buch

Muhammad H. Rashid
SPICE and LTspice for Power Electronics and Electric Power

Power Electronics and Applications Series

Power electronics can be a difficult course for students to understand and for professional professors to teach, simplifying the process for both. LTspice for power electronics and electrical power editio…

Erscheint bald

Buch

Minchao Huang, Jianjun Wu, Jian Li, Yuqiang Cheng
Solar Thermal Thruster

This open access book focuses on the field of aerospace propulsion theory and engineering. The book takes the solar thermal thruster as the research object, has carried on the solar thermal thruster worki…

lieferbar innerhalb 2-3 Wochen

Buch

World Conference of AI-Powered Innovation and TRIZ Methodology

IFIP Advances in Information and Communication Technology - Band 774

This book constitutes the proceedings of the 25th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, TFC 2025, held in Paris, France, during November 5--7, 202…

lieferbar innerhalb 2-3 Wochen

Buch

Don Kilburg, Virginia Blaser
AI Use Cases for Consular Affairs

AI Use Cases for Consular Affairs explores applications for artificial intelligence (AI) across issues such as visas, passports, border security, disaster evacuation, and identity verification. It shows h…

lieferbar ab 6.10.2026.

Buch

Don Kilburg, Virginia Blaser
AI Use Cases for Consular Affairs

AI Use Cases for Consular Affairs explores applications for artificial intelligence (AI) across issues such as visas, passports, border security, disaster evacuation, and identity verification. It shows h…

lieferbar ab 6.10.2026.

Buch

Advanced Aircraft Understanding via the Virtual Aircraft Model

Notes on Numerical Fluid Mechanics and Multidisciplinary Design - Band 155

This book reports on the results of a four-year collaborative project between the German Aerospace Center (DLR), three German universities and the aircraft industry. The project was funded by the Ministry…

lieferbar innerhalb 2-3 Wochen

Buch

Martin Hofmann, Martin Lange
Automata Theory and Logic

This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and present…

lieferbar innerhalb 2-3 Wochen

Buch

Chenkun Qi, Feng Gao, Yan Hu
Control of Hardware-In-The-Loop Space Contact Simulation Robot

The book focuses on control methods of hardware-in-the-loop simulation robots on the ground to simulate the contact dynamics of spacecraft and space manipulators in space. Both principles and engineering …

lieferbar innerhalb 2-3 Wochen

Buch

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