Your search returned 16 results.

Not what you expected? Check for suggestions
Sort
Results
The theory of computation / Bernard M. Moret. by
Language: İngilizce Publisher: Reading, Mass. : Addison-Wesley, c1998
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 .M67 1998.

Automata, logics, and infinite games / Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.). by Series: Lecture notes in computer science ; 2500
Language: İngilizce Publisher: Berlin ; New York : Springer, 2002
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.M35 A85 2002.

Finite automata / Mark V. Lawson. by
Language: İngilizce Publisher: Boca Raton : Chapman & Hall/CRC, c2004
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 .L37 2003.

Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by
Edition: 2nd ed.
Language: İngilizce Publisher: Upper Saddle River, N.J. : Prentice-Hall, c1998
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 .L49 1998.

Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp. by
Edition: 3rd ed.
Language: İngilizce Publisher: Boston : Pearson Addison-Wesley, c2006
Other title:
  • Introduction to the theory of computer science : languages and machines.
Availability: Items available for loan: Merkez Kütüphane (2)Collection, call number: Genel Koleksiyon QA267.3 .S83 2006, ...

Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. by
Edition: 2nd ed.
Language: İngilizce Publisher: Upper Saddle River : Pearson Education International, c2003
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 .H67 2003.

Classical and quantum computation / A. Yu. Kitaev, A.H. Shen, M.N. Vyalyi ; [translated from the Russian by LesterJ. Senechal]. by Series: Graduate studies in mathematics ; v. 47
Language: İngilizce Original language: Russian Publisher: Providence, R.I. : American Mathematical Society, c2002
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 .K57 2002.

Introducing the theory of computation / Wayne Goddard. by
Language: İngilizce Publisher: Sudbury, Mass. : Jones and Bartlett Publishers, c2008
Availability: Items available for loan: Merkez Kütüphane (3)Collection, call number: Genel Koleksiyon QA267 .G63 2008, ...

Introduction to the theory of computation / Michael Sipser. by
Edition: 2nd ed.,ınt ed.
Language: İngilizce Publisher: Boston : Course Technology, c2006
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 .S57 2006.

Topics in mathematical system theory / [by] R. E. Kalman, P. L. Falb, M. A. Arbib. by Series: International series in pure and applied mathematics
Language: İngilizce Publisher: New York : McGraw-Hill, 1969
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA402 .K32 1969.

Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. by
Edition: 3rd edition
Language: İngilizce Publisher: Boston: Addison-Wesley, 2006
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 . H67 2006.

Türkiye Robotbilim Konferansı, ToRK 2016 : bildiriler kitabı, 2-3 Kasım 2016 - İstanbul / editörler Savaş Dilibal, Erol Şahin, Haydar Şahin, Sinan Kalkan, Sanem Sarıel. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Türkçe Publisher: İstanbul : İstanbul Gedik Üniversitesi Yayını, 2017
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon TJ 211 T87 2017.

Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman. by Series: Addison-Wesley series in computer science and information processing
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: Reading, Mass. : Addison-Wesley Pub. Co., 1969
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267.3 :H67 1969.

Monotonicity in Logic and Language [electronic resource] : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl. by Series: Theoretical Computer Science and General Issues ; 12564
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook
Online resources:
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Pages
Devinim Yazılım Eğitim Danışmanlık tarafından Koha'nın orjinal sürümü uyarlanarak geliştirilip kurulmuştur.