Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Colloquium structuur van programmeertalen Book

L. Ammeraal, H.J. Boom, D. Grune (Dick), P.J.W. ten Hagen (Paul), P. Klint (Paul), F.E.J. Kruseman Aretz, L.G.L.T. Meertens (Lambert), R.P. van de Riet (Reind), W.P. de Roever and A.S. Tanenbaum (Andrew)

January 1976
Colloquium onderwerpen uit de biomathematica, vol. 1 Book

J.W. de Roever

January 1976
Asymptotische methoden in de toetsingstheorie : toepassingen van naburigheid Book

R. Helmers (Roelof), J. Oosterhoff, F.H. Ruymgaart and M.C.A. van Zuylen

January 1976
ALGOL 60 procedures voor begin- en randwaardeproblemen Book

T.M.T. Coolen, P.W. Hemker (Piet), P.J. van der Houwen (Piet) and E. Slagt

January 1976
Cursus programmeren, deel 1: de elementen van het programmeren (2e dr.) Book

L.J.M. Geurts (Leo)

January 1976
Leergang besliskunde, 3: Statistiek Book

J. Hemelrijk (Jan) and J. Kriens

January 1976
Leergang besliskunde, 2: Kansrekening Book

J. Hemelrijk (Jan) and J. Kriens

January 1976
Leergang besliskunde, 1: Wiskundige basiskennis Book

F. Göbel and J. van de Lune (Jan)

January 1976
Topological structures : proceedings of a symposium, organized by the Wiskundig Genootschap of the Netherlands, 07.11.1973, in honour of J. de Groot (1914-1972) (2nd print.) Book

January 1976
Locally convex algebras in spectral theory and eigenfuntion expansions Book

H.G.J. Pijls

January 1976
Analysis of (s,S) inventory models (2nd ed.) Book

H.C. Tijms (Henk)

January 1976
Some properties related to compactness Book

J. van der Slot

January 1976
Slippage Tests Book

R. Doornbos

January 1976
Remarks on a paper of A. Erdélyi: "Asymptotic evaluation of integrals involving a fractional derivative" Article

SIAM Journal on Mathematical Analysis, 7(5), 767-770.

N.M. Temme (Nico)

January 1976
On the numerical evaluation of the ordinary bessel function of the second kind Article

Journal of Computational Physics, 21(3), 343-350.

N.M. Temme (Nico)

January 1976
Exercises in denotational semantics In Proceedings

K.R. Apt (Krzysztof) and J.W. de Bakker (Jaco)

January 1976
Oplossen van tweepunts randwaardeproblemen Article

Mathematisch Centrum Syllabus, 101-142.

P.W. Hemker (Piet) and J.P. Roos

January 1976
Gewogen residuemethoden Book Chapter

P.W. Hemker (Piet)

January 1976
De eindige elementenmethode voor het discretiseren van elliptische randwaardeproblemen In Proceedings

P.W. Hemker (Piet)

January 1976
Semantics of the infinistic rules of proof Article

Journal of Symbolic Logic, 121-138.

K.R. Apt (Krzysztof)

January 1976
Linking systems, matroids, and bipartite graphs Article

Proceedings fifth British Combinatorial Conference (C.St.J.A. Nash-Williams and J. Sheehan, eds.), 541-544.

A. Schrijver (Lex)

January 1976
Cyclische codes Book Chapter

A.E. Brouwer (Andries) and A. Schrijver (Lex)

January 1976
Chemical reactions described by autonomous ordinary differential equations In Proceedings

N.M. Temme (Nico)

January 1976
Three research announcements on formal A-modules Tech Report

M. Hazewinkel (Michiel)

January 1976
Moduli and canonical forms for linear dynamical systems III : the algebraic-geometric case Tech Report

M. Hazewinkel (Michiel)

January 1976
Moduli and canonical forms for linear dynamical systems II : the topological case Tech Report

M. Hazewinkel (Michiel)

January 1976
A universal isomorphism of p-typical formal groups and operations in Brown-Peterson cohomology Tech Report

M. Hazewinkel (Michiel)

January 1976
On invariants, canonical forms and moduli for linear, constant, finite dimensional, dynamical systems Tech Report

M. Hazewinkel (Michiel) and R.E. Kalman

January 1976
On invariants, canonical forms and moduli for linear, constant, finite dimensional, dynamical systems In Proceedings

M. Hazewinkel (Michiel) and R.E. Kalman

