Limit Search Results
Author
SpringerLink (Online service)
(60)
Blum, Christian. editor.
(2)
Corchado, Emilio. editor.
(2)
Das, Swagatam. editor.
(2)
Dash, Shubhransu Sekhar. editor.
(2)
Language
Publication Date
-
2013
(60)
Subject
Computer science.
(60)
Algorithm Analysis and Problem Complexity.
(48)
Computer software.
(48)
Artificial Intelligence (incl. Robotics).
(26)
Artificial intelligence.
(26)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Author 
Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334778.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Author 
Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03680-9
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Author 
Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332999.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VII
Transactions on Petri Nets and Other Models of Concurrency VII
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Preferred Shelf Number 
ONLINE(334545.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38143-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
Select an Action