skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLink Books Lecture Notes in Computer Science Archive remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 Proceedings

Pichler, Franz ; Moreno-Diaz, Roberto ; Kopacek, Peter Kopacek, Peter ; Moreno-Díaz, Roberto ; Pichler, Franz

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

2
Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism
Material Type:
Livro
Adicionar ao Meu Espaço

Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism

Rao, Josyula Ramachandra Rao, Josyula Ramachandra

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

3
Applied Computational Electromagnetics: State of the Art and Future Trends
Material Type:
Livro
Adicionar ao Meu Espaço

Applied Computational Electromagnetics: State of the Art and Future Trends

Uzunoglu, Nikolaos K ; Nikita, Konstantina S ; Kaklamani, Dimitra I

Berlin, Heidelberg: Springer Berlin Heidelberg 2000

Texto completo disponível

4
Computer Aided Systems Theory — CAST '94: 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Systems Theory — CAST '94: 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected Papers

Klir, George J ; Ören, Tuncer I Ören, Tuncer I. ; Klir, George J.

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

5
Scientific Computation with Automatic Result Verification
Material Type:
Livro
Adicionar ao Meu Espaço

Scientific Computation with Automatic Result Verification

Kulisch, Ulrich ; Stetter, Hans J Stetter, Hans J. ; Kulisch, Ulrich

Vienna: Springer Wien 1988

Texto completo disponível

6
Visualization in Scientific Computing '95: Proceedings of the Eurographics Workshop in Chia, Italy, May 3-5, 1995
Material Type:
Livro
Adicionar ao Meu Espaço

Visualization in Scientific Computing '95: Proceedings of the Eurographics Workshop in Chia, Italy, May 3-5, 1995

Scateni, Riccardo ; Wijk, Jarke J. van ; Zanarini, Pietro Zanarini, Pietro ; Scateni, Riccardo ; van Wijk, Jarke J.

Vienna: Springer 1995

Texto completo disponível

7
High Performance Computing in Science and Engineering '01: Transactions of the High Performance Computing Center Stuttgart (HLRS) 2001
Material Type:
Livro
Adicionar ao Meu Espaço

High Performance Computing in Science and Engineering '01: Transactions of the High Performance Computing Center Stuttgart (HLRS) 2001

Krause, Egon ; Jäger, Willi

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

8
Computer Simulation and Computer Algebra: Lectures for Beginners
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Simulation and Computer Algebra: Lectures for Beginners

Stauffer, Dietrich ; Hehl, Friedrich W ; Ito, Nobuyasu ; Winkelmann, Volker ; Zabolitzky, John G

Berlin, Heidelberg: Springer Berlin / Heidelberg 1993

Texto completo disponível

9
Quantum Computing
Material Type:
Livro
Adicionar ao Meu Espaço

Quantum Computing

Hirvensalo, Mika

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

10
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
Material Type:
Livro
Adicionar ao Meu Espaço

C++ and Object-Oriented Numeric Computing for Scientists and Engineers

Yang, Daoqi

New York, NY: Springer 2000

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (12)

Buscando em bases de dados remotas. Favor aguardar.