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 177 Treffer.

    Ansicht:

    Emerging Centralised Automotive E/E Architectures

    Lecture Notes in Networks and Systems

    This book presents a practical roadmap for developing dependable, scalable, and evolvable software-defined vehicles by combining AI-driven engineering, data-centric architectures, and continuous verificat…

    lieferbar ab 8.10.2026.
    Buch
    Aktueller Preis: EUR 238,68

    Artificial Intelligence Logic and Applications

    This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16--17, 2025.The 12 full papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 82,13

    Verified Software. Theories, Tools and Experiments

    Lecture Notes in Computer Science - Band 16499

    This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.The 4 full papers and 2 short papers p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Smart Systems and Wireless Communication

    Smart Innovation, Systems and Technologies - Band 484

    This book is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 2025, organized by Department of Information Technology, J…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 369,08, reduziert um 10%
    Aktueller Preis: EUR 328,56

    Formal Methods: Foundations and Applications

    This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Blockchain Technologies for Smart Circular Economy and Organisational Sustainability

    Environmental Footprints and Eco-design of Products and Processes

    This book provides a descriptive overview of blockchain technology domain, we observe a transformative influence that has surpassed its initial application in Bitcoin and has permeated nearly all industri…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 186,19

    Frank Ehlers
    Design Space Exploration in Robotics

    Studies in Systems, Decision and Control - Band 229

    This book provides a foundation of the overall cycle from design and modelling to implementation and control of unmanned systems, exhibiting autonomy and instantiating self-organization amidst disturbance…

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

    Jane Vaynman
    Enemies in Agreement

    Why do adversaries sometimes cooperate to restrain their military competition? Why do they design arms control agreements with intrusive verification in some cases but rely on minimal transparency in othe…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 60,25

    Matthew Hu, Yan-Fu Li
    Enhancing Life Cycle Reliability with Robust Engineering and Predictive Health Management

    Quality and Reliability Engineering Series

    Enhancing Life Cycle Reliability with Robust Engineering and Predictive Health ManagementComplete process for ensuring product performance through robust concept design, robust optimization, selection, an…

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 169,28

    Paul Bradshaw, Steve Hill
    Mobile-First Journalism

    Combining theory and practice, this second edition of Mobile-First Journalism offers an engaging introduction to developing and producing interactive, user-centred content for mobile devices and social me…

    lieferbar ab 7.12.2026.
    Buch
    Aktueller Preis: EUR 66,40

    Paul Bradshaw, Steve Hill
    Mobile-First Journalism

    Combining theory and practice, this second edition of Mobile-First Journalism offers an engaging introduction to developing and producing interactive, user-centred content for mobile devices and social me…

    lieferbar ab 7.12.2026.
    Buch
    Aktueller Preis: EUR 256,63

    Quality of Information and Communications Technology

    Lecture Notes in Computer Science

    This book constitutes the proceedings of the 18th International Conference on the Quality of Information and Communications Technology, QUATIC 2025, held in Lisbon, Portugal, during September 3--5, 2025.T…

    lieferbar ab 28.10.2026.
    Buch
    Aktueller Preis: EUR 89,72

    Alexander Arnfinn Olsen
    Subsea Pipeline Systems

    Synthesis Lectures on Ocean Systems Engineering

    This book is a comprehensive guide to the classification, design, construction, and maintenance of subsea pipeline systems. It provides an in-depth exploration of offshore pipeline architecture, serviceab…

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

    Jane Vaynman
    Enemies in Agreement

    Why do adversaries sometimes cooperate to restrain their military competition? Why do they design arms control agreements with intrusive verification in some cases but rely on minimal transparency in othe…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 177,31

    Ming-Shan Zhao, Sing-Ping Chiew, Wang-Zhe Seah
    Design of Headed Anchorage Bars in Reinforced Concrete Structures

    This guide covers the design and application of headed bars as compact anchorage for reinforcement in congested or constrained concrete structures. Based on Eurocode 2, it explains the behaviour, analysis…

    lieferbar ab 2.11.2026.
    Buch
    Aktueller Preis: EUR 101,69

    Information and Communications Security

    Lecture Notes in Computer Science - Band 16217

    .- Cryptography..- Multi-Signer Locally Verifiable Aggregate Signature from (Leveled) Multilinear Maps..- Conditional Attribute-based Encryption with Keyword Search for Pay-Per-Query Commercial Model..- L…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 89,80

    Dan A Simunic
    The Economics of Auditing

    The financial information provided to governments, creditors, investors etc. by businesses has been verified by auditors since ancient times. In its modern form, the independent public accounting professi…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 79,57

    Khaled Mohamed
    Hardware Security

    Synthesis Lectures on Engineering, Science, and Technology

    This book provides an effective guide to hardware security, presenting both conventional countermeasures and advanced AI-driven strategies for preventing, detecting, and mitigating security vulnerabilitie…

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

    Dependable Software Engineering. Theories, Tools, and Applications

    Lecture Notes in Computer Science - Band 16458

    This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1-…

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

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