Verification – alle Bücher, LPs und CDs, 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 ab 30.4.2026.

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 29.3.2026.

Buch

Pharmaceutical Engineering: A Primer for Advanced Process Development

Pharmaceutical Engineering: A Primer for Advanced Process Development provides a comprehensive, engineering-focused description of pharmaceutical dosage form process development and manufacturing. This vo…

Erscheint bald

Buch

Cyber Security, Cryptology, and Machine Learning

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

Eike Best, Raymond Devillers
Petri Net Primer

Preface.- 1 First Steps in Petri Nets.- 2 Languages of Petri Nets.- 3 Reachability and Coverability.- 4 Linear-algebraic Structure of Petri Nets.- 5 Graph-theoretical Structure of Petri Nets.- 6 More Stru…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

Mark Tehranipoor, Kimia Zamiri Azar, Navid Asadizanjani, Fahim Rahman
Hardware Security

This book provides a look into the future of hardware and microelectronics security, with an emphasis on potential directions in security-aware design, security verification and validation, building trust…

lieferbar innerhalb 2-3 Wochen

Buch

Pramod Chandra P. Bhatt, Naresh Kumar Sehgal
Project Management in Cloud Applications

Cloud Computing has been in use for several decades now, but the art and science of delivering Cloud based products is still shrouded in mystery. This book offers new solutions on how to deliver software …

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence and Data Analytics for Innovative Applications in Engineering, Sustainability and Technology

This book explores the forefront of Artificial Intelligence (AI), data analytics, and sustainable engineering, presenting in-depth research and practical applications across various domains. It is designe…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Safe and Trustworthy Cyber Physical Systems

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

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

World Conference of AI-Powered Innovation and TRIZ Methodology

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

Roger A Grimes
Taming the Hacking Storm

AN EXPERT DEMONSTRATION OF WEAVING SECURITY INTO YOUR ORGANISATION'S CULTUREIn Taming the Hacking Storm: A Framework for Defeating Hackers and Malware, 36-year veteran of the computer security industry, R…

lieferbar innerhalb 2-3 Wochen

Buch

Mohamed Diallo, Adama Coulibaly
Legality control for local authorities

Between 1990 and 2022, most West African states introduced a new form of administrative control, while abandoning the guardianship system. Trusteeship control was seen by many specialists as a brake on th…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

World Conference of AI-Powered Innovation and TRIZ Methodology

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

Tools and Algorithms for the Construction and Analysis of Systems

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…

sofort lieferbar

Buch

Tools and Algorithms for the Construction and Analysis of Systems

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