January 1976
Stabilized Runge-Kutta methods for second order differential equations without first derivatives Tech Report

P.J. van der Houwen (Piet)

December 1975
Two efficient algorithms with guaranteed convergence for finding a zero of a function Article

ACM Transactions on Mathematical Software, 1(4), 330-345.

J.C.P. Bus and T.J. Dekker

December 1975
On the completeness of the inductive assertion method Article

Journal of Computer and System Sciences, 11(3), 323-357.

J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)

December 1975
Multiple feedback at a single server station Tech Report

I. Meilijson

October 1975
An extension of unification to substitutions with an application to automatic theorem proving In Proceedings

J.M. van Vaalen (Jophien)

September 1975
On the convergence of a class of variable metric algorithms Tech Report

J.C.P. Bus

August 1975
Some special formulas of the England class of fifth order Runge-Kutta schemes Tech Report

P.A. Beentjes

August 1975
On a conjecture of Iglehart Article

Management Science, 21(11), 1342-1345.

A. Hordijk (Arie) and H.C. Tijms (Henk)

July 1975
The asymptotic behaviour of the minimal total expected cost for the denumerable state Markov decision model Article

Journal of Applied Probability, 12(2), 298-305.

A. Hordijk (Arie), P.J. Schweitzer and H.C. Tijms (Henk)

June 1975
The membership question for ETOL-languages is polynomially complete Article

Information Processing Letters, 3(5), 138-143.

J. van Leeuwen (Jan)

May 1975
A sequence of nested cubature rules Tech Report

P.W. Hemker (Piet)

May 1975
Some applications of stabilized Runge-Kutta methods for hyperbolic differential equations Tech Report

E. Slagt

May 1975
The solution of a nonlinear elliptic operator equation by finite elements Tech Report

P.W. Hemker (Piet)

May 1975
The numerical solution of a singular perturbation problem in the domain exterior of a circle Tech Report

P.W. Hemker (Piet)

May 1975
Least fixed points revisited In Proceedings

J.W. de Bakker (Jaco)

March 1975
Two efficient algorithms with guaranteed convergence for finding a zero of a function Tech Report

J.C.P. Bus and T.J. Dekker

March 1975
Generalized linear multistep methods, 1 : Development of algorithms with zero-parasitic roots Tech Report

P.J. van der Houwen (Piet) and J.G. Verwer (Jan)

March 1975
Generalized linear multistep methods, 2 : Numerical applications Tech Report

J.G. Verwer (Jan)

March 1975
On operations in Brown-Peterson cohomology Tech Report

M. Hazewinkel (Michiel)

January 1975
On almost fixed point theory Tech Report

M. Hazewinkel (Michiel) and M. van de Vel

January 1975
Local class field theory is easy Tech Report

M. Hazewinkel (Michiel)

January 1975
A universal formal group and complex cobordism Article

Bulletin of the American Mathematical Society, 81(5), 930-933.

M. Hazewinkel (Michiel)

January 1975
Local class field theory is easy Article

Advances in Mathematics, 18(2), 148-181.

M. Hazewinkel (Michiel)

January 1975
Reizen op een graaf Tech Report

J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1975
Kortste-padproblemen Tech Report

B.J. Lageweg

January 1975
Network flow theory Tech Report

E.L. Lawler

January 1975
A note on the optimality of a switch-over policy for the M/G/1 queue with variable service rate Tech Report

H.C. Tijms (Henk)

January 1975
Optimal control of the workload in an M/G/1 queueing system with removable server Tech Report

H.C. Tijms (Henk)

January 1975
Technical aspects of the iterative solution of the automobile insurance problem Tech Report

P.J. Weeda

January 1975
A simple proof of the equivalence of the limiting distributions of the continuous-time and the embedded process of the queue size in the M/G/1 queue Tech Report

A. Hordijk (Arie) and H.C. Tijms (Henk)

January 1975
Graph terminology and elementary analyses for the social sciences : (prepublication) Tech Report

J.M. Anthonisse

January 1975
A graph-defining language : (2nd rev. ed) Tech Report

J.M. Anthonisse

January 1975
Boolean elements in combinatorial optimization : a survey Tech Report

P.L. Hammer

January 1975
Complexity of machine scheduling problems Tech Report

P. Brucker, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1975
On a switch-over policy for controlling the workload in a queueing system with two constant service rates and fixed switch-over costs : (prepublication) Tech Report

H.C. Tijms (Henk)

January 1975
On White's condition in dynamic programming : (prepublication) Tech Report

