Refine your search
Availability
-
Authors
- Arbib, Michael A.
- Ban Kirigin, Tajana
- Goldstein, Martin
- Hopcroft, John E.
- Kalkan, Sinan
- Kalman, R. E.
- Kitaev, A. Yu
- Kudriavtsev, V. B.
- Kuznetsov, Stepan
- Lawson, Mark V.
- Moret, B. M. E.
- Motwani, Rajeev
- Nigam, Vivek
- Rosenberg, I. G.
- Sipser, Michael
- Talcott, Carolyn
- Ullman, Jeffrey D.
- Westerståhl, Dag
- Wilke, Thomas
- Şahin, Haydar
- Show more
- Show less
-
Collections
-
Holding libraries
-
Home libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra, Universal
- Artificial Intellige...
- Artificial intellige...
- Biçimsel diller
- Computational comple...
- Computer Engineering...
- Computer science
- Computer Science Log...
- Formal languages
- Formal Languages and...
- Hesaplama karmaşıklı...
- Logic programming
- Logic, Symbolic and ...
- Machine theory
- Makine teorisi
- Semigroup algebras
- Sistem analizi
- Software engineering
- Software Engineering
- Show more
- Show less