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
Select an Action
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Search Theory A Game Theoretic Perspective
Search Theory A Game Theoretic Perspective
Author 
Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Preferred Shelf Number 
ONLINE(332129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Geometry of Knowledge for Intelligent Systems
Geometry of Knowledge for Intelligent Systems
Author 
Resconi, Germano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333167.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27972-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Risk Assessment and Management in the Networked Economy
Risk Assessment and Management in the Networked Economy
Author 
Hussain, Omar K. author. Dillon, Tharam S. author. Hussain, Farookh K. author. Chang, Elizabeth J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333196.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28690-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for 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
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
Author 
Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334121.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36092-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Modeling, Simulation and Optimization of Bipedal Walking
Modeling, Simulation and Optimization of Bipedal Walking
Author 
Mombaur, Katja. editor. Berns, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334186.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36368-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Credibilistic Programming An Introduction to Models and Applications
Credibilistic Programming An Introduction to Models and Applications
Author 
Li, Xiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334188.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36376-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action