J.M. Anthonisse and H.C. Tijms (Henk)

January 1975
Convergent dynamic programming : (prepublication) Tech Report

A. Hordijk (Arie)

January 1975
Sensitive optimality criteria in countable state dynamic programming : (prepublication) Tech Report

A. Hordijk (Arie) and K. Sladky

January 1975
Regenerative markov decision models Tech Report

A. Hordijk (Arie)

January 1975
A recursive approach to the generation of combinatorial configurations Tech Report

J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1975
Graphlib 0: Procedures to represent, generate and analyse graphs Tech Report

J.M. Anthonisse and B.J. Lageweg

January 1975
Minimizing maximum lateness on one machine : Computational experience and some applications Tech Report

B.J. Lageweg, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1975
A probabilistic approach to renewal theory Tech Report

I. Meilijson

January 1975
Optimal sequencing of jobs subject to series parallel precedence constraints Tech Report

E.L. Lawler

January 1975
On dynamic programming with arbitrary state space, compact action space and the average return as criterion : (prepublication) Tech Report

H.C. Tijms (Henk)

January 1975
On the existence of discounted and average return equilibrium policies in n-person stochastic games : (prepublication) Tech Report

A. Federgruen, O.J. Vrieze and G.L. Wanrooij

January 1975
On the stability of products of stochastic matrices : (prepublication) Tech Report

J.M. Anthonisse and H.C. Tijms (Henk)

January 1975
Syllabus cursus Algol 68 : (herz. uitg) Tech Report

L. Ammeraal

January 1975
PDP program documentation series, 1; PDP 8 Tech Report

January 1975
Infal, an informatics library Tech Report

January 1975
Deterministically recognizing EOL-languages in time $0(n^{3.81} )$ Tech Report

J. van Leeuwen (Jan)

January 1975
Call-by-value versus call-by-name: a proof-theoretic comparison : (prepublication) Tech Report

W.P. de Roever

January 1975
Fixed point semantics and Dijkstra's fundamental invariance theorem Tech Report

J.W. de Bakker (Jaco)

January 1975
The Utor, a program for the connection of a number of peripherals to a general purpose computer Tech Report

P.J.W. ten Hagen (Paul) and C.L. Pippel

January 1975
An implementation of an Algol 68 sublanguage : (prepublication) Tech Report

L. Ammeraal

January 1975
Mini Algol 68 user's guide Tech Report

L. Ammeraal

January 1975
The organization of the object code generator in Algol 68 H : (prepublication) Tech Report

H.J. Boom

January 1975
On the design of programming languages including mini Algol 68 Tech Report

L. Ammeraal

January 1975
Design of an interactive graphics system Tech Report

P.J.W. ten Hagen (Paul), P. Klint (Paul), H. Noot (Han) and T. Hagen

January 1975
A note on the recursive enumerability of some classes of recursively enumerable languages : (prepublication) Tech Report

P. van Emde Boas (Peter) and P.M.B. Vitányi (Paul)

January 1975
On the non-vanishing terms in a product of multivariate polynomials : (prepublication) Tech Report

J. van Leeuwen (Jan)

January 1975
How program statements transform predicates : (prepublication) Tech Report

L. Ammeraal

January 1975
Digraphs associated with DOL systems : (prepublication) Tech Report

P.M.B. Vitányi (Paul)

January 1975
Some elementary proofs of lower-bounds in complexity-theory : (prepublication) Tech Report

J. van Leeuwen (Jan) and P. van Emde Boas (Peter)

January 1975
The halting problem for linear Turing assemblers Tech Report

R.M. Baer and J. van Leeuwen (Jan)

January 1975
Stochastic models of storage allocation systems Tech Report

C.L. Pippel and R. van Vliet

January 1975
Mode and meaning : (pepublication) Tech Report

L.G.L.T. Meertens (Lambert)

January 1975
Designing a beginners' programming language : (prepublication) Tech Report

L.J.M. Geurts (Leo) and L.G.L.T. Meertens (Lambert)

January 1975
Flow of control in the proof theory of structured programming : (prepublicationn) Tech Report

J.W. de Bakker (Jaco)

January 1975
Extending a run-time stack with some registers : (prepublication) Tech Report

L. Ammeraal

January 1975
Context sensitive table Lindenmayer languages and a relation to the LBA problem : (prepublication) Tech Report

P.M.B. Vitányi (Paul)

January 1975

Previous

Next

Available Years