Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
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ç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Mathematical logic : A course with exercises için kapak resmi
Mathematical logic : A course with exercises
Yazar 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası 
QA 9 C742513 2000 PT.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
2. 
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(519161.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings için kapak resmi
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Yazar 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Yer Numarası 
XX(519117.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17142-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Vitek, Jan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519237.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: