Trefferliste "Computer-AidedDesignandVerification" - alle Bücher, CDs, LPs und mehr

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 …

Chao Wang

Domain-Specific Computer Architectures for Emerging Applications

With the end of Moore's Law, domain-specific architecture (DSA) has become a crucial mode of implementing future computing architectures. This book discusses the system-level design methodology of DSAs an…

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…

Benjamin Blümchen 063. Der Computer

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…

Sopwith (computer game)

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Sopwith is a sidescrolling shoot 'em up created by David L. Clark of BMB Com…

CCF Computer Network Teaching and Computer Network Engineering Discipline Construction

This book constitutes the refereed proceedings of the 16th CCF Symposium, CNETCNED 2025, Dalian, China, August 18-20, 2025, Proceedings.The 14 full papers included in this book were carefully reviewed and…

Frontiers of Computer Vision

This volume constitutes the revised selected papers of 31st International Workshop on Frontiers of Computer Vision, IW-FCV 2025, in Seoul, South Korea, during February 10-12, 2025.

Graph Theory for 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…

Amir Hedayati

Teaching Computer Ethics

With the growing use of AI and the introduction of large language models, such as ChatGPT, conversations about ethics have become commonplace. For many, this is the first time they have meaningfully consi…

Graph-Theoretic Concepts in Computer Science

This volume constitutes the thoroughly refereed proceedings of the 51st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2025, which took place in Otzenhausen, Germany, during Ju…

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…

Steve Tupai Francis

Kraftwerk's Computer World

Computer World was Kraftwerk's most concise and focused conceptual statement, their most influential record and crowning achievement. Computer World transformed the way pop music was composed, played, pac…

Computer Safety, Reliability, and Security

This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025.The 15 ful…

Engineering of Complex Computer Systems

This book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025.The …

Modeling, Simulation and Computer Technology

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…

Emerging Trends in Scientific Computing and Theoretical Computer Science

This book constitutes the proceedings of the 23rd International Conference on Scientific Computing, CSC 2025, and the 21st International Conference on Foundations of Computer Science, FCS 2025. They were …

Ayreon

The Final Experiment (Special-Edition)

Human Computer Interaction Handbook

Human-computer interaction (HCI) is a multidisciplinary field that shapes how people engage with digital systems, from everyday tools to transformative technologies. This fourth edition of the Human-Compu…

Anna Calvi

Is This All There Is? (Limited Edition) (Red BioVinyl)

»Is This All There Is?« ist die neue Veröffentlichung von Anna Calvi, die Identität als fortlaufende Metamorphose im Kontext von Liebe und persönlichem Wandel untersucht. Inspiriert von ihrer eigenen Pers…