Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Computational Methods in Transport: Verification and ValidationBarth, Timothy J ; Griebel, Michael ; Keyes, David E ; Nieminen, Risto M ; Roose, Dirk ; Schlick, TamarSpringer-Verlag 2008Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Modeling, Simulation and Optimization of Complex Processes: Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, VietnamBock, Hans Georg ; Kostina, Ekaterina ; Hoang, Xuan Phu ; Rannacher, RolfBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Scientific Visualization: The Visual Extraction of Knowledge from DataBonneau, Georges-Pierre ; Ertl, Thomas ; Nielson, Gregory MSpringer-Verlag 2006Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)Berlin u.a. Springer 2010Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and PsychophysicsCampion, GianniSpringer Verlag London Limited 2011Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Scalable Network Monitoring in High Speed NetworksChoi, Baek-Young ; Du, David Hung-Chang ; Zhang, Zhi-LiNew York, NY: Springer Science + Business Media 2011Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Job Scheduling Strategies for Parallel Processing: 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected PapersCirne, Walfredo ; Desai, Narayan ; Frachtenberg, Eitan ; Schwiegelshohn, Uwe Frachtenberg, Eitan ; Schwiegelshohn, Uwe ; Desai, Narayan ; Cirne, WalfredoNetherlands: Springer Nature 2013Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Scientific Computing in Electrical EngineeringCiuprina, Gabriela ; Ioan, DanielBerlin, Heidelberg: Springer-Verlag 2007Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Foundations of software technology and theoretical computer science 19th conference, Chennai, India, December 13-15, 1999 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (19th 1999 Chennai, India) V Raman 1962- (Venkatesh); C Pandu Rangan 1955-; R RamanujamBerlin Springer New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1738 e.1 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (20th 2000 New Delhi, India) Sanjiv Kapoor 1959-; Sanjiva PrasadBerlin Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1974 ) e outros locais(Acessar) |