Search results

Contact us

0-800-335-425 063-033-54-25

Free of charge within Ukraine

7 days a week, 09:00-20:00

Chat on site
Telegram
Viber
Call manager
Send an email

Books in foreign languages

Computing and Information Technology

Computer science

Computer science

Mathematical theory of computation

2 products

Book type

Language

Binding

Author

Cristina Sernadas

Publisher

Springer / Springer /

Series

Lecture Notes in Computer Science

Undergraduate Topics in Computer Science

Texts in Computer Science

Textbooks in Mathematics

SpringerBriefs in Computer Science

Springer Theses

Quantum Science and Technology

Chapman & Hall/CRC The Python Series

Perspectives in Formal Induction, Revision and Evolution

Theoretical Computer Science and General Issues

SpringerBriefs in Applied Sciences and Technology

Discrete Mathematics and Its Applications

Chapman & Hall/CRC Machine Learning & Pattern Recognition

Springer Monographs in Mathematics

Machine Learning: Foundations, Methodologies, and Applications

Tech Today / Tech Today /

Cognitive Technologies

Graduate Texts in Physics

Synthesis Lectures on Computer Science

Signals and Communication Technology

Chapman & Hall/CRC Data Mining and Knowledge Discovery Series

Chapman & Hall/CRC Big Data Series

Wiley Series in Computational Statistics

Advances in Applied Mathematics

Computer Science Foundations and Applied Logic

Studies in Universal Logic

Advances in Metaheuristics

Natural Computing Series

Cambridge Monographs on Applied and Computational Mathematics

Collins GCSE Grade 9-1 Revision

Memoirs of the American Mathematical Society

A Bradford Book

Springer Undergraduate Mathematics Series

Programming and Software Engineering

Undergraduate Texts in Mathematics

Springer Series in Synergetics

Theoretical and Mathematical Physics

Springer Texts in Statistics

Genetic and Evolutionary Computation

Springer Series in Statistics

Applied Computing

Synthesis Lectures on Human-Centered Informatics

SpringerBriefs in Mathematics

Synthesis Lectures on Learning, Networks, and Algorithms

Synthesis Lectures on Mathematics & Statistics

Synthesis Lectures on Distributed Computing Theory

Synthesis Lectures on Data Mining and Knowledge Discovery

Wireless Networks

UNITEXT for Physics

SpringerBriefs in Computational Intelligence

Manufacturing and Surface Engineering

Computer Communications and Networks

SpringerBriefs in Intelligent Systems

Multiple Criteria Decision Making

Statistics and Computing

Springer Series in the Data Sciences

EURO Advanced Tutorials on Operational Research

Wiley Series in Probability and Statistics

MOS-SIAM Series on Optimization

Computational Science and Engineering

Chapman & Hall/CRC Interdisciplinary Statistics

Chapman & Hall/CRC Numerical Analysis and Scientific Computing Series

Chapman and Hall/CRC Financial Mathematics Series

Chapman & Hall/CRC Cryptography and Network Security Series

Absolute Essentials of Business and Economics

Angelaki: New Work in the Theoretical Humanities

The History of Psychoanalysis Series

Chapman & Hall/CRC Computer and Information Science Series

Series in Computational Biophysics

Adaptive and Cognitive Dynamic Systems: Signal Processing, Learning, Communications and Control

Wiley Series on Parallel and Distributed Computing

Wiley Series in Microwave and Optical Engineering

Chapman & Hall/CRC Computational Science

Chapman & Hall/CRC Internet of Things

Dover Books on Computer Science

De Gruyter Series on the Applications of Mathematics in Engineering and Information Sciences

SpringerBriefs in Nonlinear Circuits

Wiley Series in Discrete Mathematics and Optimization

Computational Intelligence Techniques

Chapman & Hall/CRC Data Science Series

Chapman Hall/CRC Mathematics Series

Learning about Language

Internet of Everything IoE

Chapman & Hall/CRC Computer Science & Data Analysis

AIoT - Artificial Intelligence of Things

MIT Lincoln Laboratory Series

History of Mathematics Subseries

Adaptive Computation and Machine Learning series

Edge Question Series

Princeton Computer Science Notes

Chapman & Hall/CRC Distributed Sensing and Intelligent Systems Series

Chapman & Hall/CRC Cloud Computing for Society 5.0

Mathematical World

Optical Sciences and Applications of Light

ICT in Asset Management

CRC Press/Chapman and Hall Handbooks in Mathematics Series

Foundations and Trends® in Machine Learning

Media Philosophy

Texts in Theoretical Computer Science. An EATCS Series

The Enterprise Engineering Series

Computational Mathematics

Studies in Computational Mathematics

Annals of Discrete Mathematics

Computational Intelligence Methods and Applications

SpringerBriefs in Information Security and Cryptography

Simulation Foundations, Methods and Applications

Springer Undergraduate Texts in Philosophy

Studies in Natural Language Processing

Cambridge Texts in Applied Mathematics

London Mathematical Society Student Texts

Oxford Graduate Texts

Oxford Applied Mathematics and Computing Science Series

Pragmatic Programmers

Responsible Technology and Intelligence

Communications in Computer and Information Science

Springer Asia Pacific Mathematics Series

Studies in Universal Logic

Clear all

Mathematical theory of computation

2 products

0

0

Decidability of Logical Theories and Their Combination

Cristina Sernadas Cristina Sernadas, João Rasga

Not available

0

0

Decidability of Logical Theories and Their Combination

Cristina Sernadas Cristina Sernadas, João Rasga

Not available

Exchange your e-mail for book trends

Information on new releases, book selections, secret promo codes

0-800-335-425 063-033-54-25

Free of charge within Ukraine

7 days a week, 09:00-20:00

Chat on site
Telegram
Viber
Call manager
Send an email

Mobile application

Read and listen to books in the largest library of eBooks and audiobooks from top Ukrainian and world authors

Yakaboo

Information

© Yakaboo 2004-2026. All rights reserved