Limit Search Results
Author
SpringerLink (Online service)
(51)
Ali, Moonis. editor.
(3)
Benferhat, Salem. editor. (orcid)0000-0002-4853-3637
(2)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(2)
Gama, Joao. editor. (orcid)0000-0003-3357-1195
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(22)
Computer science.
(16)
Application software.
(12)
Computer and Information Systems Applications.
(12)
Computer science -- Mathematics.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
55 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Author 
Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Graphic Recognition. Current Trends and Challenges 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015, Revised Selected Papers
Graphic Recognition. Current Trends and Challenges 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015, Revised Selected Papers
Author 
Lamiroy, Bart. editor. Dueire Lins, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52159-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I
Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I
Author 
Sidorov, Grigori. editor. Herrera-Alcántara, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
Author 
Skrzypczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52947-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Knowledge Management and Acquisition for Intelligent Systems 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016, Proceedings
Knowledge Management and Acquisition for Intelligent Systems 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016, Proceedings
Author 
Ohwada, Hayato. editor. Yoshida, Kenichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42706-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Machine Translation 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers
Machine Translation 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers
Author 
Yang, Muyun. editor. Liu, Shujie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Trends in Applied Knowledge-Based Systems and Data Science 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings
Trends in Applied Knowledge-Based Systems and Data Science 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings
Author 
Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Ali, Moonis. editor. Selamat, Ali. editor. Sasaki, Jun. editor. Kurematsu, Masaki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42007-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Author 
Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39300-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
Author 
Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49529-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
Author 
Göbel, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-11765-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Information and Communications Security 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 - December 2, 2016, Proceedings
Information and Communications Security 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 - December 2, 2016, Proceedings
Author 
Lam, Kwok-Yan. editor. (orcid)0000-0001-7479-7970 Chi, Chi-Hung. editor. Qing, Sihan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50011-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Intelligent Computing Methodologies 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III
Intelligent Computing Methodologies 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III
Author 
Huang, De-Shuang. editor. Han, Kyungsook. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action