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?

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

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

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

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

Applied Cognitive Computing and Artificial Intelligence

Communications in Computer and Information Science

This book constitutes the proceedings of the 27th International Conference on Artificial Intelligence, ICAI 2025, and the 9th International Conference on Applied Cognitive Computing, ACC 2025. They were h…

lieferbar ab 23.6.2026.

Buch

Emerging Trends in Scientific Computing and Theoretical Computer Science

Communications in Computer and Information Science

This book constitutes the proceedings of the 23rd International Conference on Scientific Computing, CSC 2025, and the 21st International Conference on Foundations of Computer Science, FCS 2025. They were …

lieferbar ab 27.5.2026.

Buch

Emerging Trends in Data Science, Information and Knowledge Engineering

Communications in Computer and Information Science

This book constitutes the proceedings of the 21st International Conference on Data Science, ICDATA 2025, and the 24th International Conference on Information and Knowledge Engineering, IKE 2025. They were…

lieferbar ab 5.6.2026.

Buch

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

Buch

Frontiers in Education, e-Learning, e-Business, Image Processing, and Computer Vision

Communications in Computer and Information Science

This book constitutes the proceedings of the 21st International Conference on Frontiers in Education, FECS 2025, and the 24th International Conference on e-Learning, e-Business, Enterprise Information Sys…

lieferbar ab 3.6.2026.

Buch

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.