0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    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:

    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

    Mathematics and Computer Science for Real-World Applications, Volume 4

    Mathematics and Computer Science for Real-World Applications gives invaluable insights into how mathematical and computer sciences drive essential modern innovations that enhance everyday life, making it …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 291,11

    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 delves into the relationship between artificial intelligence, technology education, and computer science intersect with sustainable business practices. This book discovers the transformative pot…

    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 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

    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 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 107,32

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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.