Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(248)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Dil
English
(249)
Yayın Yılı
-
Konu
Computer software.
(215)
Algorithm Analysis and Problem Complexity.
(208)
Artificial intelligence.
(87)
Computer Communication Networks.
(79)
Artificial Intelligence (incl. Robotics).
(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ç
249 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Decision Procedures An Algorithmic Point of View için kapak resmi
Decision Procedures An Algorithmic Point of View
Yazar 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Hybrid Metaheuristics Powerful Tools for Optimization için kapak resmi
Hybrid Metaheuristics Powerful Tools for Optimization
Yazar 
Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30883-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II için kapak resmi
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41009-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I için kapak resmi
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41000-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers için kapak resmi
Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Yazar 
Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334179.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36334-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers için kapak resmi
Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers
Yazar 
Kirchner, Matthias. editor. Ghosal, Dipak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334187.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36373-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers için kapak resmi
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Yazar 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335202.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç