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

Vixen

Rare Vintage (180g) (Red Vinyl)

Alien Starr

World Of Ecstasy (remastered)

Hervorragendes Stück super-rarer Elektro-Funk-Groovigkeit, ursprünglich als einmalige 12"-Single in kleiner Auflage in Privatpressung aus Ohio, USA im Jahr 1985. Komplett mit Vocoder, Slap Bass, Drumcompu…

Orit Hazzan, Noa Ragonis, Tami Lapidot

Guide to Teaching Computer Science

Focusing on the teaching of computer science in the generative A.I. (GenAI) era, the 4th edition of this Guide to Teaching Computer Science aims to contribute to the urgent effort to rethink and redesign …

Kamasi Washington (geb. 1981)

Fearless Movement

Washington bezeichnet »Fearless Movement« als sein Tanzalbum. »Es ist nicht wörtlich zu nehmen«, sagt Washington. »Tanz ist Bewegung und Ausdruck, und in gewisser Weise ist es das Gleiche wie Musik - man …

Computer and Information Security

This book constitutes the proceedings of the first World Conference of Computer and Information Security, WCCIS 2024, which was held in Kuala Lumpur, Malaysia, during September 20--22, 2024.The 14 full pa…

Jean Michel Jarre

Revolutions

"Revolutions" war 1988 das neunte Studioalbum von Jean-Michel Jarre und war nach "Oxygene" die zweiterfolgreichste Veröffentlichung des französischen Musikers. Der Song "London Kid" entstand in Zusammen…

Intelligent Human Computer Interaction

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…

Brain-Computer Interface Research

This book showcases recent trends in brain-computer interface development. It highlights fascinating results in areas such as speech neuroprotheses, bionic hands, memory enhancement, and the development o…

Jonathan Lazar, Casey Fiesler, Brian Wentz, Raja Kushalnagar

Human-Computer Interaction and U.S. Law

The core topics at the intersection of human-computer interaction (HCI) and US law -- privacy, accessibility, telecommunications, intellectual property, artificial intelligence (AI), dark patterns, human …

Jonathan Lazar, Casey Fiesler, Brian Wentz, Raja Kushalnagar

Human-Computer Interaction and U.S. Law

The core topics at the intersection of human-computer interaction (HCI) and US law -- privacy, accessibility, telecommunications, intellectual property, artificial intelligence (AI), dark patterns, human …

Madrugada

Chimes At Midnight (180g) (Limited Special Edition) (LP 1: Midnight Blue Vinyl/LP 2: Oxblood Vinyl)

Die Reunion-Platte 13 Jahre lag war es still um Madrugada. Das letzte Album der Indie-Rock-Band aus Stokmarknes, Norwegen erschien 2008 mit ihrem nach sich selbst benannten fünften Longplayer »Madrugada«…

Computer Vision - ECCV 2024

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during Se…

Computer Vision - ECCV 2024

The multi-volume set of LNCS books with volume numbers 15059 upto 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during Sep…

Computer Vision - ECCV 2024

The multi-volume set of LNCS books with volume numbers 15059 upto 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during Sep…

Computer Vision - ECCV 2024

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during Se…

Computer Vision - ECCV 2024

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during Se…

Computer Vision - ECCV 2024

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during Se…

Computer Vision - ECCV 2024

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during Se…

Computer Vision - ECCV 2024

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during Se…