Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Bayesian Computation with RAlbert, JimNew York, NY: Springer Nature 2009Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Formal Semantics for VHDLAllen, Jonathan ; Kloos, Carlos Delgado ; Breuer, Peter T Kloos, Carlos Delgado ; Breuer, Peter T.Boston, MA: Springer 1995Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedingsAsian Computing Science Conference (9th 2004 Chiang Mai, Thailand) Michael Maher 1959-; Jean-Louis LassezBerlin Springer-Verlag New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Learning Discrete Mathematics with ISETLBaxter, Nancy ; Dubinsky, Edward ; Levin, GaryNew York, NY: Springer 1988Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
FORTRAN IV in chemistry ; an introduction to computer-assisted methodsBeech, GrahamLondon: Wiley 1975Sem texto completo |
6 |
Material Type: Livro
|
![]() |
|
7 |
Material Type: Livro
|
![]() |
An Optimized Translation Process and Its Application to ALGOL 68Branquart, Paul ; Cardinael, Jean-Pierre ; Lewi, Johan ; Delescaille, Jean-Paul ; Vanbegin, MichaelBerlin, Heidelberg: Springer Berlin Heidelberg 1976Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
3-D computer graphics: a mathematical introduction with OpenGLBuss, Samuel RCambridge University Press 2003Sem texto completo |
9 |
Material Type: Livro
|
![]() |
Algorithmic Information TheoryChaitin, Gregory. J.Cambridge University Press 1987Sem texto completo |
10 |
Material Type: Livro
|
![]() |
High-Level Language Computer ArchitectureChu, YaohanSan Diego: Elsevier Science & Technology 1975Texto completo disponível |