Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Author 
Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15582-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Agent-Based Service-Oriented Computing
Agent-Based Service-Oriented Computing
Author 
Griffiths, Nathan. editor. Chao, Kuo-Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-041-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Composing Software Components A Software-testing Perspective
Composing Software Components A Software-testing Perspective
Author 
Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
Author 
Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6984-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
Author 
Ding, Chen. editor. Shao, Zhiyuan. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15672-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
Author 
Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14866-8
Format: 
Availability 
Online Library~1
Available:
Copies: