Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2560)
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Dil
Yayın Yılı
-
Konu
Computer software.
(2189)
Computer science.
(2063)
Artificial intelligence.
(999)
Computer Communication Networks.
(938)
Software engineering.
(670)
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ç
3211 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics için kapak resmi
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Yazar 
Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336496.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-95-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Fast Compact Algorithms and Software for Spline Smoothing için kapak resmi
Fast Compact Algorithms and Software for Spline Smoothing
Yazar 
Weinert, Howard L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331788.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Structure of Solutions of Variational Problems için kapak resmi
Structure of Solutions of Variational Problems
Yazar 
Zaslavski, Alexander J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332024.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Introduction to Global Optimization Exploiting Space-Filling Curves için kapak resmi
Introduction to Global Optimization Exploiting Space-Filling Curves
Yazar 
Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332385.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-8042-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Handbook of Human Computation için kapak resmi
Handbook of Human Computation
Yazar 
Michelucci, Pietro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332449.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System için kapak resmi
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Yazar 
Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332481.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Yazar 
Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Realtime Data Mining Self-Learning Techniques for Recommendation Engines için kapak resmi
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Yazar 
Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332858.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01321-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers için kapak resmi
Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers
Yazar 
Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333280.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers için kapak resmi
Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers
Yazar 
Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Yer Numarası 
ONLINE(333559.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32350-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Yazar 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334014.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334278.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç