Limit Search Results
Author
SpringerLink (Online service)
(213)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
English
(213)
Publication Date
-
2013
(213)
Subject
Computer software.
(213)
Computer science.
(208)
Computer Communication Networks.
(74)
Artificial Intelligence (incl. Robotics).
(71)
Artificial intelligence.
(71)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
213 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Author 
Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334174.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Author 
Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334179.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36334-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers
Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers
Author 
Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334296.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36803-5
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Author 
Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334299.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36812-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
Author 
Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334319.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36899-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334330.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36955-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Ad Hoc Networks 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers
Ad Hoc Networks 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers
Author 
Zheng, Jun. editor. Mitton, Nathalie. editor. Li, Jun. editor. Lorenz, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334331.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36958-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers
Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334342.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37015-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334355.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37064-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334380.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37189-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets