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?

Ansicht:

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024

The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrake…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 107,32

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024

The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrake…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 107,32

Lih-Yuan Deng, Ching-Chi Yang, Henry Horng-Shing Lu, Nirman Kumar
Random Number Generators for Computer Simulation and Cyber Security

This book discusses the theory and practice of random number generators that are useful for computer simulation and computer security applications. Random numbers are ubiquitous in computation. They are u…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 42,66

Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023)

This volume serves as both a record of current knowledge and a testament to the ongoing commitment to excellence in research within these fields. It stands as an invaluable resource for researchers, pract…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

Achieving Sustainable Business Through AI, Technology Education and Computer Science

This book focuses on the symbiotic relationship between sustainable practices and cutting-edge AI technologies, offering insights into how businesses can thrive in a rapidly evolving landscape. This book …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 251,89

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024

The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrake…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 116,09

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024

The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrake…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 197,13

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024

The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrake…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 107,32

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024

The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrake…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 107,32

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

This two-volume set LNCS 15368-15369 constitutes the refereed proceedings of the 27th Iberoamerican Congress on Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, CIARP 20…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

This two-volume set LNCS 15368-15369 constitutes the refereed proceedings of the 27th Iberoamerican Congress on Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, CIARP 20…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

Andrzej Handkiewicz
Methods and Tools for Computer-Aided Design of Multidimensional Filters in Signal Processing

Understand and apply the tools of computer-aided design to analog signal processingSignal processing is done mostly with digital circuits, but because the signals generated by our environment are themselv…

lieferbar innerhalb 1-2 Wochen
Buch
Aktueller Preis: EUR 148,39

Internet of Vehicles and Computer Vision Solutions for Smart City Transformations

This book compiles recent research endeavors at the intersection of computer vision (CV) and deep learning for Internet of Vehicles (IoV) applications, which are pivotal in shaping the landscape of smart …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

Probability and Statistical Models in Operations Research, Computer and Management Sciences

This book explores the convergence of stochastic modeling, reliability tools, and the quest for solutions in an era of globalized challenges. The tools have become only more important in the unforeseen em…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 186,19

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024 Workshops

This book constitutes the proceedings from the workshops held at the 27th International conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrakesh…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium

This book presents a series of revised papers selected from the Doctoral Consortium (DC) and the Workshops organized in conjunction with the 15th ACM SIGCHI Symposium on Engineering Interactive Computing …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

Tudor Barbu
Digital Image Processing, Analysis and Computer Vision Using Nonlinear Partial Differential Equations

This book provides an overview of the applications of partial differential equations (PDEs) to image processing, analysis, and computer vision domains, focusing mainly on the most important contributions …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

Artificial Intelligence in E-Health Framework, Volume 1

Artificial Intelligence in e-health Framework, Volume One: AI, Classification, Wearable Devices, and Computer-Aided Diagnosis presents a variety of AI techniques and applications for solving issues in the…

lieferbar innerhalb 1-2 Wochen
Buch
Aktueller Preis: EUR 214,07

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28¿30, 20…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 54,75

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024 Workshops

This book constitutes the proceedings from the workshops LDTM 2024, MMMI/ML4MHD 2024, and ML-CDS 2024 which were held in conjunction with the 27th International Conference on Medical Image Computing and C…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51
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.