Limit Search Results
Author
SpringerLink (Online service)
(321)
Kim, Tai-hoon. editor.
(7)
Gervasi, Osvaldo. editor.
(6)
Ślęzak, Dominik. editor.
(6)
Apduhan, Bernady O. editor.
(4)
Language
Subject
Computer science.
(319)
Computer Communication Networks.
(166)
Information systems.
(142)
Computer software.
(96)
Logic design.
(85)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
322 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Transactions on Computational Collective Intelligence I
Transactions on Computational Collective Intelligence I
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-15034-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Web Information Systems and Mining International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings
Web Information Systems and Mining International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings
Author 
Wang, Fu Lee. editor. Gong, Zhiguo. editor. Luo, Xiangfeng. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16515-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
Author 
Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16527-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Author 
Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings
Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings
Author 
Dean, Mike. editor. Hall, John. editor. Rotolo, Antonino. editor. Tabet, Said. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16289-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Author 
Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16310-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
Author 
Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16339-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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 I
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 I
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-16558-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Author 
Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16901-4
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
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:
59. 
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:
60. 
Cover image for From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday
From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday
Author 
Sachs, Kai. editor. Petrov, Ilia. editor. Guerrero, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17226-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action