Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(526)
Dongarra, Jack. editor.
(18)
Gavrilova, Marina L. editor.
(17)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Dil
Yayın Yılı
-
Konu
Computer science.
(456)
Computer software.
(260)
Computational complexity.
(181)
Artificial intelligence.
(143)
Information theory.
(98)
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ç
558 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
541. 
New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings için kapak resmi
New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
Yazar 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136981
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
542. 
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers için kapak resmi
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Yazar 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11527695
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
543. 
Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers için kapak resmi
Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
Yazar 
Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11593577
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
544. 
Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings için kapak resmi
Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings
Yazar 
Deng, Xiaotie. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11602613
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
545. 
Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings için kapak resmi
Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings
Yazar 
Megiddo, Nimrod. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137095
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
546. 
XML for data management için kapak resmi
XML for data management
Yazar 
Aiken, Peter. Allen, David.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120455997
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
547. 
Feedback control of computing systems için kapak resmi
Feedback control of computing systems
Yazar 
Hellerstein, Joseph, 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=119132
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
548. 
Computing and information sciences : recent trends için kapak resmi
Computing and information sciences : recent trends
Yazar 
Misra, Jagadis Chandra, ed. Goswami, A., ed. Kumar, Pawan, ed.
Yer Numarası 
QA 75.5 C739 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
549. 
Bilgisayar terimleri ansiklopedik sözlüğü için kapak resmi
Bilgisayar terimleri ansiklopedik sözlüğü
Yazar 
Altan, Naci. Koyuncu, Suat, ed.
Yer Numarası 
QA76.15 A79 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
550. 
Leonardo's laptop human needs and the new computing technologies için kapak resmi
Leonardo's laptop human needs and the new computing technologies
Yazar 
Shneiderman, Ben.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267337
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
551. 
Handbook of logic and proof techniques for computer science için kapak resmi
Handbook of logic and proof techniques for computer science
Yazar 
Krantz, Steven George, 1951-
Yer Numarası 
QA 76 K723 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
552. 
Computers : information technology in perspective için kapak resmi
Computers : information technology in perspective
Yazar 
Long, Larry E. Long, Nancy, 1947- ort. yaz.
Yer Numarası 
QA 76 L576 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç