Limit Search Results
Author
SpringerLink (Online service)
(84)
Hou, Zeng-Guang. editor.
(5)
Lee, Minho. editor.
(4)
Hirose, Akira. editor.
(3)
Kil, Rhee Man. editor.
(3)
Language
Publication Date
-
2013
(84)
Subject
Computer science.
(84)
Algorithm Analysis and Problem Complexity.
(48)
Artificial Intelligence (incl. Robotics).
(48)
Artificial intelligence.
(48)
Computer software.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Author 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334617.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
Author 
Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332892.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Author 
Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332979.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03524-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Author 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334034.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334610.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Transactions on Computational Collective Intelligence X
Transactions on Computational Collective Intelligence X
Author 
Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334611.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38496-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Author 
Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number 
ONLINE(334612.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38516-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Author 
Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334620.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334630.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38592-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action