Limit Search Results
Author
SpringerLink (Online service)
(1297)
Anglin, Steve. editor.
(28)
Beckner, Mark. editor.
(28)
Buckingham, Ewan. editor.
(28)
Cornell, Gary. editor.
(28)
Language
Subject
Computer science.
(1264)
Information systems.
(424)
Computer Communication Networks.
(375)
Artificial intelligence.
(344)
Software engineering.
(322)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1366 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
Cover image for Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
Author 
Kant, Krishna. editor. Pemmaraju, Sriram V. editor. Sivalingam, Krishna M. editor. Wu, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11322-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
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:
29. 
Cover image for Teaching Fundamentals Concepts of Informatics 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings
Teaching Fundamentals Concepts of Informatics 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings
Author 
Hromkovič, Juraj. editor. Královič, Richard. editor. Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11376-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings
WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings
Author 
Rahman, Md. Saidur. editor. Fujita, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11440-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
Author 
Păun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. Riscos-Núñez, Agustín. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
Author 
Kutten, Shay. editor. Žerovnik, Janez. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11476-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Transactions on Rough Sets XI
Transactions on Rough Sets XI
Author 
Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11479-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Author 
Pnueli, Amir. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11486-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
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:
Select an Action