შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

Mathematical Theory of Computation

Main
Mathematics
Mathematical Theory of Computation

Mathematical Theory of Computation

Zohar Manna

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

ტომი:

chapter 1

წელი:

2003

გამომცემლობა:

Dover Publications

ენა:

english

გვერდები:

73

ISBN 10:

0486432386

ISBN 13:

9780486432380

ფაილი:

PDF, 15.09 MB

IPFS:

,

english, 2003

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

— 3D Game Programming

Zohar Manna — Mathematical Theory of Computation

Chin-Liang Chang, Richard Char-Tung Lee — Symbolic Logic and Mechanical Theorem Proving

Harry R. Lewis, Christos H. Papadimitriou — Elements of the Theory of Computation (2nd Edition)

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled — Model checking

Hartley Rogers — Theory of Recursive Functions and Effective Computability

Zohar Manna, Amir Pnueli — The Temporal Logic of Reactive and Concurrent Systems: Specification

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Martin Davis — Computability and Unsolvability

Nigel Cutland — Computability: an Introduction to Recursive Function Theory

Zohar Manna — Lectures on the Logic of Computer Programming

Zohar Manna, Amir Pnueli — Temporal Verification of Reactive Systems: Safety

David H. Eberly — 3D Game Engine Design: A Practical Approach to Real-Time Computer Graphics

Dexter C. Kozen — Theory of Computation.

Thomas A. Sudkamp — Languages and Machines: An Introduction to the Theory of Computer Science (2nd Edition)

Critchlow C., Eck D. — Foundations of computation

Carol Critchlow, David Eck — Foundations of Computation

F. D. Lewis — Essentials of Theoretical Computer Science

Sanchit Jain — Theory of Computation - Gate Lecture Notes

F. D. Lewis — Essentials of Theoretical Computer Science

F. D. Lewis — Essentials of Theoretical Computer Science

F. D. Lewis — Essentials of Theoretical Computer Science

F. D. Lewis — Essentials of Theoretical Computer Science

F. D. Lewis — Essentials of Theoretical Computer Science

F. D. Lewis — Essentials of Theoretical Computer Science

F. D. Lewis — Essentials of Theoretical Computer Science

Charles D. Allison — Foundations of Computing An Accessible Introduction to Automata and Formal Languages

Anil Maheshwari, Michiel Smid — Introduction to Theory of Computation

Władysław Homenda, Witold Pedrycz — Automata Theory and Formal Languages

unknown — 1. Theory of Computation.pmd

Anil Maheshwari, Michiel Smid — Introduction to Theory of Computation

Dexter C. Kozen — Automata and Computability

Hopcroft J.E., Ullman J.D. — Formal languages and their relation to automata

Hopcroft J.E., Ullman J.D. — Formal languages and their relation to automata

Carol Critchlow, David Eck — Foundations of Computation, Second edition

Kumar — Theory of Automata Languages and Computation

Harry Lewis, Christos H. Papadimitriou — Elements of the Theory of Computation

John Carroll, Darrell Long — Theory of finite automata: with an introduction to formal languages

R. Gregory Taylor — Models of Computation and Formal Languages

John E. Hopcroft, Jeffrey D. Ullman — Introduction to automata theory, languages, and computation

Thomas A. Sudkamp — Languages and Machines: An Introduction to the Theory of Computer Science

Dexter Kozen — Automata and Computability

საკვანძო ფრაზები

დაკავშირებული კოლექციები