Limit Search Results
Author
Anglin, Steve. editor.
(28)
Beckner, Mark. editor.
(28)
Buckingham, Ewan. editor.
(28)
Cornell, Gary. editor.
(28)
Gennick, Jonathan. editor.
(28)
Subject
Information systems.
(403)
Computer Communication Networks.
(373)
Artificial intelligence.
(340)
Computer software.
(310)
Software engineering.
(289)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1159 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Author 
Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11503-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Nonlinear Speech Processing International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27. Revised Selected Papers
Advances in Nonlinear Speech Processing International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27. Revised Selected Papers
Author 
Solé-Casals, Jordi. editor. Zaiats, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11509-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Author 
Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11512-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings
High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings
Author 
Patt, Yale N. editor. Foglia, Pierfrancesco. editor. Duesterwald, Evelyn. editor. Faraboschi, Paolo. editor. Martorell, Xavier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11515-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Replication Theory and Practice
Replication Theory and Practice
Author 
Charron-Bost, Bernadette. editor. Pedone, Fernando. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11294-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
Author 
Siddiqui, Mumtaz. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11579-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
Author 
Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11618-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers
Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers
Author 
Dæhlen, Morten. editor. Floater, Michael. editor. Lyche, Tom. editor. Merrien, Jean-Louis. editor. Mørken, Knut. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11620-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Author 
Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11319-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Author 
Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11623-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Author 
Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Agents and Peer-to-Peer Computing 6th International Workshop, AP2PC 2007, Honululu, Hawaii, USA, May 14-18, 2007, Revised and Selected Papers
Agents and Peer-to-Peer Computing 6th International Workshop, AP2PC 2007, Honululu, Hawaii, USA, May 14-18, 2007, Revised and Selected Papers
Author 
Joseph, Samuel R. H. editor. Despotovic, Zoran. editor. Moro, Gianluca. editor. Bergamaschi, Sonia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets