Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, ProceedingsFalcone, Yliès ; Sánchez, César S'nchez, C'sar ; Falcone, Yli's ; Sánchez, César ; Falcone, YlièsCham: Springer Nature 2016Texto completo disponível |
|
2 |
Material Type: Livro
|
Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, ProceedingsGreuel, Gert-Martin ; Koch, Thorsten ; Paule, Peter ; Sommese, Andrew Greuel, Gert-Martin ; Paule, Peter ; Sommese, Andrew ; Koch, Thorsten ; Sommese, Andrew ; Greuel, Gert-Martin ; Koch, Thorsten ; Paule, PeterCham: Springer Nature 2016Texto completo disponível |
|
3 |
Material Type: Livro
|
Provable Security: 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, ProceedingsChen, Liqun ; Han, Jinguang Chen, Liqun ; Han, Jinguang ; Chen, Liqun ; Han, JinguangCham: Springer Nature 2016Texto completo disponível |
|
4 |
Material Type: Livro
|
Discovery Science: 19th International Conference, DS 2016, Bari, Italy, October 19-21, 2016, ProceedingsCalders, Toon ; Ceci, Michelangelo ; Malerba, Donato Malerba, Donato ; Calders, Toon ; Ceci, Michelangelo ; Ceci, Michelangelo ; Malerba, Donato ; Calders, ToonCham: Springer Nature 2016Texto completo disponível |
|
5 |
Material Type: Livro
|
Artificial Neural Networks in Pattern Recognition: 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016, ProceedingsSchwenker, Friedhelm ; Abbas, Hazem M ; El Gayar, Neamat ; Trentin, Edmondo Abbas, Hazem M ; Trentin, Edmondo ; El Gayar, Neamat ; Schwenker, Friedhelm ; Schwenker, Friedhelm ; Abbas, Hazem M. ; El Gayar, Neamat ; Trentin, EdmondoCham: Springer Nature 2016Texto completo disponível |
|
6 |
Material Type: Livro
|
Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected PapersInoue, Katsumi ; Ohwada, Hayato ; Yamamoto, Akihiro Ohwada, Hayato ; Yamamoto, Akihiro ; Inoue, Katsumi ; Inoue, Katsumi ; Yamamoto, Akihiro ; Ohwada, HayatoCham: Springer Nature 2016Texto completo disponível |
|
7 |
Material Type: Livro
|
Smart Health: International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected PapersZheng, Xiaolong ; Zeng, Daniel Dajun ; Chen, Hsinchun ; Leischow, Scott J Zheng, Xiaolong ; Chen, Hsinchun ; Leischow, Scott J ; Zeng, Daniel Dajun ; Zeng, Daniel Dajun ; Leischow, Scott J. ; Chen, Hsinchun ; Zheng, XiaolongCham: Springer Nature 2016Texto completo disponível |
|
8 |
Material Type: Livro
|
Web Technologies and Applications: APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, ProceedingsMorishima, Atsuyuki ; Zhang, Rong ; Zhang, Wenjie ; Chang, Lijun ; Fu, Tom Z. J ; Liu, Kuien ; Yang, Xiaoyan ; Zhu, Jia ; Zhang, Zhiwei Chang, Lijun ; Zhang, Rong ; Morishima, Atsuyuki ; Zhang, WenjieCham: Springer Nature 2016Texto completo disponível |
|
9 |
Material Type: Livro
|
Computational Topology in Image Context: 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, ProceedingsBac, Alexandra ; Mari, Jean-Luc Mari, Jean-Luc ; Bac, Alexandra ; Bac, Alexandra ; Mari, Jean-LucCham: Springer Nature 2016Texto completo disponível |
|
10 |
Material Type: Livro
|
Algorithmic Learning Theory: 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, ProceedingsOrtner, Ronald ; Simon, Hans Ulrich ; Zilles, Sandra Zilles, Sandra ; Ortner, Ronald ; Simon, Hans Ulrich ; Simon, Hans Ulrich ; Ortner, Ronald ; Zilles, SandraCham: Springer Nature 2016Texto completo disponível |