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

Computer Security - ESORICS 2025

Lecture Notes in Computer Science - Band 16054

.- A Certified-Input Mixnet from Two-Party Mercurial Signatures on Randomizable Ciphertexts. .- Tetris! Traceable Extendable Threshold Ring Signatures and More. .- Efficient One-Pass Private Set Intersect…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Security - ESORICS 2025

Lecture Notes in Computer Science - Band 16053

.- Time-Distributed Backdoor Attacks on Federated Spiking Learning. .- TATA: Benchmark NIDS Test Sets Assessment and Targeted Augmentation. .- Abuse-Resistant Evaluation of AI-as-a-Service via Function-Hi…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computer Graphics

Lecture Notes in Computer Science

The three-volume set LNCS 16507, 16508 and 16509 constitutes the refereed proceedings from the 42nd Computer Graphics International Conference, CGI 2025, held in Hong Kong, China, during July 14--18, 2025…

lieferbar ab 19.4.2026.

Buch

Advances in Computer Graphics

Lecture Notes in Computer Science

The three-volume set LNCS 16507, 16508 and 16509 constitutes the refereed proceedings from the 42nd Computer Graphics International Conference, CGI 2025, held in Hong Kong, China, during July 14--18, 2025…

lieferbar ab 19.4.2026.

Buch

Advances in Computer Graphics

Lecture Notes in Computer Science

The three-volume set LNCS 16507, 16508 and 16509 constitutes the refereed proceedings from the 42nd Computer Graphics International Conference, CGI 2025, held in Hong Kong, China, during July 14--18, 2025…

lieferbar ab 19.4.2026.

Buch

Research in Computer Science

Communications in Computer and Information Science - Band 2462

This book constitutes the refereed proceedings of the 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, in Bejaïa, Algeria, in November 23-26, 2024.The 25 full pa…

lieferbar innerhalb 2-3 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!Data, Big and Small delves into the detai…

lieferbar in mind. 4 Wochen

Buch

Eric G. Swedin, David L. Ferro
The Computer

This book, aimed at general readers, covers the entirety of computing history from antiquity to the present, placing the story of computing into the broader context of politics, economics, society, and mo…

lieferbar innerhalb 2-3 Wochen

Buch

Brandwajn Alexandre
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

Brandwajn Alexandre
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

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

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

Human-Computer Interaction

Lecture Notes in Computer Science - Band 15771

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…

lieferbar innerhalb 2-3 Wochen

Buch

Human-Computer Interaction

Lecture Notes in Computer Science - Band 15772

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…

lieferbar innerhalb 2-3 Wochen

Buch

Human-Computer Interaction

Lecture Notes in Computer Science - Band 15768

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…

lieferbar innerhalb 2-3 Wochen

Buch

Human-Computer Interaction

Lecture Notes in Computer Science - Band 15767

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…

lieferbar innerhalb 2-3 Wochen

Buch

Human-Computer Interaction

Communications in Computer and Information Science - Band 2332

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…

lieferbar innerhalb 2-3 Wochen

Buch

Human-Computer Interaction

Lecture Notes in Computer Science - Band 15766

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…

lieferbar innerhalb 2-3 Wochen

Buch

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

Human-Computer Interaction

Lecture Notes in Computer Science - Band 15769

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…

lieferbar innerhalb 2-3 Wochen

Buch