Limit Search Results
Author
SpringerLink (Online service)
(211)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
English
(211)
Subject
Computer software.
(210)
Algorithm Analysis and Problem Complexity.
(208)
Computer Communication Networks.
(73)
Artificial Intelligence (incl. Robotics).
(71)
Artificial intelligence.
(71)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
211 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers
Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers
Author 
Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334097.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Author 
Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number 
ONLINE(334106.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
Author 
Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36065-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
Author 
Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36071-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings
Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings
Author 
Sahai, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334242.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36594-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers
Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers
Author 
Guyot, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334561.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38227-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
Author 
Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334563.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38233-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Author 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings
Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings
Author 
Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334572.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38267-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers
Author 
Peterson, Leif E. editor. Masulli, Francesco. editor. Russo, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334585.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38342-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Author 
Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334587.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets