Verification – all Bücher, CDs und LPs, Page 7

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…

deliverable within 2-3 weeks

Buch

Antonina Wozna
Mary Daly's (1928-2010) Theological Method of Ontolinguistic Hermeneutics

Ontolinguistics theological Hermeneutics: sources and Daly¿s proposal analyses the method used by Mary Daly, her constructive criticism of the traditional theological method and her proposal to combine th…

deliverable within 2-3 weeks

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…

deliverable within 2-3 weeks

Buch

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

deliverable within 2-3 weeks

Buch

Yubin Lan
Precision Agricultural Aviation Application Technology

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…

deliverable within 2-3 weeks

Buch

Innovations for Community Services

.- Invited Papers..- What Will Artificial Intelligence Do on Its Own? Intrinsic and Emergent Goals in Optimization and Artificial Intelligence..- Full-Stack Quantum Computing and Distributed Systems: A Co…

deliverable within 2-3 weeks

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 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 12.2.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…

Coming soon

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…

deliverable within 2-3 weeks

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…

deliverable within 2-3 weeks

Buch

CyberSecurity in a DevOps Environment

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

deliverable within 2-3 weeks

Buch

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops

This book constitutes the refereed proceedings of the workshops held in conjunction with the 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, IFIPIoT 2024, in Nice, France, in …

deliverable within 2-3 weeks

Buch

Principles and Practices of Building Parallel Software

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…

deliverable within 2-3 weeks

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…

deliverable within 2-3 weeks

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…

available for immediate delivery

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…

deliverable within 2-3 weeks

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…

deliverable within 2-3 weeks

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…

deliverable within 2-3 weeks

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 …

deliverable within 2-3 weeks

Buch