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:

    SOFSEM 2025: Theory and Practice of Computer Science

    Invited talks.- Distributed Computing by Mobile Robots: Exploring the Computational Landscape.- Open Problems and Recent Developments on a Complexity Framework for Forbidden Subgraphs.- Contributed Papers…

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

    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

    Junbo Zhao (Assistant Professor, Department of Electrical and Computer Engineering, University of Connecticut, USA), Marcos Netto (Assistant Professor at the New Jersey Institute of Technology, Newark, USA.), Lamine Mili (Professor of Electrical and Computer Engineering, Virginia Tech, Falls Church, VA, USA)
    Zhao, J: Robust Dynamic State Estimation of Power Systems

    Robust Dynamic State Estimation of Power Systems demonstrates how to implement and apply robust dynamic state estimators to problems in modern power systems, thereby bridging the literatures of dynamic st…

    lieferbar ab 1.8.2026.
    Buch
    Aktueller Preis: EUR 187,56

    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

    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

    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

    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

    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

    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

    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 2-3 Wochen
    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

    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

    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

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

    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

    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

    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

    2nd International Congress of Electrical and Computer Engineering

    This proceedings presents the papers included in the 2nd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 22-25 November 2023. The conference …

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

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