Limit Search Results
Author
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
Subject
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3826 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Author 
Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32347-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Business System Management and Engineering From Open Issues to Applications
Business System Management and Engineering From Open Issues to Applications
Author 
Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32439-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Author 
Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32469-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Author 
Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers
Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers
Author 
Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32573-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
Author 
Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32606-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers
Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32627-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Enterprise Interoperability 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings
Enterprise Interoperability 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings
Author 
Sinderen, Marten. editor. Johnson, Pontus. editor. Xu, Xiaofei. editor. Doumeingts, Guy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33068-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Author 
Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33078-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
Author 
Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32677-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings
Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings
Author 
Bikakis, Antonis. editor. Giurca, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32689-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
Author 
Lee, Geuk. editor. Howard, Daniel. editor. Ślęzak, Dominik. editor. Hong, You Sik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32692-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action