Cargando…

Scientific computing with automatic result verification

Detalles Bibliográficos
Autores principales:	Adams, Ernst, Kulish, U
Lenguaje:	eng
Publicado:	Elsevier 1992
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/1253776

Ejemplares similares

Scientific Computation
por: Gonnet, Gaston H, et al.
Publicado: (2009)

Practical scientific computing
por: Muhammad, A, et al.
Publicado: (2011)

Visualization in scientific computing
por: Shriver, Bruce D, et al.
Publicado: (1990)

Combinatorial scientific computing
por: Naumann, Uwe
Publicado: (2012)

XML in scientific computing
por: Pozrikidis, C
Publicado: (2013)

Scientific computing: an introduction with parallel computing
por: Golub, Gene H, et al.
Publicado: (1993)

Introduction to scientific and technical computing
por: Willmore, Frank T, et al.
Publicado: (2016)

Parallel Scientific Computing and Optimization
por: Henty, David, et al.
Publicado: (2008)

Conference on the History of Scientific Computing
por: Nash, Stephen G
Publicado: (1990)

Computer animation for scientific visualization
por: Bauer, M E, et al.
Publicado: (1994)

Conference on Automatic Programming of Digital Computers
por: Collective
Publicado: (1960)

An introduction to scientific, symbolic, and graphical computation
por: Fiume, Eugene
Publicado: (1995)

International Conference on Advanced Scientific Computing
Publicado: (2019)

7th International Workshop on Computer Algebra in Scientific Computing
por: Collective
Publicado: (2004)

Verification of electromagnetic physics models for parallel computing architectures in the GeantV project
por: Amadio, G, et al.
Publicado: (2017)

Scientific computing with Scala: learn to solve scientific computing problems using Scala and its numerical computing, data processing, concurrency, and plotting libraries
por: Janc̆auskas, Vytautas
Publicado: (2016)

Numerical recipes in C: the art of scientific computing
por: Press, William H, et al.
Publicado: (1992)

Third Conference on Applied Mathematics and Scientiﬁc Computing
por: Drmac, Zlatko, et al.
Publicado: (2005)

International Conference on High Performance Scientific Computing
por: Bock, Hans, et al.
Publicado: (2005)

3rd ICASE Conference on Scientific Computing
por: Ortega, James M
Publicado: (1976)

Numerical recipes in C++: the art of scientific computing
por: Press, William H, et al.
Publicado: (2002)

High speed and large scale scientific computing
por: Gentzsch, W, et al.
Publicado: (2010)

MATLAB for neuroscientists: an introduction to scientific computing of MATLAB
por: Wallisch, Pascal
Publicado: (2014)

Technologies for Large Data Management in Scientific Computing
por: Pace, A
Publicado: (2013)

Decidability of parameterized verification
por: Bloem, Roderick, et al.
Publicado: (2015)

Program construction and verification
por: Backhouse, Roland Carl
Publicado: (1986)

Numerical recipes in Fortran 77: the art of scientific computing
por: Press, William H, et al.
Publicado: (1992)

Computer visualization: graphics techniques for scientific and engineering analysis
por: Gallagher, Richard S
Publicado: (1995)

Apache Spark usage and deployment models for scientific computing
por: Castro, Diogo, et al.
Publicado: (2019)

6th International Workshop on Applied Parallel Computing - Advanced Scientific Computing
Publicado: (2002)

Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to build the Modern Computer
por: Copeland, B Jack
Publicado: (2005)

CompHEP 44 - Automatic computations from lagrangians to events
por: Boos, E, et al.
Publicado: (2004)

Automatic Computer Algorithms for Beam-based Setup of the LHC Collimators
por: Valentino, G, et al.
Publicado: (2012)

Modelling and verification of secure exams
por: Giustolisi, Rosario
Publicado: (2018)

Biometric Technologies and Verification Systems
por: Vacca, John R
Publicado: (2007)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

New developments in program verification
por: Wolper, P
Publicado: (1991)

Learning Julia: build high-performance applications for scientific computing
por: Joshi, Anshul, et al.
Publicado: (2017)

Strategic Plan for a Scientific Cloud Computing infrastructure for Europe
por: Lengert, Maryline, et al.
Publicado: (2011)

The analysis of communication content: developments in scientific theories and computer techniques
por: Holsti, Ole R, et al.
Publicado: (1969)

Cannot write session to /tmp/vufind_sessions/sess_52ol30950eospeqlhjc690qpvb