Limit Search Results
Author
SpringerLink (Online service)
(526)
Dongarra, Jack. editor.
(18)
Gavrilova, Marina L. editor.
(17)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Language
Publication Date
-
Subject
Computer science.
(456)
Computer software.
(260)
Computational complexity.
(181)
Artificial intelligence.
(143)
Information theory.
(98)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
554 Results Found Subscribe to search results
000000000000DEFAULT
Print
313. 
Cover image for Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
Author 
Simon, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-017-9
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings
Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings
Author 
McGeoch, Catherine C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68552-4
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings
Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings
Author 
Fleischer, Rudolf. editor. Xu, Jinhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68880-8
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
Author 
Lodi, Andrea. editor. Panconesi, Alessandro. editor. Rinaldi, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68891-4
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
Author 
Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69384-0
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
Author 
Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69387-1
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
Author 
Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69389-5
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Author 
Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69407-6
Format: 
Availability 
Online Library~1
Available:
Copies:
321. 
Cover image for Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69839-5
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69848-7
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
Cover image for Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Author 
Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: 
Availability 
Online Library~1
Available:
Copies:
324. 
Cover image for Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Author 
Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78474-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action