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?

Stéphane Demri
Concise Introduction to Alternating-Time Temporal Logics

Computer Science Foundations and Applied Logic

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge…

lieferbar innerhalb 2-3 Wochen

Buch

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

Manuel González Canché
Data Science, Interactive Visualizations, and Generative AI Tools for the Analysis of Qualitative, Mixed-Methods, and Multimodal Evidence

Data Science, Interactive Visualization, and Generative AI Tools for the Analysis of Qualitative Evidence empowers qualitative and mixed methods researchers in the data science movement by offering no-cod…

lieferbar ab 26.6.2026.

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

Security and Management, Wireless Networks, Software Engineering Research and Practice

Communications in Computer and Information Science

This book constitutes the proceedings of the 24th International Conference on Security and Management, SAM 2025, the 24th International Conference on Wireless Networks, ICWN 2025, and the 23rd Internation…

lieferbar ab 27.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.