54 treff

Dewey-nr: 004.0151
Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings
International Workshop on Distributed Algorithms
Bok Engelsk 1996 · Vis mer
Punctured convolutional codes and their applications
Kjell Jørgen Hole
Bok Engelsk 1990 · Les boka på nett · Vis mer
Systems of nonlinear partial differential equations modeling polymer flooding
Aslak Tveito
Bok Engelsk 1988 · Les boka på nett · Vis mer
Feynman and computation : exploring the limits of computers
edited by Anthony J.G. Hey
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
On multivariate Simplex B-splines
by Ky Van Ha
Bok Engelsk 1988 · Vis mer
A Riemann solver for a two-phase multicomponent process
Thormod Johansen, Aslak Tveito, Ragnar Wi...
Bok Engelsk 1988 · Vis mer
Convergence and stability of the Lax-Friedrichs scheme for a nonlinear parabolic polymer flooding problem
Aslak Tveito
Bok Engelsk 1988 · Vis mer
Convergence of a non-conservative finite difference scheme for a system of hyperbolic conservation laws
Aslak Tveito, Ragnar Winther
Bok Engelsk 1988 · Vis mer
Multidimensional numerical integration
Terje O. Espelid
Bok Engelsk 1989 · Vis mer
On the stability of relaxed incomplete LU factorizations
by Are Magnus Bruaset, Aslak Tveito and R...
Bok Engelsk 1988 · Vis mer
Introducing Girard's quantitative domains : the quantitative domains as a model for nondeterminism and typed λ-calculus with recursive types
Ore, Christian-Emil
Bok Engelsk 1988 · Vis mer
Cut elimination and automatic proof procedures
by Wenhui Zhang
Bok Engelsk 1988 · Vis mer
Verification of systems of processes and monitors : two examples
Stein Gjessing
Bok Engelsk 1987 · Vis mer
Axiomatic semantics of access type tasks in Ada
Sigurd Meldal
Bok Engelsk 1986 · Vis mer
Language elements for hierarchical abstraction in concurrent structures
Sigurd Meldal
Bok Engelsk 1986 · Vis mer
Predicting the future : proof-rules for exceptions in concurrent structures
Sigurd Meldal
Bok Engelsk 1986 · Vis mer
The response function method for specifying concurrent systems
Olaf Owe
Bok Engelsk 1986 · Vis mer
Specification and reasoning about discrete simulation models : a case study
by Ole-Johan Dahl
Bok Engelsk 1985 · Vis mer
An axiomatic semantics of concurrent processes and monitors
by Stein Gjessing
Bok Engelsk 1985 · Vis mer
Exits from systems of nested processes : an axiomatic semantics
Sigurd Meldal
Bok Engelsk 1985 · Vis mer
On information discharging and retrieval in Martin-L#øf`s type theory
by Anne Salvesen
Bok Språk ikke angitt 1989 · Vis mer
On information discharging and retrieval in Martin-Löfs type theory
by Anne Salvesen
Bok Engelsk 1989 · Les boka på nett · Vis mer
Principal components and PLS-analysis generalized to multi-way data arrays
Svante Wold ... [et al.]
Bok Engelsk 1986 · Vis mer
Numerical methods and Fortran programming : with applications in engineering and science
MacCracken, Daniel D.
Bok Engelsk 1968 · Vis mer