Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
2013
(23)
Konu
Computational complexity.
(23)
Computer science.
(21)
Mathematical Logic and Formal Languages.
(15)
Logic design.
(11)
Logics and Meanings of Programs.
(11)
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ç
23 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
13. 
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings için kapak resmi
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
Yazar 
Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334666.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38771-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Yazar 
Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334778.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings için kapak resmi
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Yazar 
Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334985.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40663-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers için kapak resmi
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Yazar 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334987.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings için kapak resmi
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Yazar 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334718.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
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:
19. 
Facets of Combinatorial Optimization Festschrift for Martin Grötschel için kapak resmi
Facets of Combinatorial Optimization Festschrift for Martin Grötschel
Yazar 
Jünger, Michael. editor. Reinelt, Gerhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334551.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38189-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Yazar 
Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334552.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
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:
22. 
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:
23. 
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: