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:

    Anekdoten
    Nucleus (remastered) (180g)

    Das 1995er Nachfolgealbum zum Erstlingswerk »Vemod« der schwedischen Progressive Rock Attacke aus Schweden. Anekdoten haben sich eigentlich als King Crimson Coverband gegründet und das hört man bis heute …

    lieferbar innerhalb 2-3 Wochen
    LP
     
    Aktueller Preis: EUR 29,99

    NASA Formal Methods

    This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in t…

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

    Uriel R. Cukierman
    The Art of Teaching, the Magic of Learning: Towards Innovative Higher Education Systems

    Studies in Systems, Decision and Control

    This book gives an account of a restless search. University classrooms (whether virtual or face-to-face) persistently cling to a didactic method characterized by the progressive linear sequence of explana…

    lieferbar ab 11.12.2026.
    Buch
    Aktueller Preis: EUR 178,86

    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

    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

    Blue Finance

    Sustainable Finance

    Blue finance now has credible frameworks and landmark transactions, yet issuers and investors still lack a consolidated, deal-level manual. This book maps use-of-proceeds and sustainability-linked structu…

    lieferbar ab 22.11.2026.
    Buch
    Aktueller Preis: EUR 193,21

    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

    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

    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

    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

    Honoré de Balzac, Clara Bell, Ellen Marriage
    Colonel Chabert

    Reproduction of the original, first published in 1897. Mid-19th-century French historical legal drama in English translation. A poignant narrative charting a Napoleonic war veteran's identity verification…

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

    Honoré de Balzac, Clara Bell, Ellen Marriage
    Colonel Chabert

    Reproduction of the original, first published in 1897. Mid-19th-century French historical legal drama in English translation. A poignant narrative charting a Napoleonic war veteran's identity verification…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 14,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

    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

    Xiaobo Dong, Meng Zhang
    Chinese Rule of Law Discourse System

    Understanding China

    This book establishes an innovative interdisciplinary research paradigm for studying China's distinctive legal discourse, systematically elucidating the generative logic and global interaction mechanisms …

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

    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.3.2027.
    Buch
    Aktueller Preis: EUR 209,01

    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

    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

    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

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