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?

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

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

Chapter 1 Introduction.- Chapter 2 Answers to Readers' Questions.- Chapter 3 Preliminary Concepts.- Chapter 4 Syntax.- Chapter 5 Semantics.- Chapter 6 Additional Notation.- Chapter 7 Beta-reduction and Su…

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

Luis Enrique Sucar
Causal Discovery

Computer Science Foundations and Applied Logic

02 This book presents an overview of causal discovery, an emergent field with important developments in the last few years, and multiple applications in several fields.The book is divided into three parts…

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

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

Guillermo Badia, John N Crossley, John C Stillwell, Christopher J Ash
What Is Mathematical Logic?

Mathematical logic has grown into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable…

lieferbar innerhalb 1-2 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

Paul J Nahin
The Delicate Art of Brute Force

Using everyday computational power to tackle complex---and seemingly unsolvable---math problemsConfronted by a math problem of seemingly impenetrable difficulty, what can you do? In The Delicate Art of Br…

lieferbar innerhalb 1-2 Wochen

Buch

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods

This book constitutes the proceedings of the 20th International Conference on Grid, Cloud, and Cluster Computing, GCC 2024, the Third International Conference on Quantum Technologies, ICEQT 2024, and the …

lieferbar innerhalb 2-3 Wochen

Buch

Data Science

This book constitutes the proceedings of the 20th International Conference on Data Science, ICDATA 2024, held as part of the 2024 World Congress in Computer Science, Computer Engineering and Applied Compu…

lieferbar innerhalb 2-3 Wochen

Buch

Security and Management and Wireless Networks

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

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering

This book constitutes the proceedings of the 28th International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2024, and the 23rd International Conference on Information an…

lieferbar innerhalb 2-3 Wochen

Buch

Applied Cognitive Computing and Artificial Intelligence

This book constitutes the proceedings of the 8th International Conference on Applied Cognitive Computing, ACC 2024, and the 26th International Conference on Artificial Intelligence, ICAI 2024, held as par…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government

This book constitutes the proceedings of the 22nd International Conference on Software Engineering Research and Practice, SERP 2024, and the 23rd International Conference on e-Learning, e-Business, Enterp…

lieferbar innerhalb 2-3 Wochen

Buch

Health Informatics and Medical Systems and Biomedical Engineering

This book constitutes the proceedings of the 10th International Conference on Health Informatics and Medical Systems and the 10th International Conference on Biomedical Engineering, BIOENG 2024, held as p…

lieferbar innerhalb 2-3 Wochen

Buch

Cole Nussbaumer Knaflic
Storytelling with Data

International bestseller with over half a million copies sold!Celebrate a decade of data storytelling with this special 10th anniversary edition of Storytelling with Data. Featuring refreshed visuals, exp…

lieferbar innerhalb einer Woche

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.