0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

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

    Ihre Suche nach "Verification" (Bücher, CDs und LPs) ergab 126 Treffer.

    Ansicht:

    Theoretical Aspects of Computing - ICTAC 2025

    Lecture Notes in Computer Science - Band 16237

    This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24--28, 2025.The 21 full pap…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    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
    Aktueller Preis: EUR 81,04

    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 7.5.2026.
    Buch
    Aktueller Preis: EUR 183,66

    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 15.5.2026.
    Buch
    Aktueller Preis: EUR 52,04

    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

    Next Democratic Frontiers for Facial Recognition Technology (FRT)

    Law, Governance and Technology Series - Band 74

    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
    Aktueller Preis: EUR 186,19

    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
    Aktueller Preis: EUR 72,27

    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
    Aktueller Preis: EUR 43,80

    Engineering Design Applications VII

    This book gives an update on recent developments in the mentioned areas of modern engineering design application. Different engineering disciplines such as mechanical, materials, computer, and process eng…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 153,32

    Stephane 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 ab 19.4.2026.
    Buch
    Aktueller Preis: EUR 67,00

    Computer Aided Systems Theory - EUROCAST 2024

    Lecture Notes in Computer Science - Band 15172

    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
    Aktueller Preis: EUR 81,04

    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
    Aktueller Preis: EUR 56,67

    Innovations for Community Services

    Communications in Computer and Information Science - Band 2513

    .- 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
    Aktueller Preis: EUR 98,56

    Computer Aided Systems Theory - EUROCAST 2024

    Lecture Notes in Computer Science - Band 15173

    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
    Aktueller Preis: EUR 81,04

    Computer Aided Systems Theory - EUROCAST 2024

    Lecture Notes in Computer Science - Band 15174

    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
    Aktueller Preis: EUR 72,27

    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
    Aktueller Preis: EUR 149,34

    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 1-2 Wochen
    Buch
    Aktueller Preis: EUR 37,39

    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
    Aktueller Preis: EUR 90,66

    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
    Aktueller Preis: EUR 131,42

    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
    Aktueller Preis: EUR 109,51
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.