Limit Search Results
Author
SpringerLink (Online service)
(223)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
English
(225)
Publication Date
-
Subject
Algorithm Analysis and Problem Complexity.
(213)
Computer software.
(213)
Computer science.
(208)
Computer Communication Networks.
(74)
Artificial intelligence.
(72)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
225 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Author 
Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40793-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Author 
Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40820-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Author 
Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.
Preferred Shelf Number 
ONLINE(335016.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
Author 
Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.
Preferred Shelf Number 
ONLINE(335017.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40846-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Author 
Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings
Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings
Author 
Fürnkranz, Johannes. editor. Hüllermeier, Eyke. editor. Higuchi, Tomoyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335025.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40897-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Author 
Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335029.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40925-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Author 
Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335030.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40935-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings
Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings
Author 
Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335103.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41398-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action