Limit Search Results
Author
SpringerLink (Online service)
(6552)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(4584)
Software engineering.
(3786)
Computer software.
(2174)
Artificial intelligence.
(1955)
Computer Communication Networks.
(1697)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7681 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Topics in Cryptology – CT-RSA 2005 The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings
Topics in Cryptology – CT-RSA 2005 The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings
Author 
Menezes, Alfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105222
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Theory of Cryptography Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings
Theory of Cryptography Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings
Author 
Kilian, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106171
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
Author 
Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105088
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
Author 
Cousot, Radhia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105073
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Public Key Cryptography - PKC 2005 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings
Public Key Cryptography - PKC 2005 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings
Author 
Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105124
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings
Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings
Author 
Kim, Cheeha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105584
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
Author 
Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105317
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Differential Evolution A Practical Approach to Global Optimization
Differential Evolution A Practical Approach to Global Optimization
Author 
Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31306-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings
SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings
Author 
Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137793
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings
The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings
Author 
Gómez-Pérez, Asunción. editor. Euzenat, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136731
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Author 
Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136996
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Author 
Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136988
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action