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

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Computer-AidedVerification" finden. Könnten diese Produkte zu Ihrer Suche passen?

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

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

Integrated Computer Technologies in Mechanical Engineering - 2024

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

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

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

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

Handbook of Intelligent Automation Systems Using Computer Vision and Artificial Intelligence

The book is essential for anyone seeking to understand and leverage the transformative power of intelligent automation technologies, providing crucial insights into current trends, challenges, and effecti…

lieferbar ab 3.9.2025.

Buch

Mathematical Models and Computer Simulations for Biomedical Applications

Mathematical modelling and computer simulations are playing a crucial role in the solution of the complex problems arising in the field of biomedical sciences and provide a support to clinical and experim…

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 Science and Engineering in Health Services

This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference Computer on Science and Engineering in Health Services (COMPSE 2022), which took place in Mexico City…

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

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

Current Problems of Applied Mathematics and Computer Systems

Lecture Notes in Networks and Systems - Band 1585

This book based on the best papers accepted for presentation during the International Conference on Current Problems of Applied Mathematics and Computer Systems (CPAMCS-2024), Russia. This book includes r…

lieferbar ab 5.10.2025.

Buch

Marcus Stephen Edwards
An Introduction to Quantum Computing for Computer Engineers

This book focuses on topics within quantum computing that will give a student or practitioner of computer engineering a solid but not exhaustive understanding of the ideas that are foundational to how a q…

lieferbar ab 19.10.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

Computer Vision in Smart Agriculture and Crop Management

This book is essential for anyone interested in understanding how smart agriculture, utilizing information and technology such as computer vision and deep learning, can revolutionize agriculture productiv…

lieferbar innerhalb 2-3 Wochen

Buch

Metaheuristics and Optimization in Computer and Electrical Engineering

This book discusses different methods of modifying the original metaheuristics and their application in computer and electrical engineering. As the race to develop advanced technology accelerates, a new e…

lieferbar innerhalb 2-3 Wochen

Buch

Verification and Evaluation of Computer and Communication Systems

This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during Octobe…

lieferbar innerhalb 2-3 Wochen

Buch

Current Problems of Applied Mathematics and Computer Systems

This book is based on the best papers accepted for presentation during the International Conference on Current Problems of Applied Mathematics and Computer Systems (APAMCS-2023). The book includes researc…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.