Limit Search Results
Author
SpringerLink (Online service)
(140)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(3)
Kumar, Vipin. editor. (orcid)0000-0002-9040-2665
(3)
Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759
(3)
Wang, Can. editor. (orcid)0000-0002-2890-0057
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(45)
Computer science.
(36)
Mathematics.
(30)
Application software.
(24)
Computer science -- Mathematics.
(21)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
143 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Author 
Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Digital Forensics and Watermarking 16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings
Digital Forensics and Watermarking 16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings
Author 
Kraetzer, Christian. editor. Shi, Yun-Qing. editor. Dittmann, Jana. editor. Kim, Hyoung Joong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64185-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Author 
de Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63046-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
Author 
Trautmann, Heike. editor. Rudolph, Günter. editor. Klamroth, Kathrin. editor. Schütze, Oliver. editor. Wiecek, Margaret. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54157-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algorithms for Next-Generation Sequencing Data Techniques, Approaches, and Applications
Algorithms for Next-Generation Sequencing Data Techniques, Approaches, and Applications
Author 
Elloumi, Mourad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Soft Computing in Data Science Third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings
Soft Computing in Data Science Third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings
Author 
Mohamed, Azlinah. editor. Berry, Michael W. editor. Yap, Bee Wah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7242-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications
Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications
Author 
Tomlinson, Martin. author. Tjhai, Cen Jung. author. Ambroze, Marcel A. author. Ahmed, Mohammed. author. Jibril, Mubarak. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51103-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
Author 
Das, Shantanu. editor. Tixeuil, Sebastien. editor. (orcid)0000-0002-0948-7172 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I
Author 
Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60042-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Provable Security 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings
Provable Security 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings
Author 
Okamoto, Tatsuaki. editor. Yu, Yong. editor. Au, Man Ho. editor. Li, Yannan. editor. (orcid)0000-0002-4407-9027 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68637-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XII
Transactions on Petri Nets and Other Models of Concurrency XII
Author 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55862-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II
Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II
Author 
Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62428-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action