Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(903)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(9)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Dil
Yayın Yılı
-
Konu
Computational complexity.
(908)
Computer science.
(744)
Computer software.
(548)
Computer Communication Networks.
(228)
Data structures (Computer science).
(213)
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ç
981 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings için kapak resmi
Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Yazar 
Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334947.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40450-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings için kapak resmi
Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Yazar 
Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334948.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40453-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Yazar 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Yazar 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334969.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings için kapak resmi
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Yazar 
Schulte, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334980.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
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:
8. 
Limits of computation : an introduction to the undecidable and the intractable için kapak resmi
Limits of computation : an introduction to the undecidable and the intractable
Yazar 
Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.
Yer Numarası 
QA267.7 .R445 2013
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Magic Graphs için kapak resmi
Magic Graphs
Yazar 
Marr, Alison M. author. Wallis, W.D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330566.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-8391-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Stream Ciphers için kapak resmi
Stream Ciphers
Yazar 
Klein, Andreas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331137.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5079-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Hypergraph Theory An Introduction için kapak resmi
Hypergraph Theory An Introduction
Yazar 
Bretto, Alain. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332674.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00080-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Concise Computer Mathematics Tutorials on Theory and Problems için kapak resmi
Concise Computer Mathematics Tutorials on Theory and Problems
Yazar 
Bagdasar, Ovidiu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332887.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01751-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç