Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
2013
(14)
2015
(1)
Konu
Computer science.
(14)
Mathematics.
(5)
Algebra -- Data processing.
(4)
Algorithm Analysis and Problem Complexity.
(4)
Computer software.
(4)
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ç
15 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
13. 
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings için kapak resmi
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Yazar 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334702.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 için kapak resmi
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
Yazar 
Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335104.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41422-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings için kapak resmi
Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings
Yazar 
Chen, Yiling. editor. Immorlica, Nicole. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335183.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45046-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: