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

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

Ayreon

The Final Experiment (Special-Edition)

Human-Computer Interaction

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…

Markus Kammermann

CompTIA Network+

Fundiertes und umfassendes Wissen zu Computer-NetzwerkenTCP/IP, Drahtlostechnologien, Administration, Fehlersuche, Notfallplan u.v.m.Mit aktuellen Vorbereitungsfragen und Übungen zu jedem FachgebietWegwei…

Human-Computer Interaction

This book constitutes the refereed proceedings of the 10th Iberoamerican Conference on Human-Computer Interaction, HCI-COLLAB 2024, held in Pereira, Colombia, during June 4--7, 2024.The 26 full papers pre…

Eduardo Reck Miranda

Advances In Quantum Computer Music

The modern music industry depends critically on computers. The development of conventional digital computing technology for music has been progressing in tandem with the evolution of computers since the 1…

Human-Computer Interaction

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…

Human-Computer Interaction

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…

Human-Computer Interaction

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…

Human-Computer Interaction

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…

Human-Computer Interaction

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…

Prince

Purple Rain

Prince sprengte alle Erwartungen und schrieb Musikgeschichte, als er das Album »Purple Rain« veröffentlichte, auf das Wochen später der gleichnamige Kino-Hit folgte. Die 9-Track-LP wurde mit zwei Grammys …

Human-Computer Interaction

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…

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockhol…

Kraftwerk

The Mix (180g) (International Version remastered)

»The Mix« besteht aus einer Anzahl von Liedern, die bereits früher erschienen waren und hier neu arrangiert und neu aufgenommen wurden. Eine englische Version erschien zusätzlich mit englischsprachigen Te…

Juan Tapiador

The Computer Security Workbook

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 …

Computer Ethics Across Disciplines

This edited volume brings together philosophers and scholars in disparate fields who have engaged in Professor Deborah G. Johnson's body of work throughout her long career. It appeals to both students and…

Clive Gifford,

Computer Kids: Learning Online

A fun first series introducing readers to the first steps in learning online