Limit Search Results
Author
SpringerLink (Online service)
(1050)
Wiley InterScience (Online service)
(9)
Yang, Laurence T. editor.
(7)
Dongarra, Jack. editor.
(6)
MacDonald, Matthew. author.
(6)
Language
Subject
Computer science.
(1022)
Information systems.
(279)
Artificial intelligence.
(272)
Software engineering.
(271)
Computer Communication Networks.
(252)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1133 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
Author 
Kühne, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69489-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers
Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers
Author 
Erlebach, Thomas. editor. Kaklamanis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11970125
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Author 
Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers
Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers
Author 
Stiefelhagen, Rainer. editor. Garofolo, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69568-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
Author 
Inoue, Katsumi. editor. Satoh, Ken. editor. Toni, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69619-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Author 
Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69738-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Author 
Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers
Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers
Author 
Jähne, Bernd. editor. Mester, Rudolf. editor. Barth, Erhardt. editor. Scharr, Hanno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69866-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Author 
Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for New Frontiers in Artificial Intelligence JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers
Author 
Washio, Takashi. editor. Satoh, Ken. editor. Takeda, Hideaki. editor. Inokuchi, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69902-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings
KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings
Author 
Freksa, Christian. editor. Kohlhase, Michael. editor. Schill, Kerstin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69912-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action