Limit Search Results
Author
SpringerLink (Online service)
(49)
Blockeel, Hendrik. editor.
(3)
Kersting, Kristian. editor.
(3)
Nijssen, Siegfried. editor.
(3)
Železný, Filip. editor.
(3)
Language
Publication Date
-
2013
(49)
Subject
Artificial intelligence.
(49)
Computer science.
(37)
Computational complexity.
(24)
Discrete Mathematics in Computer Science.
(24)
Algorithm Analysis and Problem Complexity.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The Language of Mathematics A Linguistic and Philosophical Investigation
The Language of Mathematics A Linguistic and Philosophical Investigation
Author 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334341.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Author 
Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number 
ONLINE(334781.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39320-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Author 
Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Generating Analog IC Layouts with LAYGEN II
Generating Analog IC Layouts with LAYGEN II
Author 
Martins, Ricardo M. F. author. Lourenço, Nuno C. C. author. Horta, Nuno C. G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333672.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33146-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Author 
Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333703.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33389-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Knowledge Spaces Applications in Education
Knowledge Spaces Applications in Education
Author 
Falmagne, Jean-Claude. editor. Albert, Dietrich. editor. Doble, Christopher. editor. Eppstein, David. editor. Hu, Xiangen. editor.
Preferred Shelf Number 
ONLINE(333964.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35329-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
Author 
Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334048.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35786-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for 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
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
Author 
Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE(334064.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
Author 
Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334443.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37502-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Probabilistic Databases for Uncertain Information Management
Advances in Probabilistic Databases for Uncertain Information Management
Author 
Ma, Zongmin. editor. Yan, Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334444.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37509-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Intention Recognition, Commitment and Their Roles in the Evolution of Cooperation From Artificial Intelligence Techniques to Evolutionary Game Theory Models
Intention Recognition, Commitment and Their Roles in the Evolution of Cooperation From Artificial Intelligence Techniques to Evolutionary Game Theory Models
Author 
Han, The Anh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334445.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37512-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets