Computer Science Foundations And Applied Logic – alle Bücher

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, c…

lieferbar ab 21.10.2026.

Buch

Evgeny Kagan, Alexander Rybalov, Ronald Yager
Multi-valued Logic for Decision-Making Under Uncertainty

Computer Science Foundations and Applied Logic

Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements.Th…

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

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

Mathematics and Logics in Computer Science

Algorithms for Intelligent Systems

This book presents high-quality research papers presented at the International Conference on Mathematics and Logics in Computer Science (ICMLCS 2025) held at Allenhouse Institute of Technology, Kanpur, In…

lieferbar innerhalb 2-3 Wochen

Buch

Mathematics and Logics in Computer Science

Algorithms for Intelligent Systems

This book presents high-quality research papers presented at International Conference on Mathematics and Logics in Computer Science (ICMLCS 2024) held at Allenhouse Institute of Technology, Kanpur, India,…

lieferbar innerhalb 2-3 Wochen

Buch

Data Science: Foundations and Applications

Lecture Notes in Computer Science - Band 16618

The two-volume set LNAI 16617-16618 constitutes the proceedings of the 30th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2026 Special Session, held in Hong Kong, China, during Jun…

lieferbar innerhalb 2-3 Wochen

Buch

Data Science: Foundations and Applications

Lecture Notes in Computer Science - Band 16617

The two-volume set LNAI 16617-16618 constitutes the proceedings of the 30th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2026 Special Session, held in Hong Kong, China, during Jun…

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

Fatwa Ramdani
Data Science: Foundations and Hands-on Experience

This book will take readers from foundational concepts to practical applications, enabling them to transform raw data into meaningful insights. It covers key skills such as data collection, cleaning, orga…

lieferbar innerhalb 2-3 Wochen

Buch

Gabriel Kronberger, Bogdan Burlacu, Michael Kommenda
Symbolic Regression

Symbolic regression (SR) is one of the most powerful machine learning techniques that produces transparent models, searching the space of mathematical expressions for a model that represents the relations…

lieferbar innerhalb 1-2 Wochen

Buch

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

Too many qualitative and mixed-methods researchers are currently being asked to make an impossible choice: either remain outside the world of advanced data science and artificial intelligence, or enter it…

lieferbar innerhalb 1-2 Wochen

Buch

Michael Joseph McCarron
Dark Control

In the following we examine the rise of Artificial Intelligence (AI) in our everyday lives, as it becomes ubiquitous to oursociety, from the perspective of security and failure. What happens when the glam…

lieferbar ab 21.10.2026.

Buch

Cat Hicks
The Psychology of Software Teams

To build the future, we need new ways of supporting software teams. This book will give you a secret weapon: the psychology that creates resilience for developers, sustainable practices for software teams…

lieferbar innerhalb 1-2 Wochen

Buch

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

Communications in Computer and Information Science - Band 2935

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

Buch

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

Communications in Computer and Information Science - Band 2939

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

Buch

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

Communications in Computer and Information Science - Band 2937

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

Buch

Applied Cognitive Computing and Artificial Intelligence

Communications in Computer and Information Science - Band 2933

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

Buch

Emerging Trends in Scientific Computing and Theoretical Computer Science

Communications in Computer and Information Science - Band 2936

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

Buch

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