Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(52)
Cooper, S. Barry. editor.
(4)
Li, Angsheng. editor.
(4)
Agrawal, Manindra. editor.
(2)
Atallah, Mikhail J.
(2)
Dil
Yayın Yılı
-
Konu
Information theory.
(40)
Theory of Computation.
(30)
Computer software.
(20)
Computational complexity.
(18)
Logic design.
(15)
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ç
54 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
Massively Parallel Evolutionary Computation on GPGPUs için kapak resmi
Massively Parallel Evolutionary Computation on GPGPUs
Yazar 
Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334507.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37959-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings için kapak resmi
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Yazar 
Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334663.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38756-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings için kapak resmi
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Yazar 
Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334910.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings için kapak resmi
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Yazar 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334973.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
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:
Eylem Seç