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:

    Mathematics of Computer Science, Cybersecurity and Artificial Intelligence

    This proceedings book gathers selected, peer-reviewed papers presented at the Fifth Scientific Days of the Doctoral School of Mathematics and Computer Sciences - S2DSMCS, held from December 20-22, 2023, a…

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

    Applied Computer Sciences in Engineering

    The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23¿25, 2024.The 42 …

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

    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 98,56

    Applied Computer Sciences in Engineering

    The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23¿25, 2024.The 42 fu…

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

    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

    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

    Wan Muhamad Saridan Wan Hassan, Abd Rahman Tamuri, Muhammad Zaki Yaacob, Roslinda Zainal
    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

    Donald Knuth
    Art of Computer Programming, Volume 4, Fascicle 7, The

    The Art of Computer Programming is a multivolume work on the analysis of algorithms and has long been recognized as the definitive description of classical computer science. The five volumes published to …

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 41,27

    The Princeton Review
    Princeton Review AP Computer Science Principles Premium Prep, 4th Edition

    Random House Children's Books

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

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 25,84

    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 77,68

    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

    SOFSEM 2025: Theory and Practice of Computer Science

    This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20…

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

    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

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

    Random House Children's Books

    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 in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 23,45

    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

    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

    Luiz Andre Barroso, Parthasarathy Ranganathan, Urs Holzle
    The Data Center as a Computer

    Warehouse-scale computers (WSCs) power cloud computing and all the great web services we use daily, including recent advancements in Artificial Intelligence/Machine Learning (AI/ML). This book examines ho…

    lieferbar ab 14.10.2025.
    Buch
    Aktueller Preis: EUR 66,40

    Kraftwerk
    Computerwelt (remastered) (180g)

    Das achte Studioalbum der Band wurde zwischen 1978 und 1981 im Kling-Klang-Studio in Düsseldorf aufgenommen. Veröffentlicht wurde es als deutsche, französische, englische und japanische Version. »Comput…

    Artikel am Lager
    LP
     
    Aktueller Preis: EUR 36,99

    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

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