Limit Search Results
Author
SpringerLink (Online service)
(155)
Bebis, George. editor.
(7)
Boyle, Richard. editor.
(7)
Jansen, Klaus. editor.
(7)
Koracin, Darko. editor.
(7)
Language
English
(155)
Publication Date
-
2011
(25)
2008
(19)
2010
(18)
2009
(17)
2013
(17)
Subject
Computer science.
(153)
Computational complexity.
(65)
Computer Communication Networks.
(63)
Artificial intelligence.
(42)
Data encryption (Computer science).
(37)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
155 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
Author 
Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21581-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Trust and Trustworthy Computing 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings
Trust and Trustworthy Computing 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings
Author 
McCune, Jonathan M. editor. Balacheff, Boris. editor. Perrig, Adrian. editor. Sadeghi, Ahmad-Reza. editor. Sasse, Angela. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21599-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithms and Data Structures 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings
Algorithms and Data Structures 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings
Author 
Dehne, Frank. editor. Iacono, John. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22300-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial General Intelligence 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings
Artificial General Intelligence 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings
Author 
Schmidhuber, Jürgen. editor. Thórisson, Kristinn R. editor. Looks, Moshe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22887-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings
Author 
Goldberg, Leslie Ann. editor. Jansen, Klaus. editor. Ravi, R. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22935-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings
Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings
Author 
Baras, John S. editor. Katz, Jonathan. editor. Altman, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25280-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
Author 
Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18275-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Author 
Spring, Neil. editor. Riley, George F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Theory of Cryptography 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings
Theory of Cryptography 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings
Author 
Ishai, Yuval. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19571-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I
Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I
Author 
Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21822-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part II
Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part II
Author 
Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21827-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Data and Applications Security and Privacy XXV 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings
Data and Applications Security and Privacy XXV 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings
Author 
Li, Yingjiu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22348-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action