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

    Ansicht:

    Jake R. Lawson
    Hvac Bible

    Do HVAC systems seem too complex to understand?Do you feel frustrated by expensive maintenance calls, or unsure where to begin if you're considering a career in the HVAC field?If you've ever felt lost dea…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 22,97

    Vinit Jain
    CCIE Data Center Infrastructure Foundation

    Certification/Training

    To earn your elite CCIE Data Center certification and move up from CCNP status, you must pass challenging real-world CCIE Data Center labs. Straight from Cisco, The CCIE Data Center Hand-on Lab Guide pres…

    lieferbar ab 7.4.2027.
    Buch
    Aktueller Preis: EUR 144,17

    Mohamed-Ali Ibrahim
    Iso 27001

    ISO 27001:2022 Documentation Toolkit for Small Enterprises Your Optimal Preparation for the Certification AuditIntroduction The ISO 27001:2022 Documentation Toolkit is a comprehensive solution designed to…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 174,66

    Jan-Martin Schneider
    Eine nicht-punitive Welt durch Technik?

    'A Non-Punitive World through Technology? Discussion on the Limitation of Criminal Law using the Example of the Legitimacy of Criminal Law on Counterfeit Medicines in an Increasingly Technical and Digital…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 139,90

    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

    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

    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

    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

    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

    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

    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

    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

    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

    Enhancing LLM Performance

    Machine Translation: Technologies and Applications - Band 7

    Introduction and Fundamentals.- SPEED: Speculative Pipelined Execution for Efficient Decoding.- Efficient LLM Inference on CPUs.- KronA: Parameter-Efficient Tuning with Kronecker Adapter.- LoDA: Low-Dimen…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 164,28

    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

    Verified Software. Theories, Tools and Experiments

    Lecture Notes in Computer Science - Band 15525

    This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14--15, 2024.The 6 full papers, as well…

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

    Innovations for Community Services

    Communications in Computer and Information Science - Band 2513

    This book constitutes the refereed proceedings of the 25th International Conference on Innovations for Community Services, I4CS 2025, held in Munich, Germany, during June 11--13, 2025. The 21 full papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 98,56

    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 191,33

    Foundations and Practice of Security

    Lecture Notes in Computer Science - Band 15533

    .- Preserving privacy and maintaining trust for end users in a complex and numeric cyberspace. .- Another Walk for Monchi. .- An Innovative DSSE Framework: Ensuring Data Privacy and Query Verification in …

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