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

Van Holzen

Aus der Ferne (180g) (Limited Edition)

Neuauflage des dritten und bislang reifsten Studioalbum der Band Van Holzen.

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…

Applied Computer Vision Through Artificial Intelligence

Master the cutting-edge field of computer vision and artificial intelligence with this accessible guide to the applications of machine learning and deep learning for real-world solutions in robotics, heal…

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…

Computer Vision and Robotics

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…

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…

Miranda Eduardo Reck

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…

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 …

Vibravoid

Remove The Ties (Limited Edition) (Colored Vinyl)

Iris Juice Coloured LP, limitiert auf 500 Exemplare. Nach dem von Presse und Fans hoch gelobten Album »We Cannot Awake« (2024) schafft es die Düsseldorfer Psych Band diese Leistung im 35. Jahr ihres Beste…

Ayreon

The Final Experiment (Special-Edition)

Soulwax

Nite Versions (Limited Edition)

Nite Versions ist das vierte Studioalbum von Soulwax. Es wurde am 26. September 2005 auf dem Plattenlabel PIAS veröffentlicht. Das Album enthält Überarbeitungen und Remixe von Stücken des früheren Soulwax…

Toyah

Sheep Farming In Barnet (remastered)

Clive Gifford,

Computer Kids: Coding Online

A fun first series introducing readers to the world of computer coding

Clive Gifford,

Computer Kids: Going Online

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