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

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

Renata Burbait¿, Vytautas ¿Tuikys
Evolution of STEM-Driven Computer Science Education

The book discusses the evolution of STEM-driven Computer Science (CS) Education based on three categories of Big Concepts, Smart Education (Pedagogy), Technology (tools and adequate processes) and Content…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Vision & Laser Vibrometry, Volume 6

Computer Vision & Laser Vibrometry, Volume 6: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the sixth volume of ten from the Conference brings together contri…

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

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

Arfan Ghani
Innovations in Computer Vision and Data Classification

This book delves into the dynamic realm of data classification, focusing on its real-world applications. Through an insightful journey, readers are introduced to the practical applications of reconfigurab…

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

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

Embedded Computer Systems: Architectures, Modeling, and Simulation

The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Vision & Laser Vibrometry, Vol. 6

Computer Vision & Laser Vibrometry, Volume 6: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the sixth volume of ten from the Conference brings together contri…

lieferbar innerhalb 2-3 Wochen

Buch

Beyond the Computer Metaphor of Mind and Brain

This book explores groundbreaking scientific perspectives on mind and brain, challenging traditional models that view cognition solely through the lens of computation. Featuring contributions from leading…

lieferbar ab 28.2.2026.

Buch

International Conference on Cloud Computing and Computer Networks

This book covers selected and presented papers of CCCN 2023, the International Conference on Cloud Computing and Computer Network which was held in Singapore April 21-23, 2023. CCCN 2023 provides a premie…

lieferbar innerhalb 2-3 Wochen

Buch

Embedded Computer Systems: Architectures, Modeling, and Simulation

The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in…

lieferbar innerhalb 2-3 Wochen

Buch

Beyond the Computer Metaphor of Mind and Brain

This book explores groundbreaking scientific perspectives on mind and brain, challenging traditional models that view cognition solely through the lens of computation. Featuring contributions from leading…

lieferbar ab 28.2.2026.

Buch

IEA International Computer and Information Literacy Study 2023

This open access book presents the conceptual and operational foundations of theIEA International Computer and Information Literacy Study (2023), which is designedto assess how well students are prepared …

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence and Brain-Computer Interfaces in Healthcare

Artificial Intelligence and BCIs in Healthcare discusses the essentials of state-of-the-art brain signal analysis, AI, and BCIs available today. This book is an ideal bridge of these emerging technologies…

lieferbar ab 1.3.2026.

Buch

Saha
Algorithms for Smart World Technologies: A Compreh ensive Guide to Applications in AI, IoT and Automa tion for Electrical and Computer Engineers

Enables readers to learn how to design and implement algorithms for efficient and secure smart technologies Algorithms for Smart World Technologies explains the fundamentals of key algorithms and their ap…

lieferbar ab 31.12.2025.

Buch

Junbo Zhao (Assistant Professor, Department of Electrical and Computer Engineering, University of Connecticut, USA), Marcos Netto (Assistant Professor at the New Jersey Institute of Technology, Newark, USA.), Lamine Mili (Professor of Electrical and Computer Engineering, Virginia Tech, Falls Church, VA, USA)
Zhao, J: Robust Dynamic State Estimation of Power Systems

Robust Dynamic State Estimation of Power Systems demonstrates how to implement and apply robust dynamic state estimators to problems in modern power systems, thereby bridging the literatures of dynamic st…

lieferbar in mind. 4 Wochen

Buch

Robin Piedeleu, Fabio Zanasi
An Introduction to String Diagrams for Computer Scientists

This text provides an accessible introduction to string diagrams from the perspective of computer science. Rather than starting from categorical concepts, the authors draw on intuitions from formal langua…

lieferbar innerhalb 2-3 Wochen

Buch

Robin Piedeleu, Fabio Zanasi
An Introduction to String Diagrams for Computer Scientists

This text provides an accessible introduction to string diagrams from the perspective of computer science. Rather than starting from categorical concepts, the authors draw on intuitions from formal langua…

lieferbar innerhalb 2-3 Wochen

Buch