Elements of the Theory of Computation
שמור ב:
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| פורמט: | ספר |
| יצא לאור: |
Upper Saddle River:
Prentice Hall,
c1998
|
| מהדורה: | 2nd ed. |
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
Elements of the theory of computation /
מאת: Lewis, Harry R
יצא לאור: (1981)
מאת: Lewis, Harry R
יצא לאור: (1981)
Elements of the theory of computation /
מאת: Lewis, Harry R.
יצא לאור: (1989)
מאת: Lewis, Harry R.
יצא לאור: (1989)
Elements of the theory of computation /
מאת: Lewis, Harry R.
יצא לאור: (1989)
מאת: Lewis, Harry R.
יצא לאור: (1989)
Elements of the theory of computation /
מאת: Lewis, Harry R
יצא לאור: (1981)
מאת: Lewis, Harry R
יצא לאור: (1981)
Elements of the theory of computation /
מאת: Lewis, Harry R
יצא לאור: (1981)
מאת: Lewis, Harry R
יצא לאור: (1981)
Elements of the theory of computation /
מאת: Lewis, Harry R.
יצא לאור: (1989)
מאת: Lewis, Harry R.
יצא לאור: (1989)
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)
An Introduction to Theory of Computation An Algorithmic Approach /
מאת: Ogihara, Mitsunori
יצא לאור: (2025)
מאת: Ogihara, Mitsunori
יצא לאור: (2025)
Automata Theory And Formal Languages /
מאת: Kandar, Shyamalendu
יצא לאור: (2012)
מאת: Kandar, Shyamalendu
יצא לאור: (2012)
Automata Theory And Formal Languages /
מאת: Kandar, Shyamalendu
יצא לאור: (2012)
מאת: Kandar, Shyamalendu
יצא לאור: (2012)
Automata Theory And Formal Languages /
מאת: Kandar, Shyamalendu
יצא לאור: (2012)
מאת: Kandar, Shyamalendu
יצא לאור: (2012)
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
יצא לאור: (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)
Formal Languages and Automata Theory /
מאת: Anami, Basavaraj S.
יצא לאור: (2011)
מאת: Anami, Basavaraj S.
יצא לאור: (2011)
Formal Languages and Automata Theory /
מאת: Anami, Basavaraj S.
יצא לאור: (2011)
מאת: Anami, Basavaraj S.
יצא לאור: (2011)
Formal Languages and Automata Theory /
מאת: Anami, Basavaraj S.
יצא לאור: (2011)
מאת: Anami, Basavaraj S.
יצא לאור: (2011)
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
יצא לאור: (2024)
יצא לאור: (2024)
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
יצא לאור: (2024)
יצא לאור: (2024)
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
מאת: Morazán, Marco T.
יצא לאור: (2024)
מאת: Morazán, Marco T.
יצא לאור: (2024)
Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
יצא לאור: (2025)
יצא לאור: (2025)
Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
מאת: Otto, Friedrich
יצא לאור: (2025)
מאת: Otto, Friedrich
יצא לאור: (2025)
Restarting Automata Extensions and Generalizations /
מאת: Otto, Friedrich
יצא לאור: (2025)
מאת: Otto, Friedrich
יצא לאור: (2025)
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
יצא לאור: (2025)
יצא לאור: (2025)
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
יצא לאור: (2025)
יצא לאור: (2025)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
מאת: Hoffmann, Dirk W.
יצא לאור: (2025)
מאת: Hoffmann, Dirk W.
יצא לאור: (2025)
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
יצא לאור: (2024)
יצא לאור: (2024)
Institution-independent Model Theory
מאת: Diaconescu, Răzvan
יצא לאור: (2025)
מאת: Diaconescu, Răzvan
יצא לאור: (2025)
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)
Metainferential Logics
מאת: Pailos, Federico, et al.
יצא לאור: (2023)
מאת: Pailos, Federico, et al.
יצא לאור: (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 /
יצא לאור: (2023)
יצא לאור: (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 /
יצא לאור: (2025)
יצא לאור: (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 /
יצא לאור: (2024)
יצא לאור: (2024)