Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Livro
|
Genetic Programming: 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, ProceedingsHeywood, Malcolm I ; McDermott, James ; Castelli, Mauro ; Costa, Ernesto ; Sim, Kevin Castelli, Mauro ; Heywood, Malcolm I ; Costa, Ernesto ; McDermott, James ; Costa, Ernesto ; McDermott, James ; Sim, Kevin ; Heywood, Malcolm I. ; Castelli, MauroCham: Springer Nature 2016Texto completo disponível |
|
3 |
Material Type: Livro
|
Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, ProceedingsGerdt, Vladimir P ; Koepf, Wolfram ; Seiler, Werner M ; Vorozhtsov, Evgenii V Vorozhtsov, Evgenii V ; Seiler, Werner M ; Koepf, Wolfram ; Gerdt, Vladimir P ; Gerdt, Vladimir P. ; Vorozhtsov, Evgenii V. ; Seiler, Werner M. ; Koepf, WolframCham: Springer Nature 2016Texto completo disponível |
|
4 |
Material Type: Livro
|
Combinatorial Algorithms: 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected PapersLipták, Zsuzsanna ; Smyth, William F Lipt'k, Zsuzsanna ; Smyth, William F ; Smyth, William F. ; Lipták, ZsuzsannaCham: Springer Nature 2016Texto completo disponível |
|
5 |
Material Type: Livro
|
Swarm Intelligence Based Optimization: Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected PapersSiarry, Patrick ; Idoumghar, Lhassane ; Lepagnot, Julien Lepagnot, Julien ; Idoumghar, Lhassane ; Siarry, Patrick ; Lepagnot, Julien ; Idoumghar, Lhassane ; Siarry, PatrickCham: Springer Nature 2016Texto completo disponível |
|
6 |
Material Type: Livro
|
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. ProceedingsCâmpeanu, Cezar ; Manea, Florin ; Shallit, Jeffrey Manea, Florin ; Shallit, Jeffrey ; C'mpeanu, Cezar ; Câmpeanu, Cezar ; Manea, Florin ; Shallit, JeffreyNetherlands: Springer Nature 2016Texto completo disponível |
|
7 |
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 |
|
8 |
Material Type: Livro
|
Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, ProceedingsGoldberg, Andrew V ; Kulikov, Alexander S Kulikov, Alexander S ; Goldberg, Andrew V ; Kulikov, Alexander S. ; Goldberg, Andrew V.Cham: Springer Nature 2016Texto completo disponível |
|
9 |
Material Type: Livro
|
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th BirthdayCalude, Cristian S ; Freivalds, Rusins ; Kazuo, Iwama Calude, Cristian S ; Freivalds, Rūsiņ ; Kazuo, Iwama ; Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, IwamaCham: Springer Nature 2014Texto completo disponível |
|
10 |
Material Type: Livro
|
Quantum Attacks on Public-Key CryptosystemsYan, Song Y.Boston, MA: Springer US 2013Texto completo disponível |