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

Faridoddin Shariaty, Sanjiban Sekhar Roy
MATLAB® for Brain-Computer Interface Systems

The book extensively explores Brain-Computer Interfaces (BCIs), emphasizing both the theoretical foundations and practical applications within this rapidly advancing field. It provides a thorough coverage…

lieferbar ab 16.10.2026.

Buch

Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops

Lecture Notes in Computer Science

This book constitutes the proceedings of the Workshops held in conjunction with the 45th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2026, which took place in Valencia…

lieferbar ab 6.10.2026.

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

Computer Vision, Pattern Recognition, Image Processing, and Graphics

Communications in Computer and Information Science - Band 2685

.- A Lightweight System for Attention-based Night-time Traffic Accident Detection..- Blind Spot Aware and Speed-Sensitive Emergency Vehicle Detection Using YOLO and Faster R-CNN Synergy..- Explainable Par…

lieferbar innerhalb 2-3 Wochen

Buch

Anonymous
The Art of Human-Computer Interface Design

Reprint of the original, first published in 1873. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Islom Mamatov, Mohammad Gouse Galety, Arul Kumar Natarajan
Hands-On Computer Networks and AI-Driven Cybersecurity

This book provides a structured, practical exploration of modern computer networking concepts and the transformative role of artificial intelligence in cybersecurity. This book begins by introducing the f…

lieferbar innerhalb 2-3 Wochen

Buch

Christos Troussas, Akrivi Krouska, Cleo Sgouropoulou
Human-Computer Interaction and Augmented Intelligence

Cognitive Systems Monographs - Band 34

This book explores the transformative roles of human-computer interaction (HCI) and augmented intelligence (AI) in shaping intelligent systems. HCI focuses on designing interactive systems that enhance hu…

lieferbar innerhalb 2-3 Wochen

Buch

Computer-Aided Drug Design in Modern Drug Discovery

Computer-Aided Drug Design in Modern Drug Discovery offers an in-depth exploration of CADD, featuring real-world case studies and practical examples that empower researchers to effectively harness this te…

lieferbar innerhalb 1-2 Wochen

Buch

Nancy C. Muir,
Computer für Senioren für Dummies

Wie bringe ich den Computer zum Arbeiten? Was sind eigentlich Apps? Ist das Internet sicher? Nancy Muir erklärt Ihnen, wie ein Computer funktioniert und wie Sie Drucker & Co. zum Laufen bringen. Sie e…

sofort lieferbar

Buch

AI and Innovation in Human-Computer Interaction

The convergence of artificial intelligence (AI) and human-computer interaction (HCI) has revolutionized our technological landscape. This book explores the ties between AI and HCI, tracing its historical …

Erscheint bald

Buch

Integrated Computer Technologies in Mechanical Engineering - 2025

Lecture Notes in Networks and Systems - Band 1918

This book covers areas such as information technology in engine design and production; information technology in the creation of rocket and space systems; aerospace engineering; transport systems and logi…

lieferbar innerhalb 2-3 Wochen

Buch

Integrated Computer Technologies in Mechanical Engineering - 2025

Lecture Notes in Networks and Systems - Band 1919

This book covers areas such as information technology in engine design and production; information technology in the creation of rocket and space systems; aerospace engineering; transport systems and logi…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Interactive Computer Systems. EICS 2025 International Workshops

Lecture Notes in Computer Science - Band 16511

This book constitutes revised selected papers from the workshops held in conjunction with EICS 2025 and it contains This book presents a series of revised papers selected from the Workshops and Doctoral C…

lieferbar innerhalb 2-3 Wochen

Buch

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, c…

lieferbar ab 9.1.2027.

Buch

Computer-Based Diagnostics and Systematic Analysis of Knowledge

Advances in Analytics for Learning and Teaching

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, Muhammad Hammad, Hassan Ali
Computer Aided Engineering Design and Manufacturing

Springer Series in Advanced 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

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 innerhalb 2-3 Wochen

Buch

Advances in Computer Science and Ubiquitous Computing

Lecture Notes in Electrical Engineering - Band 1416

This book presents the combined proceedings of the 16th International Conference on Computer Science and its Applications (CSA 2024) in Pattaya, Thailand, December 18--20, 2024. The aim of this meeting wa…

lieferbar innerhalb 2-3 Wochen

Buch

C. Prakash, P. Nagabhushanam, R. G. Panneerselvam
Computer-Aided Figured Graph Designing for Jacquard Weaving

Computer-aided figured graph designing (CAFGD) has become essential for the electronic jacquard weaving sector. This book explains the common principles of CAFGD for jacquard weaving, including systematic…

lieferbar in mind. 4 Wochen

Buch

Innovations in Computational Intelligence and Computer Vision

Lecture Notes in Networks and Systems - Band 1786

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 innerhalb 2-3 Wochen

Buch

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