Limit Search Results
Author
SpringerLink (Online service)
(146)
Riolo, Rick. editor.
(7)
Blum, Christian. editor.
(5)
Fages, François. editor.
(5)
Herik, H. Jaap. editor.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(143)
Computer science.
(127)
Computer software.
(84)
Computational complexity.
(44)
Data mining.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
152 Results Found Subscribe to search results
00000000DEFAULT
Print
145. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Author 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527695
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings
Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings
Author 
Coello Coello, Carlos A. editor. Hernández Aguirre, Arturo. editor. Zitzler, Eckart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106458
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Author 
Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106890
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
Author 
Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137294
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
Author 
Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11593577
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Handbook of Geometric Computing Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics
Handbook of Geometric Computing Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics
Author 
Corrochano, Eduardo Bayro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28247-5
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Hybrid Metaheuristics Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings
Hybrid Metaheuristics Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings
Author 
Blesa, María J. editor. Blum, Christian. editor. Roli, Andrea. editor. Sampels, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11546245
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action