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

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…

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

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

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…

lieferbar innerhalb 2-3 Wochen

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 …

lieferbar innerhalb 2-3 Wochen

Buch

Next Democratic Frontiers for Facial Recognition Technology (FRT)

This book focuses on facial recognition technology (FRT) and sheds light on previously unexplored aspects that involve systematic legal issues concerning its regulation, the protection of rights and freed…

lieferbar innerhalb 2-3 Wochen

Buch

Madhura Dumbre
Fact-Checking in the Digital Age

BestMasters

This book examines the fact-checking strategies adopted by major platforms such as Meta, X, TikTok, and YouTube to combat misinformation, including third-party verification, AI tools, community-based syst…

lieferbar in mind. 4 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

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

Global Waste Management

Global Waste Management raises awareness among readers about industrial application-based problems by encouraging self-evaluation and verification processes related to waste creation and its minimization.…

lieferbar innerhalb 2-3 Wochen

Buch

Naresh Kumar Sehgal, Pramod Chandra P. Bhatt
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

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

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

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