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
000000000000DEFAULT_TR
Yazdır
1. 
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 için kapak resmi
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
Yazar 
Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335104.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41422-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Combinatorial Search: From Algorithms to Systems için kapak resmi
Combinatorial Search: From Algorithms to Systems
Yazar 
Hamadi, Youssef. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335109.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings için kapak resmi
Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Yazar 
Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334901.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40164-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications için kapak resmi
Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
Yazar 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335208.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45318-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information için kapak resmi
Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information
Yazar 
Cicalese, Ferdinando. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333074.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17327-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Analyzing Evolutionary Algorithms The Computer Science Perspective için kapak resmi
Analyzing Evolutionary Algorithms The Computer Science Perspective
Yazar 
Jansen, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333075.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17339-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations için kapak resmi
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Yazar 
Raynal, Michel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333514.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies için kapak resmi
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Yazar 
Reisig, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333688.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers için kapak resmi
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Yazar 
Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334022.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35656-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334038.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Computing Nature Turing Centenary Perspective için kapak resmi
Computing Nature Turing Centenary Perspective
Yazar 
Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334387.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37225-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday için kapak resmi
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334837.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets