Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(4826)
Apduhan, Bernady O. editor.
(47)
Gervasi, Osvaldo. editor.
(46)
Taniar, David. editor.
(38)
Dongarra, Jack. editor.
(31)
Dil
Yayın Yılı
-
2018
(424)
2011
(400)
2012
(369)
2010
(343)
2009
(334)
Konu
Computer science.
(3279)
Computer Communication Networks.
(1478)
Artificial intelligence.
(1354)
Information systems.
(823)
Logic design.
(748)
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ç
4928 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
4921. 
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings için kapak resmi
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Yazar 
Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11541868
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4922. 
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
Yazar 
Beckert, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11554554
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4923. 
Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings için kapak resmi
Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings
Yazar 
Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11535294
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4924. 
Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers için kapak resmi
Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers
Yazar 
Chapman, Barbara M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105895
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4925. 
Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers için kapak resmi
Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
Yazar 
Ng, Wee Siong. editor. Ooi, Beng-Chin. editor. Ouksel, Aris M. editor. Sartori, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106971
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4926. 
LDAP tabanlı UNIX kullanıcı tanıma ve denetim sistemi için kapak resmi
LDAP tabanlı UNIX kullanıcı tanıma ve denetim sistemi
Yazar 
Can, Ahmet Burak.
Yer Numarası 
TEZ/5178 C16 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4927. 
Grafiksel kullanıcı arayüz üzerinde ilişkisel veri tabanına dayalı uygulama yazılımları için yazılım geliştirme sürecinde kurumsal tabanda izlenecek yol ve ilkelerin belirlenmesi için kapak resmi
Grafiksel kullanıcı arayüz üzerinde ilişkisel veri tabanına dayalı uygulama yazılımları için yazılım geliştirme sürecinde kurumsal tabanda izlenecek yol ve ilkelerin belirlenmesi
Yazar 
Estekin, Emin Agah.
Yer Numarası 
TEZ/5183 E85 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4928. 
Yazılım mühendisliği için kapak resmi
Yazılım mühendisliği
Yazar 
Sarıdoğan, M. Erhan
Yer Numarası 
QA76.758 A75 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç