Computer Science Foundations And Applied Logic – alle Bücher

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

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

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

Stephane 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 ab 19.4.2026.

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

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

Research in Computer Science

Communications in Computer and Information Science - Band 2462

This book constitutes the refereed proceedings of the 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, in Bejaïa, Algeria, in November 23-26, 2024.The 25 full pa…

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

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

Scientific Computing and Bioinformatics and Computational Biology

Communications in Computer and Information Science - Band 2258

This book constitutes the proceedings of the 22nd International Conference on Scientific Computing and Bioinformatics, CSC 2024, and the 25th International Conference on Computational Biology, BIOCOMP 202…

lieferbar innerhalb 2-3 Wochen

Buch

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

Communications in Computer and Information Science - Band 2262

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

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

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications

Communications in Computer and Information Science - Band 2260

This book constitutes the proceedings of the 25th International Conference on Internet Computing and IoT, ICOMP 2024, and the 22nd International Conference on Embedded Systems, Cyber-physical Systems, and…

lieferbar innerhalb 2-3 Wochen

Buch

Health Informatics and Medical Systems and Biomedical Engineering

Communications in Computer and Information Science - Band 2259

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

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

Communications in Computer and Information Science - Band 2263

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

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…

sofort lieferbar

Buch