Limit Search Results
Author
SpringerLink (Online service)
(1297)
Anglin, Steve. editor.
(28)
Beckner, Mark. editor.
(28)
Buckingham, Ewan. editor.
(28)
Cornell, Gary. editor.
(28)
Language
Subject
Computer science.
(1264)
Information systems.
(424)
Computer Communication Networks.
(375)
Artificial intelligence.
(344)
Software engineering.
(322)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1366 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16561-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
Author 
Xie, Bing. editor. Branke, Juergen. editor. Sadjadi, S. Masoud. editor. Zhang, Daqing. editor. Zhou, Xingshe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16576-4
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Intelligent Robotics and Applications Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I
Intelligent Robotics and Applications Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I
Author 
Liu, Honghai. editor. Ding, Han. editor. Xiong, Zhenhua. editor. Zhu, Xiangyang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16584-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Intelligent Robotics and Applications Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II
Intelligent Robotics and Applications Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II
Author 
Liu, Honghai. editor. Ding, Han. editor. Xiong, Zhenhua. editor. Zhu, Xiangyang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16587-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for HCI in Work and Learning, Life and Leisure 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings
HCI in Work and Learning, Life and Leisure 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings
Author 
Leitner, Gerhard. editor. Hitz, Martin. editor. Holzinger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16607-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Ambient Intelligence First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings
Ambient Intelligence First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings
Author 
Ruyter, Boris. editor. Wichert, Reiner. editor. Keyson, David V. editor. Markopoulos, Panos. editor. Streitz, Norbert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16917-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I
On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I
Author 
Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16934-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II
On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II
Author 
Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16949-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Advances in Artificial Intelligence – IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
Advances in Artificial Intelligence – IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
Author 
Kuri-Morales, Angel. editor. Simari, Guillermo R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16952-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Middleware 2010 ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
Middleware 2010 ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
Author 
Gupta, Indranil. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16955-7
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings
Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings
Author 
Boulic, Ronan. editor. Chrysanthou, Yiorgos. editor. Komura, Taku. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16958-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2010 Workshops Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings
On the Move to Meaningful Internet Systems: OTM 2010 Workshops Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings
Author 
Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16961-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action