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. 
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:
3. 
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:
4. 
Multidimensional Data Visualization Methods and Applications için kapak resmi
Multidimensional Data Visualization Methods and Applications
Yazar 
Dzemyda, Gintautas. author. Kurasova, Olga. author. Žilinskas, Julius. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330795.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0236-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Search Theory A Game Theoretic Perspective için kapak resmi
Search Theory A Game Theoretic Perspective
Yazar 
Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Yer Numarası 
ONLINE(332129.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Risk Assessment and Management in the Networked Economy için kapak resmi
Risk Assessment and Management in the Networked Economy
Yazar 
Hussain, Omar K. author. Dillon, Tharam S. author. Hussain, Farookh K. author. Chang, Elizabeth J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333196.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28690-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Automation, Communication and Cybernetics in Science and Engineering 2011/2012 için kapak resmi
Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Yazar 
Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333703.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33389-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
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:
10. 
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:
11. 
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective için kapak resmi
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Yazar 
Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334558.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38215-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II için kapak resmi
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Yazar 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334657.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38715-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç