Elements of the Theory of Computation
Saved in:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Bog |
| Udgivet: |
Upper Saddle River:
Prentice Hall,
c1998
|
| Udgivelse: | 2nd ed. |
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Elements of the theory of computation /
af: Lewis, Harry R
Udgivet: (1981)
af: Lewis, Harry R
Udgivet: (1981)
Elements of the theory of computation /
af: Lewis, Harry R.
Udgivet: (1989)
af: Lewis, Harry R.
Udgivet: (1989)
Elements of the theory of computation /
af: Lewis, Harry R.
Udgivet: (1989)
af: Lewis, Harry R.
Udgivet: (1989)
Elements of the theory of computation /
af: Lewis, Harry R
Udgivet: (1981)
af: Lewis, Harry R
Udgivet: (1981)
Elements of the theory of computation /
af: Lewis, Harry R.
Udgivet: (1989)
af: Lewis, Harry R.
Udgivet: (1989)
Elements of the theory of computation /
af: Lewis, Harry R
Udgivet: (1981)
af: Lewis, Harry R
Udgivet: (1981)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
af: Hopcroft, John E.
Udgivet: (1979)
af: Hopcroft, John E.
Udgivet: (1979)
Introduction to automata theory, languages, and computation /
af: Hopcroft, John E.
Udgivet: (2001)
af: Hopcroft, John E.
Udgivet: (2001)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
af: Hopcroft, John E.
Udgivet: (1979)
af: Hopcroft, John E.
Udgivet: (1979)
Introduction to automata theory, languages, and computation /
af: Hopcroft, John E.
Udgivet: (2001)
af: Hopcroft, John E.
Udgivet: (2001)
Introduction to automata theory, languages, and computation /
af: Hopcroft, John E.
Udgivet: (2001)
af: Hopcroft, John E.
Udgivet: (2001)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
af: Hopcroft, John E.
Udgivet: (1979)
af: Hopcroft, John E.
Udgivet: (1979)
An Introduction to Theory of Computation An Algorithmic Approach /
af: Ogihara, Mitsunori
Udgivet: (2025)
af: Ogihara, Mitsunori
Udgivet: (2025)
Automata Theory And Formal Languages /
af: Kandar, Shyamalendu
Udgivet: (2012)
af: Kandar, Shyamalendu
Udgivet: (2012)
Automata Theory And Formal Languages /
af: Kandar, Shyamalendu
Udgivet: (2012)
af: Kandar, Shyamalendu
Udgivet: (2012)
Automata Theory And Formal Languages /
af: Kandar, Shyamalendu
Udgivet: (2012)
af: Kandar, Shyamalendu
Udgivet: (2012)
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Udgivet: (2023)
Udgivet: (2023)
Theory of automata, formal languages and computation /
af: Xavier, Eugene S. P.
Udgivet: (2005)
af: Xavier, Eugene S. P.
Udgivet: (2005)
Theory of automata, formal languages and computation /
af: Xavier, Eugene S. P.
Udgivet: (2005)
af: Xavier, Eugene S. P.
Udgivet: (2005)
Theory of automata, formal languages and computation /
af: Xavier, Eugene S. P.
Udgivet: (2005)
af: Xavier, Eugene S. P.
Udgivet: (2005)
Formal Languages and Automata Theory /
af: Anami, Basavaraj S.
Udgivet: (2011)
af: Anami, Basavaraj S.
Udgivet: (2011)
Formal Languages and Automata Theory /
af: Anami, Basavaraj S.
Udgivet: (2011)
af: Anami, Basavaraj S.
Udgivet: (2011)
Formal Languages and Automata Theory /
af: Anami, Basavaraj S.
Udgivet: (2011)
af: Anami, Basavaraj S.
Udgivet: (2011)
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Udgivet: (2024)
Udgivet: (2024)
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Udgivet: (2024)
Udgivet: (2024)
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
af: Morazán, Marco T.
Udgivet: (2024)
af: Morazán, Marco T.
Udgivet: (2024)
Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Udgivet: (2025)
Udgivet: (2025)
Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
af: Otto, Friedrich
Udgivet: (2025)
af: Otto, Friedrich
Udgivet: (2025)
Restarting Automata Extensions and Generalizations /
af: Otto, Friedrich
Udgivet: (2025)
af: Otto, Friedrich
Udgivet: (2025)
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Udgivet: (2025)
Udgivet: (2025)
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Udgivet: (2025)
Udgivet: (2025)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
af: Hoffmann, Dirk W.
Udgivet: (2025)
af: Hoffmann, Dirk W.
Udgivet: (2025)
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Udgivet: (2024)
Udgivet: (2024)
Institution-independent Model Theory
af: Diaconescu, Răzvan
Udgivet: (2025)
af: Diaconescu, Răzvan
Udgivet: (2025)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
af: Farmer, William M.
Udgivet: (2023)
af: Farmer, William M.
Udgivet: (2023)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
af: Farmer, William M.
Udgivet: (2025)
af: Farmer, William M.
Udgivet: (2025)
Metainferential Logics
af: Pailos, Federico, et al.
Udgivet: (2023)
af: Pailos, Federico, et al.
Udgivet: (2023)
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Udgivet: (2023)
Udgivet: (2023)
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Udgivet: (2025)
Udgivet: (2025)
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Udgivet: (2024)
Udgivet: (2024)