Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Computer Aided Systems Theory - EUROCAST'99: A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 ProceedingsPichler, Franz ; Moreno-Diaz, Roberto ; Kopacek, Peter Kopacek, Peter ; Moreno-Díaz, Roberto ; Pichler, FranzBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in ParallelismRao, Josyula Ramachandra Rao, Josyula RamachandraBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Applied Computational Electromagnetics: State of the Art and Future TrendsUzunoglu, Nikolaos K ; Nikita, Konstantina S ; Kaklamani, Dimitra IBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Computer Aided Systems Theory — CAST '94: 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected PapersKlir, George J ; Ören, Tuncer I Ören, Tuncer I. ; Klir, George J.Berlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Scientific Computation with Automatic Result VerificationKulisch, Ulrich ; Stetter, Hans J Stetter, Hans J. ; Kulisch, UlrichVienna: Springer Wien 1988Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Visualization in Scientific Computing '95: Proceedings of the Eurographics Workshop in Chia, Italy, May 3-5, 1995Scateni, Riccardo ; Wijk, Jarke J. van ; Zanarini, Pietro Zanarini, Pietro ; Scateni, Riccardo ; van Wijk, Jarke J.Vienna: Springer 1995Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
High Performance Computing in Science and Engineering '01: Transactions of the High Performance Computing Center Stuttgart (HLRS) 2001Krause, Egon ; Jäger, WilliBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Computer Simulation and Computer Algebra: Lectures for BeginnersStauffer, Dietrich ; Hehl, Friedrich W ; Ito, Nobuyasu ; Winkelmann, Volker ; Zabolitzky, John GBerlin, Heidelberg: Springer Berlin / Heidelberg 1993Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Quantum ComputingHirvensalo, MikaBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
C++ and Object-Oriented Numeric Computing for Scientists and EngineersYang, DaoqiNew York, NY: Springer 2000Texto completo disponível |