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

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…

lieferbar innerhalb 2-3 Wochen

Buch

Hans Bodmer
The OTHER Computer History

The author tells his experiences from the early days of computer science until 2004. At that time when it was not recognized what a gigantic transformation it will bring to the history of humanity. The ma…

lieferbar innerhalb 2-3 Wochen

Buch

Rock für den Frieden, ein Lied für die Menschen

Rock für den Frieden, »Ein Lied für die Menschen« 4 CDs und eine DVD mit ausgewählten Mitschnitten aus dem Palast der Republik. Die Sehnsucht nach Frieden ist von jeher ein Menschheitstraum. Deshalb wa…

lieferbar innerhalb einer Woche

4 CDs, DVD

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

Clive Gifford,
Computer Kids: Being Healthy Online

A fun first series explaining to young readers how they can be healthy online

lieferbar in mind. 4 Wochen

Buch

Michel Dubois, Murali Annavaram, Per Stenström
Parallel Computer Organization and Design

Teaching fundamental design concepts and the challenges of emerging technology, this textbook prepares students for a career designing the computer systems of the future. Self-contained yet concise, the m…

lieferbar innerhalb 2-3 Wochen

Buch

Madrugada

Chimes At Midnight (180g)

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

lieferbar in mind. 4 Wochen

2 LPs

Joseph Migga Kizza
Guide to Computer Network Security

This timely textbook presents a comprehensive guide to the core topics in computing and information security and assurance realms, going beyond the security of networks to the ubiquitous mobile communicat…

lieferbar innerhalb 2-3 Wochen

Buch

Frontiers of Computer Science and Information Technology

This book presents a collection of papers from the 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology, held in Barcelona, Spain, from September 20-22, 2024. It offers a co…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Vision - ECCV 2024 Workshops

The multi-volume set LNCS 15623 until LNCS 15646 constitutes the proceedings of the workshops that were held in conjunction with the 18th European Conference on Computer Vision, ECCV 2024, which took plac…

sofort lieferbar

Buch

Spliff

Spliff Remix (180g) (Limited Edition) (Clear Vinyl)

Zum 35jährigen Jubiläum der „Spliff Remix“ und zum Abschluss unserer Spliff Legacy Kampagne gibt es jetzt auch die Remixe noch ein letztes Mal auf transparentem 180g Vinyl.

Artikel am Lager

Single 12"

Engineering of Complex Computer Systems

.- Machine Learning for Complex Systems..- Runtime Anomaly Detection for Drones: An Integrated Rule Mining and Unsupervised Learning Approach..- FinPTA: An Effective Model for Financial Sentiment Analysis…

sofort lieferbar

Buch

Modeling, Simulation and Computer Technology

.- A Secure and Energy-Efficient IoT Protocol for Smart Cities Using Fuzzy Logic and Blockchain Technology..- Building a secure enterprise network: a blueprint for SDP and SDN Integration..- A Comparative…

sofort lieferbar

Buch

Computer Vision - ECCV 2024 Workshops

The multi-volume set LNCS 15623 until LNCS 15646 constitutes the proceedings of the workshops that were held in conjunction with the 18th European Conference on Computer Vision, ECCV 2024, which took plac…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Vision - ECCV 2024 Workshops

The multi-volume set LNCS 15623 until LNCS 15646 constitutes the proceedings of the workshops that were held in conjunction with the 18th European Conference on Computer Vision, ECCV 2024, which took plac…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Vision - ECCV 2024 Workshops

The multi-volume set LNCS 15623 until LNCS 15646 constitutes the proceedings of the workshops that were held in conjunction with the 18th European Conference on Computer Vision, ECCV 2024, which took plac…

lieferbar innerhalb 2-3 Wochen

Buch

Clive Gifford,
Computer Kids: Having Fun Online

A fun first series introducing readers to life online.The online world offers great opportunities for having fun online, from gaming with friends to learning how to paint your own masterpiece! Find out th…

lieferbar in mind. 4 Wochen

Buch