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

Human-Computer Interaction

Lecture Notes in Computer Science - Band 15770

This seven-volume set constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 27th International Conference on Human-Computer Interaction, HCII 2025, held in Gothenburg…

lieferbar innerhalb 2-3 Wochen

Buch

Computer and Communication Engineering

Communications in Computer and Information Science - Band 2642

This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23--25, 2025.The 12 full papers i…

lieferbar innerhalb 2-3 Wochen

Buch

Yixin Zhu, Song-Chun Zhu
Computer Vision

This volume on visual commonsense reasoning, part of a comprehensive three-volume series, presents a computational framework for bridging the gap between modern computer vision capabilities and human-like…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Vision, Imaging and Computer Graphics Theory and Applications

This book constitutes the revised selected papers of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics, VISIGRAPP 2024, held in Rome, Italy, during February 27--29,…

lieferbar innerhalb 2-3 Wochen

Buch

Graph Theory in Computer Science

This book is a vital resource for anyone looking to understand the essential role of graph theory as the unifying thread that connects and provides innovative solutions across a wide spectrum of modern co…

lieferbar ab 5.5.2026.

Buch

Juan Tapiador
The Computer Security Workbook

Undergraduate Topics in Computer Science

Mastering computer security requires more than just technical knowledge of software, systems and networks---it demands analytical thinking, a problem-solving mindset, and creative reasoning. These skills …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Algebra in Scientific Computing

Lecture Notes in Computer Science - Band 16235

This book constitutes the refereed proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing, CASC 2025, which took place in Dubai, United Arab Emirates, during November 2…

lieferbar innerhalb 2-3 Wochen

Buch

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

lieferbar innerhalb 1-2 Wochen

Buch

Intelligent Human Computer Interaction

Lecture Notes in Computer Science - Band 15557

This volume LNCS 15557 constitutes the refereed proceedings of 16th International Conference on Intelligent Human Computer Interaction, IHCI 2024, held in Twente, The Netherlands, during November 13-16, 2…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb einer Woche

Buch

Intelligent Human Computer Interaction

Lecture Notes in Computer Science - Band 15558

This volume LNCS 15557 constitutes the refereed proceedings of 16th International Conference on Intelligent Human Computer Interaction, IHCI 2024, held in Twente, The Netherlands, during November 13-16, 2…

lieferbar innerhalb 2-3 Wochen

Buch

Neko (computer program)

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Neko is a cross-platform open-source animated cursor-chasing cat screenmate …

lieferbar innerhalb 2-3 Wochen

Buch

Human-Computer Creativity

Springer Series on Cultural Computing

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 1-2 Wochen

Buch

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…

lieferbar innerhalb einer Woche

CD

Gunter Dueck
Wild Duck

Ein Buch mit echtem Wow!-Effekt. Provozierend, atemberaubend querdenkend über wichtige Themen, die uns zum Teil nicht einmal in den Sinn kommen. Spannend geschrieben, teils sanft, mal bitterböse, immer wi…

lieferbar innerhalb 2-3 Wochen

Buch

Jean-Luc Ponty (geb. 1942)

Individual Choice

Eines der prägendsten Alben von Jean-Luc Ponty mit prominenter Besetzung! Dieser Re-release des 1983 erschienen Albums »Individual Choice« ist nicht nur maßgeblich für die Sampling-Kultur der House- und E…

Artikel am Lager

CD

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…

lieferbar innerhalb 1-2 Wochen

Buch