0
EUR
00,00*
Cart EUR 00,00 *
    Advanced search
    Create your personal account

    Search Results "Computer-AidedVerification" - all Bücher, CDs, LPs und mehr

    We could not find any exact matches to your search for "Computer-AidedVerification". Maybe these items match your search.

    View:

    Applied Computer Sciences in Engineering

    Communications in Computer and Information Science - volume 2702

    The two-volume set CCIS 2701 and 2702 constitutes the refereed conference proceedings of the 12th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2025, held in Cali, …

    lieferbar ab 23.11.2025.
    Buch
    Current price: EUR 65.71

    Don Cherry (1936-1995)
    Art Deco (Verve By Request) (180g)

    Don Cherry vereint seine Bandkollegen Charlie Haden und Billy Higgins aus dem originalen Ornette Coleman Quartett zusammen mit dem »Teaxs Tenor«-Saxophonisten James Clay auf dieser herausragenden Session …

    Item in stock
    LP
     
    Current price: EUR 18.99

    Advances in Computer Graphics

    The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    Advances in Computer Graphics

    The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    Research in Computer Science

    This book constitutes the refereed proceedings of the 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, in Bejaïa, Algeria, in November 23-26, 2024.The 25 full pa…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 164.28

    David Kopec
    Computer Science From Scratch

    You know how to write Python. Now master the computer science that makes it work.If you've been programming for a while, you may have found yourself wondering about the deeper principles behind the code. …

    available for immediate delivery
    Buch
    Current price: EUR 37.09

    Advances in Computer Graphics

    The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    Spliff
    85555 (180g) (Limited Edition) (Red Vinyl)

    »85555« ist das deutschsprachige Debütalbum von Spliff und präsentiert eine aufregende Mischung aus Rock, Reggae und Funk. Mit eingängigen Melodien und griffigen Texten zeigt die Band ihre Vielseitigkeit …

    Item in stock
    LP
     
    Current price: EUR 39.99

    Robotics, Computer Vision and Intelligent Systems

    Communications in Computer and Information Science - volume 2629

    This volume constitutes the proceedings of the 5th International Conference on Robotics, Computer Vision and Intelligent Systems, ROBOVIS 2025, which was held in Porto, Portugal, during February 25-27, 20…

    lieferbar ab 29.10.2025.
    Buch
    Current price: EUR 142.37

    Elliot Lichtman
    The Computer Always Wins

    An engaging and approachable resource for beginning-to-intermediate coders eager to learn advanced ideas in computer programming.In The Computer Always Wins, Elliot Lichtman will teach you some of compute…

    available for immediate delivery
    Buch
    Current price: EUR 18.15

    Kasper Hornbæk, Per Ola Kristensson, Antti Oulasvirta
    Introduction to Human-Computer Interaction

    This is the first comprehensive textbook for students of human-computer interaction. The book revises and synthesizes topics including design, engineering, empirical methods, and technology. It acknowledg…

    deliverable within 1-2 weeks
    Buch
    Current price: EUR 101.04

    Human-Computer Creativity

    This pioneering volume showcases how generative AI has evolved from a mere tool to a creative partner, transforming the boundaries of innovation and collaboration across various disciplines. With contribu…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 219.03

    Modeling, Simulation and Computer Technology

    Communications in Computer and Information Science - volume 2606

    This volume constitutes the proceedings of First International Conference on Modeling, Simulation and Computer Technology, ICMSCT 2024, held in Skikda, Algeria, during November 5--6, 2024.The 45 full pape…

    lieferbar innerhalb von 1-3 Tagen
    Buch
    Current price: EUR 98.56

    Computer Supported Qualitative Research

    Lecture Notes in Networks and Systems - volume 1595

    This book presents a selection of articles accepted for presentation and discussion at the World Conference on Qualitative Research (WCQR), held in 2025 at Jagiellonian University in Kraków, Poland, and o…

    lieferbar ab 24.11.2025.
    Buch
    Current price: EUR 219.03

    Kasper Hornbæk, Per Ola Kristensson, Antti Oulasvirta
    Introduction to Human-Computer Interaction

    This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read on the Oxford Academic platform and offered as a free PDF download from OUP and select…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 234.28

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 43.80

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 43.80

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 43.80

    Benjamin Blümchen 063. Der Computer

    Kiddinx

    Benjamin will in Neustadt Zuckerstückchen holen, doch Herr Süß, der Händler, hat keine mehr. Es gibt in seinem Laden aber noch etwas anderes, was Benjamin interessiert: einen Computer. Weil Herr Süß begei…

    deliverable within one week
    CD
     
    Current price: EUR 6.99

    Computer Vision and Robotics

    Lecture Notes in Networks and Systems - volume 1644

    This book consists of a collection of the high-quality research articles in the field of computer vision and robotics which are presented at the International Conference on Computer Vision and Robotics (C…

    lieferbar ab 11.11.2025.
    Buch
    Current price: EUR 175.23
    Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.