Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(89)
Blockeel, Hendrik. editor.
(3)
Kersting, Kristian. editor.
(3)
Nijssen, Siegfried. editor.
(3)
Železný, Filip. editor.
(3)
Dil
Konu
Computational complexity.
(92)
Discrete Mathematics in Computer Science.
(84)
Computer science.
(83)
Algorithm Analysis and Problem Complexity.
(56)
Computer software.
(56)
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ç
94 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction için kapak resmi
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Yazar 
Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332681.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Reviews of nonlinear dynamics and complexity için kapak resmi
Reviews of nonlinear dynamics and complexity
Yazar 
Schuster, Heinz Georg, 1943- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482290
John Wiley http://dx.doi.org/10.1002/9783527626359
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers için kapak resmi
Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Yazar 
Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334516.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38016-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings için kapak resmi
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Yazar 
Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334549.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
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:
8. 
Cellular potts models multiscale extensions and biological applications için kapak resmi
Cellular potts models multiscale extensions and biological applications
Yazar 
Scianna, Marco. Preziosi, Luigi.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Introduction to the theory of computation için kapak resmi
Introduction to the theory of computation
Yazar 
Sipser, Michael.
Yer Numarası 
QA267 S56 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
10. 
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:
11. 
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer için kapak resmi
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Yazar 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330901.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
Eylem Seç