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:

    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
    Aktueller Preis: EUR 175,23

    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
    Aktueller Preis: EUR 63,51

    Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops

    This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    2nd International Conference on Cloud Computing and Computer Networks

    The book consists of peer reviewed and presented papers of the 2nd International Conference on Cloud Computing and Computer Network (CCCN 2024), which took place in Singapore during April 19-21, 2024. The…

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

    Kalaimani S., Suvetha L.
    A Text Book of Fundamentals of Computer Application

    This text book provides a fundamental concept of computer with a scope that is manageable for instructors and students alike, with this; it is my pleasure to write a brief foreword to this wonderful prepa…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 47,36

    Computer Methods in Biomechanics and Biomedical Engineering II

    This book gathers selected, extended and revised contributions to the 18th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, held on May 3-5, 2023, at Arts Et Métiers…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 175,23

    Scale Space and Variational Methods in Computer Vision

    The two-volume set LNCS 15667 and 15668 constitutes the proceedings of the 10th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2025, which took place in Dartingto…

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

    Advances in Computer Science for Engineering and Education VII

    The book contains high-quality refereed research papers presented at the 7th International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2024), which took place in Kyiv, …

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

    Scale Space and Variational Methods in Computer Vision

    The two-volume set LNCS 15667 and 15668 constitutes the proceedings of the 10th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2025, which took place in Dartingto…

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

    Engineering Interactive Computer Systems. EICS 2024 International Workshops

    This book presents a series of revised papers selected from the Workshops organized in conjunction with the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) which was hel…

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

    South African Computer Science and Information Systems Research Trends

    This book contains a selection of the best papers of the 46th Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2025, held in Durban, South Afr…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 93,08

    Proof Assistants and Their Applications in Mathematics and Computer Science

    Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computeriz…

    lieferbar ab 12.1.2026.
    Buch
    Aktueller Preis: EUR 96,31

    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

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

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