Search Results for MAKİNE KURAMI.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMAK$0025C4$0025B0NE$002bKURAMI.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-10-24T19:20:37ZThe theory of computationent://SD_ILS/0/SD_ILS:746142024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Moret, Bernard M.<br/>Preferred Shelf Number QA 267 M67 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical Foundations of Computer Science, 1989 : held in Porabka-Kozubnik, Poland, Aug. 28-Sept. 1, 1989 : Proceedingsent://SD_ILS/0/SD_ILS:336312024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Symposium on Mathematical Foundations of Computer Science (14th : 1989 : Porabka-Kozubnik, Poland) Kreczmar, A.,ed. Mirkowska, G., ed.<br/>Preferred Shelf Number QA 267 S42 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Formal properties of finite automata and applications : LITP Spring School on Teoretical Computer Science, Ramatuelle, France, May 23-27, 1988ent://SD_ILS/0/SD_ILS:336412024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Ecole de Printemps d'Informatique Theorique (16th : 1988 : Ramatuelle, France) Pin, J. E., ed.<br/>Preferred Shelf Number QA 267.5.S4 E26 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Information, randomness and incompleteness : papers on algorithmic information theoryent://SD_ILS/0/SD_ILS:353902024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Chaitin, Gregory J.<br/>Preferred Shelf Number QA 267 C49 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>II. Ulusal makina teorisi sempozyumu : 22-24 Eylül 1986, Orta Doğu Teknik Üniversitesi, Gaziantep.ent://SD_ILS/0/SD_ILS:336332024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Ulusal Makina Teorisi Sempozyumu (2 : 1986 : Gaziantep)<br/>Preferred Shelf Number QA 267 U8 1986<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Switching and finite automata theoryent://SD_ILS/0/SD_ILS:336462024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Kohavi, Zvi.<br/>Preferred Shelf Number QA 267.5.S4 K64 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical foundations of computer science, 1976. Proceedings,5th symposium, Gdansk, September 6-10, 1976ent://SD_ILS/0/SD_ILS:336322024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Symposium on Mathematical Foundations of Computer Science (5th : 19764 : Gdansk, Poland) Mazurkiewicz, A., ed. by<br/>Preferred Shelf Number QA 267 S93 1976<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical foundations of computer science 1975, 4th Symposium, September 1-5, 1975ent://SD_ILS/0/SD_ILS:336302024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Symposium on Mathematical Foundations of Computer Science (4th : 1975 : Marianske Lanze, Czechoslovak Republic) Becvar, J., ed.<br/>Preferred Shelf Number QA 267 S41 1975<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Discreate mathematical structures with applications to computer scienceent://SD_ILS/0/SD_ILS:345152024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Tremblay, Jean Paul. Manohar, R., ort. yaz.<br/>Preferred Shelf Number QA 39.2 T72 1975<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical foundations of computer science : 3rd. symposium, June 17 22, 1974ent://SD_ILS/0/SD_ILS:703242024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Symposium on Mathematical Foundations of Computer Science (3d : 1974 : Jadwisin, Poland) Blikle, A., ed.<br/>Preferred Shelf Number QA 267 S4 1974<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to the theory of computationent://SD_ILS/0/SD_ILS:279612024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Engeler, Erwin.<br/>Preferred Shelf Number QA 267.5.S4 E53 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Automation theory and modeling of biological systemsent://SD_ILS/0/SD_ILS:312812024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Tsetlin, Mikhail L'vovich, 1924-1966.<br/>Preferred Shelf Number Q 320 T7613 1973<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Introduction to discrete structures for computer science and engineeringent://SD_ILS/0/SD_ILS:326812024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Preparata, Franco P. Yeh, Raymond T., ort. yaz.<br/>Preferred Shelf Number QA 162 P7 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Currents in the theory of computingent://SD_ILS/0/SD_ILS:336382024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Aho, Alfred V., ed.<br/>Preferred Shelf Number QA 267.5.S4 A33 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Design methods for digital systemsent://SD_ILS/0/SD_ILS:445622024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Chinal, Jean.<br/>Preferred Shelf Number QA 268.5 C5213 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Initiation mathematique aux grammaires formellesent://SD_ILS/0/SD_ILS:336352024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Hughes, Michel.<br/>Preferred Shelf Number QA 267.3 H8 1972<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Automata theory : machines and languagesent://SD_ILS/0/SD_ILS:353922024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Kain, Richard Y.<br/>Preferred Shelf Number QA 267 K35 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:336472024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Aiserman, Mark A.<br/>Preferred Shelf Number QA 267.5.S4 L613 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to probabilistic automataent://SD_ILS/0/SD_ILS:336482024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Paz, Azaria.<br/>Preferred Shelf Number QA 267.5.S4 P3 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of machines and computations : proceedingsent://SD_ILS/0/SD_ILS:445642024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor International symposium on the Theory of Machines and Computations (1971 : Technion, Haifa) Kohavi, Zvi, ed. Paz, Azaria, ed.<br/>Preferred Shelf Number QA 266 I58 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Essays on cellular automataent://SD_ILS/0/SD_ILS:336402024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Burks, Arthur Walter, 1915- comp.<br/>Preferred Shelf Number QA 267.5.S4 B87 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Switching and finite automata theoryent://SD_ILS/0/SD_ILS:336452024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Kohavi, Zvi,<br/>Preferred Shelf Number QA 267.5.S4 K64 1970<br/>Format: Books<br/>Availability Beytepe Library~3<br/>Simulation of a production control system.ent://SD_ILS/0/SD_ILS:703192024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Auburn University.<br/>Preferred Shelf Number TS 157 A92 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Topics in mathematical system theoryent://SD_ILS/0/SD_ILS:388672024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Kalman, Rudolf Emil, 1930- Falb, P. L., ort. yaz. Arbib, M. A., ort. yaz.<br/>Preferred Shelf Number QA 402 K32 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of automataent://SD_ILS/0/SD_ILS:336492024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Salomaa, Arto.<br/>Preferred Shelf Number QA 267.5.S4 S3 1969<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Theories of abstract automataent://SD_ILS/0/SD_ILS:353892024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Arbib, Michael A.<br/>Preferred Shelf Number QA 267 A72 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Formal languages and their relation to automataent://SD_ILS/0/SD_ILS:709292024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Hopcroft, John E., 1939- Ullman, Jeffrey D., ort. yaz.<br/>Preferred Shelf Number QA 267.3 H6 1969<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Sequential machines and automata theoryent://SD_ILS/0/SD_ILS:336392024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Booth, Taylor L.<br/>Preferred Shelf Number QA 267.5.S4 B6 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Computation : finite and infinite machinesent://SD_ILS/0/SD_ILS:353932024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Minsky, Marvin Lee, 1927-<br/>Preferred Shelf Number QA 267 M55 1967<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Algebraic structure theory of sequential machinesent://SD_ILS/0/SD_ILS:336432024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Hartmanis, J. Stearns, R. E., ort. yaz.<br/>Preferred Shelf Number QA 267.5.S4 H3 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to the theory of finite automataent://SD_ILS/0/SD_ILS:336442024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Kobrinskii, N. E. Trakhtenbrot, B. A., ort. yaz.<br/>Preferred Shelf Number QA 267.5.S4 K613 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to switching and automata theoryent://SD_ILS/0/SD_ILS:388272024-10-24T19:20:37Z2024-10-24T19:20:37ZAuthor Harrison, Michael A.<br/>Preferred Shelf Number QA 401 H33 1965<br/>Format: Books<br/>Availability Beytepe Library~2<br/>