Arama Sonuçları MAKİNE KURAMI.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMAK$0025C4$0025B0NE$002bKURAMI.$0026ps$003d300?dt=list2026-06-04T16:08:33ZThe theory of computationent://SD_ILS/0/SD_ILS:746142026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Moret, Bernard M.<br/>Yer Numarası QA 267 M67 1998<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical Foundations of Computer Science, 1989 : held in Porabka-Kozubnik, Poland, Aug. 28-Sept. 1, 1989 : Proceedingsent://SD_ILS/0/SD_ILS:336312026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Symposium on Mathematical Foundations of Computer Science (14th : 1989 : Porabka-Kozubnik, Poland) Kreczmar, A.,ed. Mirkowska, G., ed.<br/>Yer Numarası QA 267 S42 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~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:336412026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Ecole de Printemps d'Informatique Theorique (16th : 1988 : Ramatuelle, France) Pin, J. E., ed.<br/>Yer Numarası QA 267.5.S4 E26 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Information, randomness and incompleteness : papers on algorithmic information theoryent://SD_ILS/0/SD_ILS:353902026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Chaitin, Gregory J.<br/>Yer Numarası QA 267 C49 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>II. Ulusal makina teorisi sempozyumu : 22-24 Eylül 1986, Orta Doğu Teknik Üniversitesi, Gaziantep.ent://SD_ILS/0/SD_ILS:336332026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Ulusal Makina Teorisi Sempozyumu (2 : 1986 : Gaziantep)<br/>Yer Numarası QA 267 U8 1986<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Switching and finite automata theoryent://SD_ILS/0/SD_ILS:336462026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Kohavi, Zvi.<br/>Yer Numarası QA 267.5.S4 K64 1978<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical foundations of computer science, 1976. Proceedings,5th symposium, Gdansk, September 6-10, 1976ent://SD_ILS/0/SD_ILS:336322026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Symposium on Mathematical Foundations of Computer Science (5th : 19764 : Gdansk, Poland) Mazurkiewicz, A., ed. by<br/>Yer Numarası QA 267 S93 1976<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical foundations of computer science 1975, 4th Symposium, September 1-5, 1975ent://SD_ILS/0/SD_ILS:336302026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Symposium on Mathematical Foundations of Computer Science (4th : 1975 : Marianske Lanze, Czechoslovak Republic) Becvar, J., ed.<br/>Yer Numarası QA 267 S41 1975<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Discreate mathematical structures with applications to computer scienceent://SD_ILS/0/SD_ILS:345152026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Tremblay, Jean Paul. Manohar, R., ort. yaz.<br/>Yer Numarası QA 39.2 T72 1975<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical foundations of computer science : 3rd. symposium, June 17 22, 1974ent://SD_ILS/0/SD_ILS:703242026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Symposium on Mathematical Foundations of Computer Science (3d : 1974 : Jadwisin, Poland) Blikle, A., ed.<br/>Yer Numarası QA 267 S4 1974<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Design methods for digital systemsent://SD_ILS/0/SD_ILS:445622026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Chinal, Jean.<br/>Yer Numarası QA 268.5 C5213 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Automation theory and modeling of biological systemsent://SD_ILS/0/SD_ILS:312812026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Tsetlin, Mikhail L'vovich, 1924-1966.<br/>Yer Numarası Q 320 T7613 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Currents in the theory of computingent://SD_ILS/0/SD_ILS:336382026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Aho, Alfred V., ed.<br/>Yer Numarası QA 267.5.S4 A33 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to discrete structures for computer science and engineeringent://SD_ILS/0/SD_ILS:326812026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Preparata, Franco P. Yeh, Raymond T., ort. yaz.<br/>Yer Numarası QA 162 P7 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to the theory of computationent://SD_ILS/0/SD_ILS:279612026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Engeler, Erwin.<br/>Yer Numarası QA 267.5.S4 E53 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Initiation mathematique aux grammaires formellesent://SD_ILS/0/SD_ILS:336352026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Hughes, Michel.<br/>Yer Numarası QA 267.3 H8 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Automata theory : machines and languagesent://SD_ILS/0/SD_ILS:353922026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Kain, Richard Y.<br/>Yer Numarası QA 267 K35 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Theory of machines and computations : proceedingsent://SD_ILS/0/SD_ILS:445642026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar International symposium on the Theory of Machines and Computations (1971 : Technion, Haifa) Kohavi, Zvi, ed. Paz, Azaria, ed.<br/>Yer Numarası QA 266 I58 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:336472026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Aiserman, Mark A.<br/>Yer Numarası QA 267.5.S4 L613 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to probabilistic automataent://SD_ILS/0/SD_ILS:336482026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Paz, Azaria.<br/>Yer Numarası QA 267.5.S4 P3 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Essays on cellular automataent://SD_ILS/0/SD_ILS:336402026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Burks, Arthur Walter, 1915- comp.<br/>Yer Numarası QA 267.5.S4 B87 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Switching and finite automata theoryent://SD_ILS/0/SD_ILS:336452026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Kohavi, Zvi,<br/>Yer Numarası QA 267.5.S4 K64 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Simulation of a production control system.ent://SD_ILS/0/SD_ILS:703192026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Auburn University.<br/>Yer Numarası TS 157 A92 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal languages and their relation to automataent://SD_ILS/0/SD_ILS:709292026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Hopcroft, John E., 1939- Ullman, Jeffrey D., ort. yaz.<br/>Yer Numarası QA 267.3 H6 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Theory of automataent://SD_ILS/0/SD_ILS:336492026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Salomaa, Arto.<br/>Yer Numarası QA 267.5.S4 S3 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Topics in mathematical system theoryent://SD_ILS/0/SD_ILS:388672026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Kalman, Rudolf Emil, 1930- Falb, P. L., ort. yaz. Arbib, M. A., ort. yaz.<br/>Yer Numarası QA 402 K32 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Theories of abstract automataent://SD_ILS/0/SD_ILS:353892026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Arbib, Michael A.<br/>Yer Numarası QA 267 A72 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Sequential machines and automata theoryent://SD_ILS/0/SD_ILS:336392026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Booth, Taylor L.<br/>Yer Numarası QA 267.5.S4 B6 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Computation : finite and infinite machinesent://SD_ILS/0/SD_ILS:353932026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Minsky, Marvin Lee, 1927-<br/>Yer Numarası QA 267 M55 1967<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Algebraic structure theory of sequential machinesent://SD_ILS/0/SD_ILS:336432026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Hartmanis, J. Stearns, R. E., ort. yaz.<br/>Yer Numarası QA 267.5.S4 H3 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to the theory of finite automataent://SD_ILS/0/SD_ILS:336442026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Kobrinskii, N. E. Trakhtenbrot, B. A., ort. yaz.<br/>Yer Numarası QA 267.5.S4 K613 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to switching and automata theoryent://SD_ILS/0/SD_ILS:388272026-06-04T16:08:33Z2026-06-04T16:08:33ZYazar Harrison, Michael A.<br/>Yer Numarası QA 401 H33 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>