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

    Computer-AidedVerification – Bücher, CDs, LPs und mehr, Seite 10

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

    Ansicht:

    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,19

    Christos Troussas, Akrivi Krouska, Cleo Sgouropoulou
    Human-Computer Interaction and Augmented Intelligence

    This book explores the transformative roles of human-computer interaction (HCI) and augmented intelligence (AI) in shaping intelligent systems. HCI focuses on designing interactive systems that enhance hu…

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

    Anonymous
    The Art of Human-Computer Interface Design

    Reprint of the original, first published in 1873. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

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

    Luiz André Barroso, Urs Hölzle, Parthasarathy Ranganathan
    The Data Center as a Computer

    Acknowlegements.- Introduction.- Workloads and Software Infrastructure.- WSC Hardware Building Blocks.- Data Center Basics: Building, Power, and Cooling.- Energy and Power Efficiency.- Modeling Costs.- De…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 66,40, reduziert um 19%
    Aktueller Preis: EUR 53,32

    Mogens Christensen (geb. 1955)
    Elektronische Musik

    Ensemble Contemporanea

    Artikel am Lager
    CD
     
    Vorheriger Preis EUR 7,99, reduziert um 50%
    Aktueller Preis: EUR 3,99

    Saha
    Algorithms for Smart World Technologies: A Compreh ensive Guide to Applications in AI, IoT and Automa tion for Electrical and Computer Engineers

    Enables readers to learn how to design and implement algorithms for efficient and secure smart technologies Algorithms for Smart World Technologies explains the fundamentals of key algorithms and their ap…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 155,97

    Universal Access in Human-Computer Interaction

    This 2-volume set LNCS 15780-15781 constitutes the refereed proceedings of the 19th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2025, held as part of the 27th Interna…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Integrated Computer Technologies in Mechanical Engineering - 2024

    This book covers areas such as information technology in engine design and production; information technology in the creation of rocket and space systems; aerospace engineering; transport systems and logi…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Annegret Montag
    Hybride Medialität

    In diesem Open Access Buch wird in einer Zeit, in der digitale Medien zunehmend an Bedeutung gewinnen, die dynamische Interaktion innerhalb digitaler Praxisgemeinschaften am Beispiel von Let's Play-Videos…

    lieferbar innerhalb einer Woche
    Buch
    Aktueller Preis: EUR 79,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

    Integrated Computer Technologies in Mechanical Engineering - 2024

    This book covers areas such as information technology in engine design and production; information technology in the creation of rocket and space systems; aerospace engineering; transport systems and logi…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    National Academies of Sciences Engineering and Medicine, Division of Behavioral and Social Sciences and Education, Division on Engineering and Physical Sciences, Board on Human-Systems Integration
    Human and Organizational Factors in AI Risk Management

    On June 11, 20, 26 and July 2, 2024, the National Academies of Sciences, Engineering, and Medicine held a series of workshop sessions to consider human and organizational factors of artificial intelligenc…

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

    Wasim Ahmed Khan, Volkan Esat, Muhammad Hammad, 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

    Beyond the Computer Metaphor of Mind and Brain

    This book explores groundbreaking scientific perspectives on mind and brain, challenging traditional models that view cognition solely through the lens of computation. Featuring contributions from leading…

    lieferbar ab 31.3.2026.
    Buch
    Aktueller Preis: EUR 47,85

    Groundation
    One Rock

    Nach mehr als zwei Jahrzehnten einer bewegten Karriere kehren Groundation dieses Jahr mit ihrem 10. Studioalbum »One Rock« zurück. Die Band, die 1998 von Sänger und Gitarrist Harrison Stafford gegründet w…

    Artikel am Lager
    LP
     
    Aktueller Preis: EUR 35,99

    Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

    .- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025). .- An end-to-end testbed for communication, compute, and control co-design: th…

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

    Computer Analysis of Images and Patterns

    The volume set LNCS 15621-15622 constitutes the refereed proceedings of the 21st International Conference on Computer Analysis of Images and Patterns, CAIP 2025, which took place in Las Palmas de Gran Can…

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

    Model Theory, Computer Science, and Graph Polynomials

    Part I: Personal Notes.- My writing.- Some personal remarks about Johann A. Makowsky.- The Swiss Connection.- From a Friend and Publisher.- From graph polynomials to the software industry Lessons from Jan…

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

    Beyond the Computer Metaphor of Mind and Brain

    This book explores groundbreaking scientific perspectives on mind and brain, challenging traditional models that view cognition solely through the lens of computation. Featuring contributions from leading…

    lieferbar ab 31.3.2026.
    Buch
    Aktueller Preis: EUR 154,94
    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.