Arama Sonuçları MAKİNE KURAMI. - Daraltılmış: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMAK$0025C4$0025B0NE$002bKURAMI.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?2025-03-16T11:36:59ZThe theory of computationent://SD_ILS/0/SD_ILS:746142025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:336312025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:336412025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:353902025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Chaitin, Gregory J.<br/>Yer Numarası QA 267 C49 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Switching and finite automata theoryent://SD_ILS/0/SD_ILS:336462025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:336322025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:336302025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:345152025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:703242025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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/>Automation theory and modeling of biological systemsent://SD_ILS/0/SD_ILS:312812025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Tsetlin, Mikhail L'vovich, 1924-1966.<br/>Yer Numarası Q 320 T7613 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Introduction to discrete structures for computer science and engineeringent://SD_ILS/0/SD_ILS:326812025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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/>Currents in the theory of computingent://SD_ILS/0/SD_ILS:336382025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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 the theory of computationent://SD_ILS/0/SD_ILS:279612025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Engeler, Erwin.<br/>Yer Numarası QA 267.5.S4 E53 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Design methods for digital systemsent://SD_ILS/0/SD_ILS:445622025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Chinal, Jean.<br/>Yer Numarası QA 268.5 C5213 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Automata theory : machines and languagesent://SD_ILS/0/SD_ILS:353922025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Kain, Richard Y.<br/>Yer Numarası QA 267 K35 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:336472025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:336482025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Paz, Azaria.<br/>Yer Numarası QA 267.5.S4 P3 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Theory of machines and computations : proceedingsent://SD_ILS/0/SD_ILS:445642025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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/>Essays on cellular automataent://SD_ILS/0/SD_ILS:336402025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:336452025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:703192025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Auburn University.<br/>Yer Numarası TS 157 A92 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Topics in mathematical system theoryent://SD_ILS/0/SD_ILS:388672025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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/>Theory of automataent://SD_ILS/0/SD_ILS:336492025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Salomaa, Arto.<br/>Yer Numarası QA 267.5.S4 S3 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Theories of abstract automataent://SD_ILS/0/SD_ILS:353892025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Arbib, Michael A.<br/>Yer Numarası QA 267 A72 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal languages and their relation to automataent://SD_ILS/0/SD_ILS:709292025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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/>Sequential machines and automata theoryent://SD_ILS/0/SD_ILS:336392025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:353932025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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:336432025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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 switching and automata theoryent://SD_ILS/0/SD_ILS:388272025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar Harrison, Michael A.<br/>Yer Numarası QA 401 H33 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Introduction to the theory of finite automataent://SD_ILS/0/SD_ILS:336442025-03-16T11:36:59Z2025-03-16T11:36:59ZYazar 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/>