Limit Search Results
Author
SpringerLink (Online service)
(1018)
Guo, Minyi. editor.
(6)
Yang, Laurence T. editor.
(6)
Dongarra, Jack. editor.
(5)
Jain, Lakhmi. editor.
(5)
Language
Subject
Computer science.
(970)
Artificial intelligence.
(291)
Information systems.
(289)
Software engineering.
(285)
Computer Communication Networks.
(256)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1062 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Soft Real-Time Systems Predictability vs. Efficiency
Soft Real-Time Systems Predictability vs. Efficiency
Author 
Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings
Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. Miyamoto, Sadaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31883-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial Intelligence in Medicine 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005. Proceedings
Artificial Intelligence in Medicine 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005. Proceedings
Author 
Miksch, Silvia. editor. Hunter, Jim. editor. Keravnou, Elpida T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527770
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings
Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings
Author 
Dau, Frithjof. editor. Mugnier, Marie-Laure. editor. Stumme, Gerd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31885-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
Author 
Godo, Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138862
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Massively Multi-Agent Systems I First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers
Massively Multi-Agent Systems I First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers
Author 
Ishida, Toru. editor. Gasser, Les. editor. Nakashima, Hideyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138262
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Modeling and Using Context 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings
Modeling and Using Context 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings
Author 
Dey, Anind. editor. Kokinov, Boicho. editor. Leake, David. editor. Turner, Roy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137917
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings
Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings
Author 
Perner, Petra. editor. Imiya, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138149
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings
Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings
Author 
Auer, Peter. editor. Meir, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137542
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action