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

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

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 ab 3.5.2026.

Buch

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science

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 ab 18.5.2026.

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

Principles and Practices of Building Parallel Software

Lecture Notes in Computer Science - Band 14564

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-perfor…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science - Band 15698

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

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

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science - Band 15697

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science - Band 15696

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

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