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

    Ansicht:

    Blockchain Technology and Emerging Applications

    Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - Band 669

    This book constitutes the refereed proceedings of the 4th EAI International Conference on Blockchain Technology and Emerging Applications, BlockTEA 2025, held in Venice, Italy, during September 18--19, 20…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 65,71

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science - Band 16040

    This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 63,51

    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

    Programming Languages and Systems

    This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27--30, 2025.The 13 full papers presented here were ca…

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

    Khaled Mohammed
    The Art of RTL Debugging

    Synthesis Lectures on Digital Circuits & Systems

    This book presents a comprehensive overview of RTL (Register Transfer Level) debugging, addressing both foundational concepts and emerging technologies. It begins by examining the key issues faced in RTL …

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

    Smart Systems and Wireless Communication

    The volume is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 2024, organized Department of Information Technology, JIS…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 306,65

    Qingsong Xu
    Piezoelectric-Driven Flexible Robotic Microgrippers

    This book provides a measured collation of the state of the art of emerging techniques to design and development of flexible robotic microgrippers driven by piezoelectric actuators. It aims to cover mecha…

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

    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

    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

    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

    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 9.9.2026.
    Buch
    Aktueller Preis: EUR 90,33

    Giuseppe Galloppo
    A Journey into ESG Investments

    Palgrave Studies in Impact Finance

    This book deals with climate finance and presents a balance between the theoretical framework---as drawn by the most widely cited practitioner-oriented and academic journals in environmental management---…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 182,07

    Information Security Applications

    Lecture Notes in Computer Science - Band 16434

    This book constitutes the refereed proceedings of the 26th International Conference on Information Security Applications, WISA 2025, held in Jeju Island, South Korea, during August 20--22, 2025.The 26 ful…

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

    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

    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

    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

    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.8.2026.
    Buch
    Aktueller Preis: EUR 97,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.