Cơ sở lý thuyết tính toán =

क्यूआर कोड

Cơ sở lý thuyết tính toán = Introduction to automata theory, languages, and computation

अन्य संस्करण दिखाएं (2)

Sách trình bày những cơ sở toán học cho các quá trình tính toán dựa trên mô hình máy Turing

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Hopcroft, J.
स्वरूप:	पुस्तक
भाषा:	Undetermined
प्रकाशित:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
विषय:	Toán học,Machine theory,Formal languages,Computational complexity
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

समान संसाधन

Elements of the theory of computation /
द्वारा: Lewis, Harry R.
प्रकाशित: (1998)

An introduction to formal languages and machine computation /
द्वारा: Yan, Song Y.
प्रकाशित: (1998)

Introduction to automata theory, language, and computation
द्वारा: Hopcroft, John E.
प्रकाशित: (2007)

Algorithmic information theory
द्वारा: Chaitin, Gregory J.
प्रकाशित: (2004)

Information, randomness & incompleteness : papers on algorithmic information theory /
द्वारा: Chaitin, Gregory J.
प्रकाशित: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
द्वारा: Chaitin, Gregory J.
प्रकाशित: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
द्वारा: Chaitin, Gregory J.
प्रकाशित: (1987)

Tin học lý thuyết
द्वारा: Võ, Huỳnh Trâm
प्रकाशित: (2009)

Semigroups, algorithms, automata, and languages :
प्रकाशित: (2002)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
प्रकाशित: (2002)

Teaching Formal Methods
प्रकाशित: (2020)

Frontiers of Combining Systems
द्वारा: Konev, Boris, और अन्य
प्रकाशित: (2020)

Finite Model Theory and Its Applications
द्वारा: Grädel, Erich, और अन्य
प्रकाशित: (2020)

Frontiers of Combining Systems
द्वारा: Gramlich, Bernhard
प्रकाशित: (2020)

Frontiers of Combining Systems
प्रकाशित: (2020)

Pillars of Computer Science
द्वारा: Avron, Arnon, और अन्य
प्रकाशित: (2020)

Fuzzy Systems and Knowledge Discovery
द्वारा: Wang, Lipo, और अन्य
प्रकाशित: (2020)

Computer Science Logic
प्रकाशित: (2020)

Theorem Proving in Higher Order Logics
द्वारा: Schneider, Klaus, और अन्य
प्रकाशित: (2020)

Computability, complexity, and languages :
द्वारा: Davis, Martin
प्रकाशित: (1994)

Introducing the theory of computation
द्वारा: Goddard, Wayne
प्रकाशित: (2008)

Graph Theory, Computational Intelligence and Thought
प्रकाशित: (2020)

Machine Learning: ECML 2007
द्वारा: Kok, Joost N., और अन्य
प्रकाशित: (2020)

Theory and Applications of Satisfiability Testing
द्वारा: Hoos, Holger H., और अन्य
प्रकाशित: (2020)

Natural Language Processing – IJCNLP 2005
द्वारा: Dale, Robert, और अन्य
प्रकाशित: (2020)

Theory and Applications of Satisfiability Testing
प्रकाशित: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
द्वारा: Butler, Michael, और अन्य
प्रकाशित: (2020)

KI 2017: Advances in Artificial Intelligence
द्वारा: Kern-Isberner, Gabriele, और अन्य
प्रकाशित: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
द्वारा: Marques-Silva, Joao, और अन्य
प्रकाशित: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
प्रकाशित: (2020)

Lý thuyết Automat và ngôn ngữ hình thức
प्रकाशित: (2002)

Theory and Applications of Models of Computation. 1st ed. 2017
द्वारा: Gopal, T.V., और अन्य
प्रकाशित: (2020)

Problem solving in automata, languages, and complexity
द्वारा: Ding-zhu Du
प्रकाशित: (2001)

Robustness and Usability in Modern Design Flows
द्वारा: Fey, Görschwin, और अन्य
प्रकाशित: (2020)

Logic and Its Applications
द्वारा: Khan, Md. Aquil, और अन्य
प्रकाशित: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
द्वारा: Kennedy, Juliette, और अन्य
प्रकाशित: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
द्वारा: Sichman, Jaime Simao, और अन्य
प्रकाशित: (2020)

Language and Automata Theory and Applications
द्वारा: Martín-Vide, Carlos, और अन्य
प्रकाशित: (2020)

An Introduction to Formal Languages and Automata (Photo) /
द्वारा: Linz Peter
प्रकाशित: (1990)

Proceedings of the workshop semigroups and languages
प्रकाशित: (2004)