Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer methods in mathematicsBob Albrecht 1930- Eric Lindberg; Walter MaraMenlo Park, Calif. Addison-Wesley Pub. Co 1969Localização: EPBC - Esc. Politécnica-Bib Central (51 AL15c ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, ProceedingsKauers, Manuel ; Davenport, James H. ; Labahn, George ; Urban, JosefCham: Springer International Publishing 2018Sem texto completo |
|
3 |
Material Type: Livro
|
|
|
4 |
Material Type: Livro
|
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, ProceedingsCastor, Fernando ; Liu, Yu David Castor, Fernando ; Liu, Yu DavidCham: Springer International Publishing AG 2016Texto completo disponível |
|
5 |
Material Type: Livro
|
Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, ProceedingsVantaggi, Barbara ; Ciucci, Davide ; Pasi, GabriellaCham: Springer International PublishingSem texto completo |
|
6 |
Material Type: Livro
|
Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected PapersLachiche, Nicolas ; Vrain, Christel Vrain, Christel ; Lachiche, NicolasCham: Springer International Publishing 2018Sem texto completo |
|
7 |
Material Type: Livro
|
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, ProceedingsYoussef, Abdou ; Farmer, William M. ; Passmore, Grant O. ; Rabe, FlorianCham: Springer International Publishing 2018Sem texto completo |
|
8 |
Material Type: Livro
|
Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial LecturesCunha, Jácome ; Saraiva, João ; Fernandes, João P. ; Zaytsev, Vadim ; Lämmel, RalfCham: Springer International Publishing 2017Sem texto completo |
|
9 |
Material Type: Livro
|
The Statistical Analysis of Doubly Truncated Data: With Applications in Rde Uña-Álvarez, Jacobo ; Crujeiras, Rosa M ; Moreira, CarlaNewark: John Wiley & Sons, Incorporated 2021Sem texto completo |
|
10 |
Material Type: Livro
|
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, ProceedingsDavies, Misty ; Kahsai, Temesghen ; Barrett, ClarkCham: Springer International Publishing 2017Sem texto completo |