Limit Search Results
Author
SpringerLink (Online service)
(84)
Kim, Tai-hoon. editor.
(5)
Ślęzak, Dominik. editor.
(4)
Dillon, Tharam. editor.
(3)
Dix, Jürgen. editor.
(3)
Language
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Author 
Qin, Shengchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16690-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Information Technology 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings
Advances in Information Technology 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings
Author 
Papasratorn, Borworn. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16699-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Transactions on Computational Collective Intelligence II
Transactions on Computational Collective Intelligence II
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17155-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
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:
30. 
Cover image for Social Robotics Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings
Social Robotics Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings
Author 
Ge, Shuzhi Sam. editor. Li, Haizhou. editor. Cabibihan, John-John. editor. Tan, Yeow Kee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17248-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
Author 
Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17319-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Author 
Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17511-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
Author 
Lu, Chenyang. editor. Masuzawa, Toshimitsu. editor. Mosbah, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17653-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Author 
Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for RoboCup 2009: Robot Soccer World Cup XIII
RoboCup 2009: Robot Soccer World Cup XIII
Author 
Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11876-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Author 
Puppis, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11881-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action