Kapak Resmi

Elements of the Theory of Computation

Diğer sürümleri göster (6)

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Lewis, Harry R.
Diğer Yazarlar:	Papadimitriou, Christos H.
Materyal Türü:	Kitap
Baskı/Yayın Bilgisi:	Upper Saddle River: Prentice Hall, c1998
Edisyon:	2nd ed.
Konular:	Machine theory Computational complexity Formal languages
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Elements of the theory of computation /
Yazar:: Lewis, Harry R
Baskı/Yayın Bilgisi: (1981)

Elements of the theory of computation /
Yazar:: Lewis, Harry R.
Baskı/Yayın Bilgisi: (1989)

Elements of the theory of computation /
Yazar:: Lewis, Harry R.
Baskı/Yayın Bilgisi: (1989)

Elements of the theory of computation /
Yazar:: Lewis, Harry R
Baskı/Yayın Bilgisi: (1981)

Elements of the theory of computation /
Yazar:: Lewis, Harry R
Baskı/Yayın Bilgisi: (1981)

Elements of the theory of computation /
Yazar:: Lewis, Harry R.
Baskı/Yayın Bilgisi: (1989)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Yazar:: Hopcroft, John E.
Baskı/Yayın Bilgisi: (1979)

Introduction to automata theory, languages, and computation /
Yazar:: Hopcroft, John E.
Baskı/Yayın Bilgisi: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Yazar:: Hopcroft, John E.
Baskı/Yayın Bilgisi: (1979)

Introduction to automata theory, languages, and computation /
Yazar:: Hopcroft, John E.
Baskı/Yayın Bilgisi: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Yazar:: Hopcroft, John E.
Baskı/Yayın Bilgisi: (1979)

Introduction to automata theory, languages, and computation /
Yazar:: Hopcroft, John E.
Baskı/Yayın Bilgisi: (2001)

An Introduction to Theory of Computation An Algorithmic Approach /
Yazar:: Ogihara, Mitsunori
Baskı/Yayın Bilgisi: (2025)

Automata Theory And Formal Languages /
Yazar:: Kandar, Shyamalendu
Baskı/Yayın Bilgisi: (2012)

Automata Theory And Formal Languages /
Yazar:: Kandar, Shyamalendu
Baskı/Yayın Bilgisi: (2012)

Automata Theory And Formal Languages /
Yazar:: Kandar, Shyamalendu
Baskı/Yayın Bilgisi: (2012)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Theory of automata, formal languages and computation /
Yazar:: Xavier, Eugene S. P.
Baskı/Yayın Bilgisi: (2005)

Theory of automata, formal languages and computation /
Yazar:: Xavier, Eugene S. P.
Baskı/Yayın Bilgisi: (2005)

Theory of automata, formal languages and computation /
Yazar:: Xavier, Eugene S. P.
Baskı/Yayın Bilgisi: (2005)

Formal Languages and Automata Theory /
Yazar:: Anami, Basavaraj S.
Baskı/Yayın Bilgisi: (2011)

Formal Languages and Automata Theory /
Yazar:: Anami, Basavaraj S.
Baskı/Yayın Bilgisi: (2011)

Formal Languages and Automata Theory /
Yazar:: Anami, Basavaraj S.
Baskı/Yayın Bilgisi: (2011)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Baskı/Yayın Bilgisi: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Baskı/Yayın Bilgisi: (2024)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
Yazar:: Morazán, Marco T.
Baskı/Yayın Bilgisi: (2024)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2025)

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
Yazar:: Otto, Friedrich
Baskı/Yayın Bilgisi: (2025)

Restarting Automata Extensions and Generalizations /
Yazar:: Otto, Friedrich
Baskı/Yayın Bilgisi: (2025)

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Baskı/Yayın Bilgisi: (2025)

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Baskı/Yayın Bilgisi: (2025)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Yazar:: Hoffmann, Dirk W.
Baskı/Yayın Bilgisi: (2025)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Baskı/Yayın Bilgisi: (2024)

Institution-independent Model Theory
Yazar:: Diaconescu, Răzvan
Baskı/Yayın Bilgisi: (2025)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
Yazar:: Farmer, William M.
Baskı/Yayın Bilgisi: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
Yazar:: Farmer, William M.
Baskı/Yayın Bilgisi: (2025)

Metainferential Logics
Yazar:: Pailos, Federico, ve diğerleri
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2024)