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

    Trefferliste "Computer Science Foundations And Applied Logic" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "computer science foundations and applied logic" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Alexander Leitsch, David Michael Cerna, Anela Lolic
    First-Order Schemata and Inductive Proof Analysis

    Computer Science Foundations and Applied Logic

    Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-…

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

    Guide to Software Verification with Frama-C

    Computer Science Foundations and Applied Logic

    Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquit…

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

    African Conference on Research in Computer Science and Applied Mathematics

    Trends in Mathematics

    This volume features selected contributions from participants of the 17th African Conference on Research in Computer Science and Applied Mathematics (CARI 2024), held at the University of Béjaïa, Algeria,…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 273,80

    Cameron H Malin, Matthew Canham, Kirk Kennedy
    Synthetic Media, Deep Fakes, and Cyber Deception

    Synthetic Media, Deepfakes, and Cyber Deception: Attacks, Analysis, and Defenses introduces the only analytical Synthetic Media Analysis Framework (SMAF) to help describe cyber threats and help security p…

    lieferbar ab 1.11.2026.
    Buch
    Aktueller Preis: EUR 139,55

    Artificial Intelligence and Applications

    Communications in Computer and Information Science - Band 2252

    This book constitutes the proceedings of the 26th International Conference on Artificial Intelligence and Applications, ICAI 2024, held as part of the 2024 World Congress in Computer Science, Computer Eng…

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

    Security and Management and Wireless Networks

    Communications in Computer and Information Science - Band 2254

    This book constitutes the proceedings of the 23rd International Conference on Security and Management, SAM 2024, and the 23rd International Conference on Wireless Networks, ICWN 2024, held as part of the …

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

    Emerging Trends in Computational Biology, Biomedical Engineering, and Health Informatics

    Communications in Computer and Information Science

    This book constitutes the proceedings of the 26th International Conference on Bioinformatics and Computational Biology, BIOCOMP 2025; the 11th International Conference on Biomedical Engineering and Scienc…

    lieferbar ab 24.6.2026.
    Buch
    Aktueller Preis: EUR 111,27
    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.