Limit Search Results
Author
SpringerLink (Online service)
(361)
Wang, Jun. editor.
(6)
Huang, De-Shuang. editor.
(5)
Irwin, George William. editor.
(5)
Li, Kang. editor.
(5)
Language
Subject
Artificial intelligence.
(368)
Computer science.
(276)
Information systems.
(102)
Information storage and retrieval systems.
(81)
Engineering.
(76)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
377 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Author 
Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11617990
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers
Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers
Author 
Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11668855
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Adaptive Multimedia Retrieval: User, Context, and Feedback Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers
Adaptive Multimedia Retrieval: User, Context, and Feedback Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers
Author 
Detyniecki, Marcin. editor. Jose, Joemon M. editor. Nürnberger, Andreas. editor. Rijsbergen, C. J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11670834
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Model Driven Architecture and Ontology Development
Model Driven Architecture and Ontology Development
Author 
Gašević, Dragan. author. Djurić, Dragan. author. Devedžić, Vladan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32182-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Author 
Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11671404
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006. Proceedings
Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006. Proceedings
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11671299
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II
Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II
Author 
Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11612704
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I
Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I
Author 
Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11612032
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006
Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006
Author 
Ijspeert, Auke Jan. editor. Masuzawa, Toshimitsu. editor. Kusumoto, Shinji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11613022
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Representations for Genetic and Evolutionary Algorithms
Representations for Genetic and Evolutionary Algorithms
Author 
Rothlauf, Franz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32444-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logical Foundations for Rule-Based Systems
Logical Foundations for Rule-Based Systems
Author 
Ligêza, Antoni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action