Limit Search Results
Author
SpringerLink (Online service)
(1402)
Lee, Roger. editor.
(19)
Kim, Tai-hoon. editor.
(18)
Meersman, Robert. editor.
(15)
Nguyen, Ngoc Thanh. editor.
(13)
Language
Publication Date
-
2018
(210)
2011
(136)
2024
(124)
2025
(123)
2012
(118)
Subject
Artificial intelligence.
(1354)
Computer science.
(867)
Computer Communication Networks.
(516)
Information systems.
(225)
Computer networks .
(207)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1403 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Author 
Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138445
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings
Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings
Author 
Gramlich, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11559306
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings
Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings
Author 
Pěchouček, Michael. editor. Petta, Paolo. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11559221
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
Author 
Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103251
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers
Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers
Author 
Wiil, Uffe Kock. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105507
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Author 
Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11541868
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
Author 
Beckert, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554554
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
Author 
Ng, Wee Siong. editor. Ooi, Beng-Chin. editor. Ouksel, Aris M. editor. Sartori, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106971
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Agent-Based Applications, Platforms and Development Kits
Software Agent-Based Applications, Platforms and Development Kits
Author 
Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137512
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Ontologies for Agents: Theory and Experiences
Ontologies for Agents: Theory and Experiences
Author 
Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7361-X
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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