Computability and Complexity Foundations and Tools for Pursuing Scientific Applications /
The ideas and techniques comprised in the mathematical framework for understanding computation should form part of the standard background of a graduate in mathematics or computer science, as the issues of computability and complexity permeate modern science. This textbook/reference offers a straigh...
-д хадгалсан:
| Үндсэн зохиолч: | Downey, Rod (Зохиогч) |
|---|---|
| Байгууллагын зохиогч: | SpringerLink (Online service) |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Хэвлэл: | 1st ed. 2024. |
| Цуврал: | Undergraduate Topics in Computer Science,
|
| Нөхцлүүд: | |
| Онлайн хандалт: | https://doi.org/10.1007/978-3-031-53744-8 |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Ижил төстэй зүйлс
Programs as Diagrams From Categorical Computability to Computable Categories /
-н: Pavlovic, Dusko
Хэвлэсэн: (2023)
-н: Pavlovic, Dusko
Хэвлэсэн: (2023)
Algorithms for Constructing Computably Enumerable Sets
-н: Supowit, Kenneth J.
Хэвлэсэн: (2023)
-н: Supowit, Kenneth J.
Хэвлэсэн: (2023)
Chaos, Complexity, and Leadership 2023
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Principle of Petri Nets
-н: Yuan, Chongyi
Хэвлэсэн: (2025)
-н: Yuan, Chongyi
Хэвлэсэн: (2025)
An Introduction to Theory of Computation An Algorithmic Approach /
-н: Ogihara, Mitsunori
Хэвлэсэн: (2025)
-н: Ogihara, Mitsunori
Хэвлэсэн: (2025)
Complex Networks XIV Proceedings of the 14th Conference on Complex Networks, CompleNet 2023 /
Хэвлэсэн: (2023)
Хэвлэсэн: (2023)
16th Chaotic Modeling and Simulation International Conference
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
15th Chaotic Modeling and Simulation International Conference
Хэвлэсэн: (2023)
Хэвлэсэн: (2023)
Theory of automata, formal languages and computation /
-н: Xavier, Eugene S. P.
Хэвлэсэн: (2005)
-н: Xavier, Eugene S. P.
Хэвлэсэн: (2005)
Theory of automata, formal languages and computation /
-н: Xavier, Eugene S. P.
Хэвлэсэн: (2005)
-н: Xavier, Eugene S. P.
Хэвлэсэн: (2005)
Theory of automata, formal languages and computation /
-н: Xavier, Eugene S. P.
Хэвлэсэн: (2005)
-н: Xavier, Eugene S. P.
Хэвлэсэн: (2005)
Advances in Social Simulation Proceedings of the 18th Social Simulation Conference, Glasgow, UK, 4–8 September 2023 /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Advances in Social Simulation Proceedings of the 17th Social Simulation Conference, European Social Simulation Association /
Хэвлэсэн: (2023)
Хэвлэсэн: (2023)
Chaos, Fractals and Complexity
Хэвлэсэн: (2023)
Хэвлэсэн: (2023)
Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Algorithmic Aspects of Cloud Computing 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers /
Хэвлэсэн: (2023)
Хэвлэсэн: (2023)
Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2–3, 2024, Revised Selected Papers /
Хэвлэсэн: (2025)
Хэвлэсэн: (2025)
Complex Networks XV Proceedings of the 15th Conference on Complex Networks, CompleNet 2024 /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Complex Networks XVI Proceedings of the 16th Conference on Complex Networks, CompleNet 2025 /
Хэвлэсэн: (2025)
Хэвлэсэн: (2025)
Analytical Decision Making and Data Envelopment Analysis Advances and Challenges /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Sampled-data Control of Logical Networks
-н: Liu, Yang, зэрэг
Хэвлэсэн: (2023)
-н: Liu, Yang, зэрэг
Хэвлэсэн: (2023)
Complex Analysis and Dynamics in One Variable with Applications
-н: Magalhães, Luis T.
Хэвлэсэн: (2025)
-н: Magalhães, Luis T.
Хэвлэсэн: (2025)
Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9–11, 2024, Proceedings /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Elements of the Theory of Computation
-н: Lewis, Harry R.
Хэвлэсэн: (1998)
-н: Lewis, Harry R.
Хэвлэсэн: (1998)
Recurrence Plots and Their Quantifications: Methodological Breakthroughs and Interdisciplinary Discoveries Proceedings of the 10th International Symposium on Recurrence Plots, Tsukuba, Japan, 28–30 August 2023 /
Хэвлэсэн: (2025)
Хэвлэсэн: (2025)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
-н: Hopcroft, John E.
Хэвлэсэн: (1979)
-н: Hopcroft, John E.
Хэвлэсэн: (1979)
Introduction to automata theory, languages, and computation /
-н: Hopcroft, John E.
Хэвлэсэн: (2001)
-н: Hopcroft, John E.
Хэвлэсэн: (2001)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
-н: Hopcroft, John E.
Хэвлэсэн: (1979)
-н: Hopcroft, John E.
Хэвлэсэн: (1979)
Introduction to automata theory, languages, and computation /
-н: Hopcroft, John E.
Хэвлэсэн: (2001)
-н: Hopcroft, John E.
Хэвлэсэн: (2001)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
-н: Hopcroft, John E.
Хэвлэсэн: (1979)
-н: Hopcroft, John E.
Хэвлэсэн: (1979)
Introduction to automata theory, languages, and computation /
-н: Hopcroft, John E.
Хэвлэсэн: (2001)
-н: Hopcroft, John E.
Хэвлэсэн: (2001)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
-н: Farmer, William M.
Хэвлэсэн: (2023)
-н: Farmer, William M.
Хэвлэсэн: (2023)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
-н: Farmer, William M.
Хэвлэсэн: (2025)
-н: Farmer, William M.
Хэвлэсэн: (2025)
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1–5, 2024, Proceedings, Part III /
Хэвлэсэн: (2025)
Хэвлэсэн: (2025)
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1–5, 2024, Proceedings, Part I /
Хэвлэсэн: (2025)
Хэвлэсэн: (2025)
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1–5, 2024, Proceedings, Part II /
Хэвлэсэн: (2025)
Хэвлэсэн: (2025)
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part IV /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part III /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28–September 1, 2023, Proceedings, Part II /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part I /
Хэвлэсэн: (2024)
Хэвлэсэн: (2024)
Ижил төстэй зүйлс
-
Programs as Diagrams From Categorical Computability to Computable Categories /
-н: Pavlovic, Dusko
Хэвлэсэн: (2023) -
Algorithms for Constructing Computably Enumerable Sets
-н: Supowit, Kenneth J.
Хэвлэсэн: (2023) -
Chaos, Complexity, and Leadership 2023
Хэвлэсэн: (2024) -
Principle of Petri Nets
-н: Yuan, Chongyi
Хэвлэсэн: (2025) -
An Introduction to Theory of Computation An Algorithmic Approach /
-н: Ogihara, Mitsunori
Хэвлэсэн: (2025)