Limit Search Results
Author
SpringerLink (Online service)
(580)
Jain, Lakhmi C. editor.
(16)
Abraham, Ajith. editor.
(7)
Cao, Longbing. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(7)
Language
English
(580)
Publication Date
-
2013
(580)
Subject
Artificial intelligence.
(580)
Computer science.
(381)
Engineering.
(198)
Computational Intelligence.
(171)
Information Systems Applications (incl. Internet).
(128)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
580 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for The Deductive Spreadsheet
The Deductive Spreadsheet
Author 
Cervesato, Iliano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334475.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
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:
51. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Author 
Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334728.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334843.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Combinatorial Search: From Algorithms to Systems
Combinatorial Search: From Algorithms to Systems
Author 
Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41647-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Business Information Systems Workshops BIS 2013 International Workshops, Poznań, Poland, June 19-20, 2013, Revised Papers
Business Information Systems Workshops BIS 2013 International Workshops, Poznań, Poland, June 19-20, 2013, Revised Papers
Author 
Abramowicz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335139.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41687-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Transactions on Computational Collective Intelligence XI
Transactions on Computational Collective Intelligence XI
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335144.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41776-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Modelling and Controlling of Behaviour for Autonomous Mobile Robots
Modelling and Controlling of Behaviour for Autonomous Mobile Robots
Author 
Skubch, Hendrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335253.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00811-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action