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ç
49 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
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. 
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:
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. 
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. 
Credibilistic Programming An Introduction to Models and Applications için kapak resmi
Credibilistic Programming An Introduction to Models and Applications
Yazar 
Li, Xiang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334188.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36376-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
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:
9. 
Dimensionality Reduction with Unsupervised Nearest Neighbors için kapak resmi
Dimensionality Reduction with Unsupervised Nearest Neighbors
Yazar 
Kramer, Oliver. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334643.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38652-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I için kapak resmi
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Yazar 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334653.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38703-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings için kapak resmi
Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Yazar 
Huang, De-Shuang. editor. Gupta, Phalguni. editor. Wang, Ling. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334835.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39678-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I için kapak resmi
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I
Yazar 
Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335036.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40988-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets