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
Computation by Abstract Devices.
(84)
Computer science.
(84)
Algorithm Analysis and Problem Complexity.
(48)
Artificial Intelligence (incl. Robotics).
(48)
Artificial intelligence.
(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 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:
2. 
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:
3. 
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:
4. 
Cover image for Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334381.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37192-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334383.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37198-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number 
ONLINE(334384.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37207-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Author 
Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334708.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38986-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
Author 
Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334722.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39065-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
Author 
Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39068-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334725.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action