Limit Search Results
Author
SpringerLink (Online service)
(4582)
Kim, Tai-hoon. editor.
(47)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(32)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
2011
(603)
2012
(548)
2010
(544)
2013
(474)
2005
(433)
Subject
Software engineering.
(2980)
Computer software.
(2011)
Computer Communication Networks.
(1606)
Artificial intelligence.
(1411)
Information systems.
(977)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4588 Results Found Subscribe to search results
0000DEFAULT
Print
4585. 
Cover image for XML for Bioinformatics
XML for Bioinformatics
Author 
Cerami, Ethan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27478-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4586. 
Cover image for Soft Real-Time Systems Predictability vs. Efficiency
Soft Real-Time Systems Predictability vs. Efficiency
Author 
Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4587. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4588. 
Cover image for Artificial Intelligence Applications and Innovations IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China
Artificial Intelligence Applications and Innovations IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China
Author 
Li, Daoliang. editor. Wang, Baoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29295-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action