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

    Ansicht:

    Static Analysis

    Lecture Notes in Computer Science - Band 16100

    This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

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

    Huishu Wu, Chuan Zhang
    Audit the Audit

    This book deals with the tension between law and technology of data protection topic, to propose a novel approach for interpreting personal data protection audit. Audits have long been criticized as "…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 175,23

    Model Checking Software

    Lecture Notes in Computer Science - Band 15945

    This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 63,51, reduziert um 22%
    Aktueller Preis: EUR 49,28

    Theoretical Aspects of Software Engineering

    Lecture Notes in Computer Science - Band 15841

    This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14--16, 2025. The 20 ful…

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

    Bridging the Gap Between AI and Reality

    Lecture Notes in Computer Science - Band 16220

    This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in N…

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

    Victor Alvin Ketcham
    The Theory and Practice of Argumentation and Debate

    Reproduction of the original, first published in 1914. Early 20th-century American educational textbook. A comprehensive instructional manual outlining formal rhetorical guidelines, logic verification rou…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 49,90

    Victor Alvin Ketcham
    The Theory and Practice of Argumentation and Debate

    Reproduction of the original, first published in 1914. Early 20th-century American educational textbook. A comprehensive instructional manual outlining formal rhetorical guidelines, logic verification rou…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 69,90

    Networked Systems

    Lecture Notes in Computer Science - Band 15736

    This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.The 16 full papers and 1 short paper pr…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 164,28

    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…

    lieferbar ab 1.1.2027.
    Buch
    Aktueller Preis: EUR 212,81

    Agents and Robots for reliable Engineered Autonomy

    Communications in Computer and Information Science - Band 2700

    This book constitutes the proceedings of the 5th International Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2025, which took place in Bologna, Italy, on October 25, 2025, in conjun…

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

    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

    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

    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

    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

    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

    Samir Tigane, Laid Kahloul, Abdelhamid Mellouk
    Enhancing Stochastic Petri Nets with Reconfigurability

    This book explores the world of reconfigurable stochastic Petri nets (RSPNs), a powerful method for modeling and verifying complex, dynamic and reconfigurable systems. As modern discrete-event systems bec…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 197,65
    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.