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:

    Joseph Weizenbaum,
    Die Macht der Computer und die Ohnmacht der Vernunft

    suhrkamp taschenbücher wissenschaft - Band 274

    Weizenbaum will uns vor der Hybris der Naturwissenschaften warnen. Er fordert dazu auf, Wissenschaft und Technik rational einzusetzen, statt sie zu mystifizieren - und er tut dies mit viel Temperament. In…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 23,00

    Mogens Christensen (geb. 1955)
    Elektronische Musik

    Ensemble Contemporanea

    Artikel am Lager
    CD
     
    Vorheriger Preis EUR 7,99, reduziert um 37%
    Aktueller Preis: EUR 4,99

    7th EAI International Conference on Computer Science and Engineering in Health Services

    This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Computer Science and Engineering in Health Services (COMPSE 2023), which took place November 16-17…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Kraftwerk
    The Mix (German Version) (2009 remastered) (180g) (Spezial Edition) (White Vinyl)

    »The Mix« besteht aus einer Anzahl von Liedern, die bereits früher erschienen waren und hier neu arrangiert und neu aufgenommen wurden. Eine englische Version erschien zusätzlich mit englischsprachigen Te…

    Artikel am Lager
    2 LPs
     
    Vorheriger Preis EUR 38,99, reduziert um 15%
    Aktueller Preis: EUR 32,99

    Tom Jackson
    Computer Science

    Here is the essential guide to computers, an authoritative reference book and timeline about the most powerful tools ever devised. Computing has been the sharp end of cutting-edge technology for a generat…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 23,42

    Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems

    This book constitutes the refereed proceedings of the 7th International Conference on Computer, Communication, and Signal Processing, ICCCSP 2023, held in Chennai, India, during January 4¿6, 2023, in hybr…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 120,46

    Subrata Dasgupta
    Computer Science

    While the development of Information Technology has been obvious to all, the underpinning computer science has been less apparent. Subrata Dasgupta provides a thought-provoking introduction to the field a…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 12,96

    Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering

    This book constitutes the proceedings of the 20th International Conference on Foundations of Computer Science, FCS 2024, and the 20th International Conference on Frontiers in Education, FECS 2024, held as…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 98,56

    Dharini Balasubramaniam,
    Click, Connect, Compute: Smart Machines

    Smart machine fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

    lieferbar ab 27.11.2025.
    Buch
    Aktueller Preis: EUR 13,83

    Dharini Balasubramaniam,
    Click, Connect, Compute: Smart Machines

    Smart machine fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 17,55

    Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications

    This book features a diverse collection of high-quality papers covering the latest advancements in Artificial Intelligence and its Applications, Cybersecurity, Software Engineering, Emergent Technologies,…

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

    Kraftwerk
    The Mix

    »The Mix« besteht aus einer Anzahl von Liedern, die bereits früher erschienen waren und hier neu arrangiert und neu aufgenommen wurden. Eine englische Version erschien zusätzlich mit englischsprachigen Te…

    lieferbar innerhalb 1-2 Wochen
    CD
    Aktueller Preis: EUR 21,99

    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 24.2.2026.
    Buch
    Aktueller Preis: EUR 156,13

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

    The Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023) focuses on "Innovations in Industrial Engineering and Robotics in Industry - Br…

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

    Artificial General-Internet of Things (AG-IoT) for Robotics: Advanced Computer Vision Applications and Future Trends

    This book delves into the next generation of robotics, where the fusion of AGI with IoT networks brings unprecedented capabilities to machines, allowing them to think, adapt, and collaborate in ways previ…

    lieferbar ab 10.11.2025.
    Buch
    Aktueller Preis: EUR 219,03

    Igor Schagaev
    Resilience of Computer Systems

    This book, now in its second edition, presents a paradigm for designing new-generation resilient and evolving computer systems. Book includes key concepts, supporting theory, methods of analysis, and the …

    lieferbar ab 1.10.2025.
    Buch
    Aktueller Preis: EUR 79,99

    Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

    This book provides a wide collection of the recent studies triggering innovative ways to advance computer science and computational applications. The collection enables readers to understand more about te…

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

    Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

    This book provides a wide collection of the recent studies triggering innovative ways to advance computer science and computational applications. The collection enables readers to understand more about te…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Robert Plantz
    Introduction to Computer Organization: Arm

    See How the Magic Happens Built with ARM A64 Assembly LanguageThe ARM edition of Introduction to Computer Organization will show you how high-level code connects to computer hardware through ARM 64-bit as…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 45,46

    Dharini Balasubramaniam,
    Click, Connect, Compute: Computer Science Essentials

    Computer science fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!

    lieferbar ab 27.11.2025.
    Buch
    Aktueller Preis: EUR 13,83
    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.