0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Computer-AidedVerification" - alle Bücher, CDs, LPs und mehr

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Computer-AidedVerification" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Jürg Gutknecht, Igor Schagaev
    Software Design for Resilient Computer Systems

    This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features should provide for highest reliability. With this third edition of Soft…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 117,33

    Computer-Human Interaction Research and Applications

    This two-volume set, CCIS 2370 and CCIS 2371, constitutes the proceedings of the 8th International Conference on Computer-Human Interaction Research and Applications, CHIRA 2024, held Porto, Portugal, dur…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 93,08

    Computer Aided Systems Theory - EUROCAST 2024

    This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Shiplu Das, Trisha Biswas
    IoT und Computer Vision für mehr öffentliche Sicherheit

    Die Integration von Internet der Dinge (IoT) und Computer Vision hat zahlreiche Branchen, darunter Smart Cities, Gesundheitswesen, Transport und Sicherheit, grundlegend revolutioniert. Eine der wichtigste…

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

    Wan Muhamad Saridan Wan Hassan, Roslinda Zainal, Muhammad Zaki Yaacob, Abd Rahman Tamuri
    Physics-Problems, Solutions, and Computer Calculations

    Knowledge of and skill in physics are essential foundations for studies in science and engineering. This book offers students an introduction to the basic concepts and principles of physics. It covers var…

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

    Bill Mackenty, James Abela, Lindsey Stephenson
    Oxford Resources for IB: DP Computer Science Course Book

    Developed in cooperation with the IB and matched to the first teaching 2025 subject guide, the comprehensive Course Book offers support for key concepts, theories and skills.

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 78,29

    The Princeton Review
    Princeton Review AP Computer Science a Premium Prep, 9th Edition

    PREMIUM PRACTICE FOR A PERFECT 5! Ace the newly-digital AP Computer Science A Exam with this comprehensive study guide---including 5 practice tests with answer explanations, timed online practice, and tho…

    lieferbar ab 9.9.2025.
    Buch
    Aktueller Preis: EUR 24,42

    Human-Computer Interaction. Design and Research

    This two-volume proceedings, set CCIS 2337-2338, constitutes of the proceedings of 15th Indian Conference on Human-Computer Interaction Design and Research, IndiaHCI 2024, held in Mumbai, India, during No…

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

    Human-Computer Interaction. Design and Research

    This two-volume proceedings, set CCIS 2337-2338, constitutes of the proceedings of 15th Indian Conference on Human-Computer Interaction Design and Research, IndiaHCI 2024, held in Mumbai, India, during No…

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

    Diana Franklin, Paul Denny, David A. Gonzalez-Maldonado
    Generative AI in Computer Science Education

    In this Element, the authors explore both the opportunities and the challenges for computer science education resulting from the widespread availability of generative AI.

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

    Computer Information Systems and Industrial Management

    This book constitutes the proceedings of the 23rd International Conference on Computer Information Systems and Industrial Management, CISIM 2024, held in Bialystok, Poland, during September 27-29, 2024.Th…

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

    Computer Applications in Industry and Engineering

    This book constitutes the proceedings of the 37th International Conference on Computer Applications in Industry and Engineering, CAINE 2024, which took place in San Diego, USA, in October 2024.The 17 full…

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

    Integrating Metaheuristics in Computer Vision for Real-World Optimization Problems

    A comprehensive book providing high-quality research addressing challenges in theoretical and application aspects of soft computing and machine learning in image processing and computer vision.Researchers…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 225,43

    Wasim Ahmed Khan, Volkan Esat, Rashid Ali, Hassan Ali
    Computer Aided Engineering Design and Manufacturing

    This text introduces the modern concepts relevant to system engineering design and manufacturing from a 4th Industrial Revolution perspective.The book surveys the current status and cutting edge in Comput…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 128,00

    Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering

    This book constitutes the proceedings of the 28th International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2024, and the 23rd International Conference on Information an…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 93,08

    Computer-Aided and Machine Learning-Driven Drug Design

    The computer-aided drug design research field comprises several different knowledge areas, and often, researchers are only familiar or experienced with a small fraction of them. Indeed, pharmaceutical ind…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Future Perspectives on Human-Computer Interaction Research

    This edited book provides some future perspectives on Human-Computer Interaction research and serves as a crucial nexus for reflecting on the paths that have led us here. Technologies are increasingly bec…

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

    Computer-Based Diagnostics and Systematic Analysis of Knowledge

    This volume explores the rapidly advancing field of technology-supported knowledge assessment. Across academia, research on learning and instruction, AI-based analysis, psychology, and education, there is…

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

    Computer Vision & Laser Vibrometry, Vol. 6

    Computer Vision & Laser Vibrometry, Volume 6: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the sixth volume of ten from the Conference brings together contri…

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

    Arfan Ghani
    Innovations in Computer Vision and Data Classification

    This book delves into the dynamic realm of data classification, focusing on its real-world applications. Through an insightful journey, readers are introduced to the practical applications of reconfigurab…

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