Jump to main content

yr 〜
yr

Search results 11

45th Session : Aug 1985, Amsterdam. (Bulletin - International Statistical Institute ; 51)

45th Session : Aug 1985, Amsterdam. (Bulletin - International Statistical Institute ; 51)
Paper図書
Centre for Mathematics and Computer Science1986.<M17-88-1363>
National Diet Library

On the design of ALEPH

On the design of ALEPH
Paper図書
D. GruneCentre for Mathematics and Computer Sciencec1986.
Other Libraries in Japan

The misconstrued semicolon : reconciling imperative languages and dataflow machines

The misconstrued semicolon : reconciling imperative languages and dataflow machines
Paper図書
A. H. VeenCentre for Mathematics and Computer Sciencec1986
Other Libraries in Japan

Analytic spaces and dynamic programming: a measure-theoretic approach

Analytic spaces and dynamic programming: a measure-theoretic approach
Paper図書
J.G.F.ThiemannCentre for Mathematics and Computer Science1985
Other Libraries in Japan

Mixed elliptic-hyperbolic partial differential operators : acase-study in Fourier integral operators

Mixed elliptic-hyperbolic partial differential operators : acase-study in Fourier integral operators
Paper図書
R. J. P. GroothuizenCentre for Mathematics and Computer Science.1985.
Other Libraries in Japan

Symmetries for dynamical and Hamiltonian systems

Symmetries for dynamical and Hamiltonian systems
Paper図書
H. M. M. ten EikelderCentre for Mathematics and Computer Sciencec1985.
Other Libraries in Japan

The numerical solution of nonlinear stiff initial value problems : an analysis of one step methods

The numerical solution of nonlinear stiff initial value problems : an analysis of one step methods
Paper図書
W. H. HundsdorferCentre for Mathematics and Computer Science1985
Other Libraries in Japan

Calculation of special functions : the gamma function, the exponential integrals and error-like functions

Calculation of special functions : the gamma function, the exponential integrals and error-like functions
Paper図書
C.G. van der Laan, N.M. TemmeCentre for Mathematics and Computer Science.1984.
Other Libraries in Japan

Controlled Markov processes : time descretization

Controlled Markov processes : time descretization
Paper図書
N. M. van DijkCentre for Mathematics and Computer Science.1984.
Other Libraries in Japan

Models of the lambda calculus

Models of the lambda calculus
Paper図書
C.P.J. KoymansCentre for Mathematics and Computer Science1984
Other Libraries in Japan

CWI newsletter

CWI newsletter
Paper雑誌雑誌タイトル
Centrum voor Wiskunde en Informatica, Centre for Mathematics and Computer ScienceCentre for Mathematics and Computer Science, Centrum voor Wiskunde en Informatica1983-1987
Other Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS