Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(33)
Liu, Zhiming. editor.
(2)
Raynal, Michel. author.
(2)
Woodcock, Jim. editor.
(2)
Zhu, Huibiao. editor.
(2)
Dil
Yayın Yılı
-
2013
(32)
2015
(1)
Konu
Information theory.
(32)
Computer science.
(27)
Artificial Intelligence (incl. Robotics).
(12)
Artificial intelligence.
(12)
Software engineering.
(7)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
33 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
25. 
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures için kapak resmi
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334841.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Teoria degli Automi Finiti için kapak resmi
Teoria degli Automi Finiti
Yazar 
Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335644.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-5474-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Advances in Applied Self-Organizing Systems için kapak resmi
Advances in Applied Self-Organizing Systems
Yazar 
Prokopenko, Mikhail. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331148.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Quantum Walks and Search Algorithms için kapak resmi
Quantum Walks and Search Algorithms
Yazar 
Portugal, Renato. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332008.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6336-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Distributed Algorithms for Message-Passing Systems için kapak resmi
Distributed Algorithms for Message-Passing Systems
Yazar 
Raynal, Michel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334542.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings için kapak resmi
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Yazar 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334564.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers için kapak resmi
Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Yazar 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334567.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38250-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings için kapak resmi
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Yazar 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335032.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings için kapak resmi
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Yazar 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335433.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-54436-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets