Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(49)
Blockeel, Hendrik. editor.
(3)
Kersting, Kristian. editor.
(3)
Nijssen, Siegfried. editor.
(3)
Železný, Filip. editor.
(3)
Dil
Yayın Yılı
-
2013
(49)
Konu
Artificial intelligence.
(49)
Computer science.
(37)
Computational complexity.
(24)
Discrete Mathematics in Computer Science.
(24)
Algorithm Analysis and Problem Complexity.
(14)
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ç
49 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
The Language of Mathematics A Linguistic and Philosophical Investigation için kapak resmi
The Language of Mathematics A Linguistic and Philosophical Investigation
Yazar 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334341.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings için kapak resmi
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Yazar 
Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Yer Numarası 
ONLINE(334781.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39320-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automated Reasoning and Mathematics Essays in Memory of William W. McCune için kapak resmi
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Yazar 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334264.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Extremal Fuzzy Dynamic Systems Theory and Applications için kapak resmi
Extremal Fuzzy Dynamic Systems Theory and Applications
Yazar 
Sirbiladze, Gia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331460.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4250-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings için kapak resmi
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
Yazar 
Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332892.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Generating Analog IC Layouts with LAYGEN II için kapak resmi
Generating Analog IC Layouts with LAYGEN II
Yazar 
Martins, Ricardo M. F. author. Lourenço, Nuno C. C. author. Horta, Nuno C. G. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333672.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33146-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings için kapak resmi
Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
Yazar 
Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334048.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35786-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings için kapak resmi
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
Yazar 
Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Yer Numarası 
ONLINE(334064.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings için kapak resmi
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Yazar 
Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334105.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers için kapak resmi
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Yazar 
Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334121.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36092-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Modeling, Simulation and Optimization of Bipedal Walking için kapak resmi
Modeling, Simulation and Optimization of Bipedal Walking
Yazar 
Mombaur, Katja. editor. Berns, Karsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334186.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36368-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings için kapak resmi
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Yazar 
Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334615.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç