Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(563)
Chen, Xilin. editor.
(13)
Ji, Rongrong. editor. (orcid)0000-0003-4739-8936
(13)
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
(13)
Ma, Zhanyu. editor.
(13)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(284)
Machine theory.
(271)
Formal Languages and Automata Theory.
(249)
Computer science.
(193)
COMPUTERS / Machine Theory
(146)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
915 sonuç bulundu Arama sonuçlarına abone ol
000000000000000DEFAULT_TR
Yazdır
1. 
Mechanics of materials and interfaces : the disturbed state concept için kapak resmi
Mechanics of materials and interfaces : the disturbed state concept
Yazar 
Desai, C. S. (Chandrakant S.), 1936, author.
Yer Numarası 
TA405 .D45 2001
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Problem solving in automata, languages, and complexity için kapak resmi
Problem solving in automata, languages, and complexity
Yazar 
Du, Dingzhu. Ko, Ker-I.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
John Wiley http://dx.doi.org/10.1002/0471224642
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2001275892.html
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=215154
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Handbook of process algebra için kapak resmi
Handbook of process algebra
Yazar 
Bergstra, J. A. Ponse, A. (Alban), 1955- Smolka, Scott A.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444828309
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Rudiments of [mu]-calculus için kapak resmi
Rudiments of [mu]-calculus
Yazar 
Arnold, A. (André), 1945- Niwiński, Damian.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Handbook of natural language processing için kapak resmi
Handbook of natural language processing
Yazar 
Dale, Robert, 1959- Moisl, Hermann, 1949- Somers, H. L.
Yer Numarası 
QA76.9 .N38 H363 2000
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Elements of the theory of computation için kapak resmi
Elements of the theory of computation
Yazar 
Lewis, Harry R. Papadimitriou, Christos H.
Yer Numarası 
QA267 .L49 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
The theory of computation için kapak resmi
The theory of computation
Yazar 
Moret, Bernard M.
Yer Numarası 
QA 267 M67 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
Algebraic and structural automata theory için kapak resmi
Algebraic and structural automata theory
Yazar 
Mikołajczak, Bolesław.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874580
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Trace theory for automatic hierarchical verification of speed-independent circuits için kapak resmi
Trace theory for automatic hierarchical verification of speed-independent circuits
Yazar 
Dill, David L.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 için kapak resmi
Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
Yazar 
International FCT-Conference (1983 : Borgholm, Sweden) Karpiński, Marek, 1948- Leeuwen, J. van (Jan)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876478
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Automata, languages and machines. Voume B için kapak resmi
Automata, languages and machines. Voume B
Yazar 
Eilenberg, Samuel. Tilson, Bret.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780122340024
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Automata, languages and machines. Volume A için kapak resmi
Automata, languages and machines. Volume A
Yazar 
Eilenberg, Samuel.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780122340017
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Automaton theory and modeling of biological systems için kapak resmi
Automaton theory and modeling of biological systems
Yazar 
T͡Setlin, Mikhail Lʹvovich, 1924-1966.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780127016504
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Logic, automata, and algorithms için kapak resmi
Logic, automata, and algorithms
Yazar 
Aĭzerman, M. A. (Mark Aronovich), 1913-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Introduction to the theory of finite automata için kapak resmi
Introduction to the theory of finite automata
Yazar 
Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534033
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: