Limit Search Results
Author
SpringerLink (Online service)
(1003)
Kim, Tai-hoon. editor.
(18)
Lee, Roger. editor.
(14)
Meersman, Robert. editor.
(12)
Nguyen, Ngoc Thanh. editor.
(12)
Language
Publication Date
-
2018
(211)
2011
(137)
2012
(118)
2019
(94)
2010
(85)
Subject
Artificial intelligence.
(977)
Computer science.
(743)
Computer Communication Networks.
(383)
Information systems.
(230)
Logic design.
(193)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1005 Results Found Subscribe to search results
000000000DEFAULT
Print
997. 
Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Bodik, Rastislav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107108
Format: 
Availability 
Online Library~1
Available:
Copies:
998. 
Cover image for Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
Author 
Nieuwenhuis, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11532231
Format: 
Availability 
Online Library~1
Available:
Copies:
999. 
Cover image for Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
Author 
Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11552222
Format: 
Availability 
Online Library~1
Available:
Copies:
1000. 
Cover image for Formal Concept Analysis Foundations and Applications
Formal Concept Analysis Foundations and Applications
Author 
Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31881-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1001. 
Cover image for Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers
Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers
Author 
Chollet, Gérard. editor. Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Marinaro, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138975
Format: 
Availability 
Online Library~1
Available:
Copies:
1002. 
Cover image for Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers
Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers
Author 
Gleizes, Marie-Pierre. editor. Omicini, Andrea. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136158
Format: 
Availability 
Online Library~1
Available:
Copies:
1003. 
Cover image for Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
Author 
Wiil, Uffe Kock. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138822
Format: 
Availability 
Online Library~1
Available:
Copies:
1004. 
Cover image for Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Author 
Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107183
Format: 
Availability 
Online Library~1
Available:
Copies:
1005. 
Cover image for Industrial Software Technology
Industrial Software Technology
Author 
Mitchell, R., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCM010E
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action