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

Dharini Balasubramaniam,
Click, Connect, Compute: Computer Science Essentials

Computer science fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

lieferbar ab 27.11.2025.

Buch

Computer Vision, Imaging and Computer Graphics Theory and Applications

This book constitutes the refereed post-conference proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2023, held in…

lieferbar innerhalb 2-3 Wochen

Buch

Dharini Balasubramaniam,
Click, Connect, Compute: Computer Science Essentials

Computer science fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

lieferbar in mind. 4 Wochen

Buch

Dharini Balasubramaniam,
Click, Connect, Compute: Data, Big and Small

Data science fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

lieferbar ab 22.1.2026.

Buch

Dharini Balasubramaniam,
Click, Connect, Compute: Data, Big and Small

Data science fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

lieferbar in mind. 4 Wochen

Buch

Dharini Balasubramaniam,
Click, Connect, Compute: The Languages of Programming

Computer language fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

lieferbar in mind. 4 Wochen

Buch

Dharini Balasubramaniam,
Click, Connect, Compute: The Languages of Programming

Computer language fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

lieferbar ab 22.1.2026.

Buch

Jean-Luc Ponty (geb. 1942)

Individual Choice (remastered) (180g)

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

LP

Antanas Jasenka (geb. 1965)

Ancient Songs

Skaidra Jancaite, Saulius Astrauskas, Ruta Tamutyte, Trys Keturiose, Antanas Jasenka, Sv. Kristoforas Chamber Orchestra, Donatas Katkus

lieferbar innerhalb 1-2 Wochen

CD

Song-Chun Zhu, Yixin 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 ab 29.9.2025.

Buch

Thomas Begin Alexandre Brandwajn
Computer Performance Modeling

This compendium gives an overview of computer performance modelling techniques and an in-depth explanation of their principles and practical applications. The book emphasizes selected approximation method…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science - Band 15954

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…

lieferbar ab 26.9.2025.

Buch

Computer Science and Education in Computer Science

This book constitutes the refereed post-conference proceedings of the 20th International Conference on Computer Science and Education in Computer Science, CSECS 2024, held in Sofia, Bulgaria, during June …

lieferbar innerhalb 2-3 Wochen

Buch

Engineering of Complex Computer Systems

Lecture Notes in Computer Science - Band 15746

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 …

lieferbar ab 3.10.2025.

Buch

Spliff

85555 (180g) (Limited Edition) (Red Vinyl)

»85555« ist das deutschsprachige Debütalbum von Spliff und präsentiert eine aufregende Mischung aus Rock, Reggae und Funk. Mit eingängigen Melodien und griffigen Texten zeigt die Band ihre Vielseitigkeit …

Artikel am Lager

LP

Albert Oehlen,
Computer Paintings

"Finishing it is then the job of the human hand."-Albert OehlenAlbert Oehlen's (b. Krefeld, 1954; lives and works between Gais, La Palma, and Los Angeles) first Computer Paintings were made with…

sofort lieferbar

Buch

Thomas Begin Alexandre Brandwajn
Computer Performance Modeling

This compendium gives an overview of computer performance modelling techniques and an in-depth explanation of their principles and practical applications. The book emphasizes selected approximation method…

lieferbar innerhalb 2-3 Wochen

Buch

Alex Cushman, Ata Elahi
Computer Networks

¿The hands-on textbook covers both the theory and applications of data communications, the Internet, and network security technology, following the ACM guideline for courses in networking. The content is …

lieferbar innerhalb 2-3 Wochen

Buch

Don Cherry (1936-1995)

Art Deco (Verve By Request) (180g)

Don Cherry vereint seine Bandkollegen Charlie Haden und Billy Higgins aus dem originalen Ornette Coleman Quartett zusammen mit dem »Teaxs Tenor«-Saxophonisten James Clay auf dieser herausragenden Session …

Artikel am Lager

LP

Computer Security - ESORICS 2024

This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16¿20,…

lieferbar innerhalb 2-3 Wochen

Buch

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