Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(106)
Bonacina, Maria Paola. editor.
(2)
Crespi Reghizzi, Stefano. author.
(2)
Legay, Axel. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Dil
Yayın Yılı
-
Konu
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial Intelligence (incl. Robotics).
(48)
Artificial intelligence.
(48)
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ç
108 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331210.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-050-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures için kapak resmi
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Yazar 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
A Course in Formal Languages, Automata and Groups için kapak resmi
A Course in Formal Languages, Automata and Groups
Yazar 
Chiswell, Ian M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-940-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday için kapak resmi
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Yazar 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic için kapak resmi
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Yazar 
Bollig, Benedikt. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Industrial Deployment of System Engineering Methods için kapak resmi
Industrial Deployment of System Engineering Methods
Yazar 
Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333675.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33170-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Cylindric-like Algebras and Algebraic Logic için kapak resmi
Cylindric-like Algebras and Algebraic Logic
Yazar 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333922.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Yazar 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334034.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334038.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(334041.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings için kapak resmi
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Yazar 
Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334105.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç