Limit Search Results
Author
SpringerLink (Online service)
(71)
Castro, Félix. editor.
(2)
Corchado, Emilio. editor.
(2)
Das, Swagatam. editor.
(2)
Dash, Shubhransu Sekhar. editor.
(2)
Language
Subject
Algorithm Analysis and Problem Complexity.
(71)
Artificial Intelligence (incl. Robotics).
(71)
Computer science.
(71)
Computer software.
(71)
Information Systems Applications (incl. Internet).
(28)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
71 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334725.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Author 
Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334813.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Author 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334814.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
Author 
Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334879.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40020-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings
Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334839.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39712-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings
Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings
Author 
Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.
Preferred Shelf Number 
ONLINE(334981.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40643-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings
Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings
Author 
Gurevych, Iryna. editor. Biemann, Chris. editor. Zesch, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334994.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40722-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings
Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings
Author 
Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.
Preferred Shelf Number 
ONLINE(334996.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
Author 
Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.
Preferred Shelf Number 
ONLINE(335017.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40846-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets