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

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

Computer-Human Interaction Research and Applications

This two-volume set, CCIS 2370 and CCIS 2371, constitutes the proceedings of the 8th International Conference on Computer-Human Interaction Research and Applications, CHIRA 2024, held Porto, Portugal, dur…

lieferbar innerhalb 2-3 Wochen

Buch

Diana Franklin, Paul Denny, David A. Gonzalez-Maldonado
Generative AI in Computer Science Education

In this Element, the authors explore both the opportunities and the challenges for computer science education resulting from the widespread availability of generative AI.

lieferbar innerhalb 2-3 Wochen

Buch

The Princeton Review
Princeton Review AP Computer Science A Premium Prep, 9th Edition

Random House Children's Books

PREMIUM PRACTICE FOR A PERFECT 5! Ace the newly-digital AP Computer Science A Exam with this comprehensive study guide---including 5 practice tests with answer explanations, timed online practice, and tho…

lieferbar in mind. 4 Wochen

Buch

Human-Computer Interaction. Design and Research

This two-volume proceedings, set CCIS 2337-2338, constitutes of the proceedings of 15th Indian Conference on Human-Computer Interaction Design and Research, IndiaHCI 2024, held in Mumbai, India, during No…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Applications in Industry and Engineering

This book constitutes the proceedings of the 37th International Conference on Computer Applications in Industry and Engineering, CAINE 2024, which took place in San Diego, USA, in October 2024.The 17 full…

lieferbar innerhalb 2-3 Wochen

Buch

Luiz Andre Barroso, Parthasarathy Ranganathan, Urs Holzle
The Data Center as a Computer

Warehouse-scale computers (WSCs) power cloud computing and all the great web services we use daily, including recent advancements in Artificial Intelligence/Machine Learning (AI/ML). This book examines ho…

lieferbar ab 14.10.2025.

Buch

Kraftwerk

Computerwelt (remastered) (180g)

Das achte Studioalbum der Band wurde zwischen 1978 und 1981 im Kling-Klang-Studio in Düsseldorf aufgenommen. Veröffentlicht wurde es als deutsche, französische, englische und japanische Version. »Comput…

Artikel am Lager

LP

Future Perspectives on Human-Computer Interaction Research

This edited book provides some future perspectives on Human-Computer Interaction research and serves as a crucial nexus for reflecting on the paths that have led us here. Technologies are increasingly bec…

lieferbar innerhalb 2-3 Wochen

Buch

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering

This book constitutes the proceedings of the 28th International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2024, and the 23rd International Conference on Information an…

lieferbar innerhalb 2-3 Wochen

Buch

Computer-Based Diagnostics and Systematic Analysis of Knowledge

This volume explores the rapidly advancing field of technology-supported knowledge assessment. Across academia, research on learning and instruction, AI-based analysis, psychology, and education, there is…

lieferbar innerhalb 2-3 Wochen

Buch

Wasim Ahmed Khan, Volkan Esat, Rashid Ali, Hassan Ali
Computer Aided Engineering Design and Manufacturing

This text introduces the modern concepts relevant to system engineering design and manufacturing from a 4th Industrial Revolution perspective.The book surveys the current status and cutting edge in Comput…

lieferbar innerhalb 2-3 Wochen

Buch

Wan Muhamad Saridan Wan Hassan
Physics-Problems, Solutions, and Computer Calculations

Knowledge of and skill in physics are essential foundations for studies in science and engineering. This book offers students an introduction to the basic concepts and principles of physics. It covers var…

lieferbar innerhalb 2-3 Wochen

Buch

Innovations in Computational Intelligence and Computer Vision

Lecture Notes in Networks and Systems - Band 1699

This book presents a selection of high-quality research papers accepted for presentation at the Fifth International Conference on Innovations in Computational Intelligence and Computer Vision (ICICV 2025)…

lieferbar ab 22.2.2026.

Buch

Computer-Aided and Machine Learning-Driven Drug Design

The computer-aided drug design research field comprises several different knowledge areas, and often, researchers are only familiar or experienced with a small fraction of them. Indeed, pharmaceutical ind…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Security. ESORICS 2024 International Workshops

This two-volume set LNCS 15263 and LNCS 15264 constitutes the refereed proceedings of eleven International Workshops which were held in conjunction with the 29th European Symposium on Research in Computer…

lieferbar innerhalb 2-3 Wochen

Buch

Michael Bolinga
And if the computer were a man

this book explores a fascinating and inevitable question in the digital age: to what extent can machines imitate, replace or even surpass human intellectual and decision-making capacities? We live in a ti…

lieferbar innerhalb 2-3 Wochen

Buch

2nd International Congress of Electrical and Computer Engineering

This proceedings presents the papers included in the 2nd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 22-25 November 2023. The conference …

lieferbar innerhalb 2-3 Wochen

Buch

William W. Cohen, Charles K. Cohen
A Computer Scientist's Guide to Cell Biology

Unlike the structured world of computer science, biology is complex, evolving, and often lacks clean abstract models. This book aims to serve as a guide for computer scientists who need to understand cell…

lieferbar innerhalb 2-3 Wochen

Buch