Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(213)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Dil
English
(213)
Yayın Yılı
-
2013
(213)
Konu
Computer software.
(213)
Computer science.
(208)
Computer Communication Networks.
(74)
Artificial Intelligence (incl. Robotics).
(71)
Artificial intelligence.
(71)
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ç
213 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings için kapak resmi
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Yazar 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334844.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings için kapak resmi
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Yazar 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335072.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Quantum Attacks on Public-Key Cryptosystems için kapak resmi
Quantum Attacks on Public-Key Cryptosystems
Yazar 
Yan, Song Y. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330828.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer için kapak resmi
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Yazar 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330901.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems için kapak resmi
Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
Yazar 
Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331104.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Simulation-Based Algorithms for Markov Decision Processes için kapak resmi
Simulation-Based Algorithms for Markov Decision Processes
Yazar 
Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331119.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5022-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Distributed Graph Algorithms for Computer Networks için kapak resmi
Distributed Graph Algorithms for Computer Networks
Yazar 
Erciyes, K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331165.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5173-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Genetic Programming Theory and Practice X için kapak resmi
Genetic Programming Theory and Practice X
Yazar 
Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332135.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings için kapak resmi
Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Yazar 
Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Yer Numarası 
ONLINE(334612.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38516-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings için kapak resmi
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Yazar 
Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334615.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings için kapak resmi
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Yazar 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334617.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç