Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]

Additional Metadata
Publisher	Stichting Mathematisch Centrum
Editor	G.Y. Nieuwland
ISBN	978-90-6196-462-9
Hard Copy Location	CWI Archive M044: 14-16
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Nieuwland, G. Y. (Ed.). (1996). Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]. (G. Y. Nieuwland, Ed.). Stichting Mathematisch Centrum.

View at Worldcat

Full Text ( Final Version , 27mb )

See Also
bookChapter Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]) G.Y. Nieuwland
bookChapter Editorial Foreword : [published on the occasion of the 50th anniversary of the SMC] G.Y. Nieuwland
bookChapter Computers: (Ac)counting for Mathematical Proofs A.M. Cohen (Arjeh)
bookChapter The Quest for Correctness H.P. Barendregt (Henk)
bookChapter Mathematical Statistics: Fringe of Frontier? R.D. Gill (Richard)
bookChapter The Many Faces of Computer Science H.J. Sips
bookChapter Polynomial Splines in Two Variables C.R. Traas
bookChapter Ergodic Theory M.S. Keane
bookChapter Markov Decision Chains A. Hordijk (Arie)
bookChapter Infinite-Dimensional Linear Systems Theory R.F. Curtain
bookChapter Coding Theory J.H. van Lint
bookChapter Analysis on Lie Groups G. van Dijk
bookChapter Functional Analysis and Optimization Problems in Hydrodynamic Propulsion J.A. Sparenberg, P. Sijtsma and H.P. Urbach
bookChapter Singularity Theory T. de Jong and J.H.M. Steenbrink
bookChapter The Moduli Project, 1981-1988 G.B.M. van der Geer, F. Oort and C.A.M. Peters
bookChapter Instuitionistic Logic and Topos Theory I. Moerdijk
bookChapter Statistics and Medieval Astronomical Tables B. van Dalen
bookChapter Mathematical Aspects of Nonlinear Dynamical Systems H.W. Broer and F. Takens
bookChapter Mathematical Epidemiology of Infectious Diseases O. Diekmann (Odo)
bookChapter Optimizing Transportation by Polyhedra A. Schrijver (Lex)
bookChapter Queueing Theory O.J. Boxma (Onno)
bookChapter System Theory - A Brief Exposition J.M. van den Hof and J.H. van Schuppen (Jan)
bookChapter Bootstrap Resampling R. Helmers (Roelof)
bookChapter Morphological Image Processing H.J.A.M. Heijmans (Henk)
bookChapter Numerical Algorithms for Transport-Chemistry Problems J.G. Verwer (Jan)
bookChapter Multigrid, Semi-Refinement and Fluid Flow P.W. Hemker (Piet)
bookChapter Computational Number Theory H.J.J. te Riele (Herman)
bookChapter Semantics J.W. de Bakker (Jaco)
bookChapter Hybrid Systems F.W. Vaandrager (Frits)
bookChapter Generating Interactive Programming Environments J. Heering (Jan) and P. Klint (Paul)
bookChapter Rewriting I. Bethke and J.W. Klop (Jan Willem)
bookChapter A Tour of Algorithmics P.M.B. Vitányi (Paul)
bookChapter An Electronic Wallet for Digital Money R.A. Hirschfeld (Robert)
bookChapter Interactive Mathematical Books A.M. Cohen (Arjeh), L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)
bookChapter Logic Programming K.R. Apt (Krzysztof)
bookChapter On the Borderline of Logic Language and Computation D.J.N. van Eijck (Jan)
bookChapter Computational Steering R. van Liere (Robert) and J.J. van Wijk (Jack)
bookChapter Architectures for human-computer communication A.A.M. Kuijk (Fons)
bookChapter Coordination of Cooperative Agents F. Arbab (Farhad)
bookChapter From paper Plotters to Interactive Multimedia Systems M. Bakker (Miente) and P.J.W. ten Hagen (Paul)
bookChapter The Authors
bookChapter Coding Theory J.H. van Lint
bookChapter Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]) G.Y. Nieuwland
bookChapter Editorial Foreword : [published on the occasion of the 50th anniversary of the SMC] G.Y. Nieuwland
bookChapter Computers: (Ac)counting for Mathematical Proofs A.M. Cohen (Arjeh)
bookChapter The Quest for Correctness H.P. Barendregt (Henk)
bookChapter Mathematical Statistics: Fringe of Frontier? R.D. Gill (Richard)
bookChapter The Many Faces of Computer Science H.J. Sips
bookChapter Polynomial Splines in Two Variables C.R. Traas
bookChapter Ergodic Theory M.S. Keane
bookChapter Markov Decision Chains A. Hordijk (Arie)

Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]

Publication

Publication

bookChapter Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC])

bookChapter Editorial Foreword : [published on the occasion of the 50th anniversary of the SMC]

bookChapter Computers: (Ac)counting for Mathematical Proofs

bookChapter The Quest for Correctness

bookChapter Mathematical Statistics: Fringe of Frontier?

bookChapter The Many Faces of Computer Science

bookChapter Polynomial Splines in Two Variables

bookChapter Ergodic Theory

bookChapter Markov Decision Chains

bookChapter Infinite-Dimensional Linear Systems Theory

bookChapter Coding Theory

bookChapter Analysis on Lie Groups

bookChapter Functional Analysis and Optimization Problems in Hydrodynamic Propulsion

bookChapter Singularity Theory

bookChapter The Moduli Project, 1981-1988

bookChapter Instuitionistic Logic and Topos Theory

bookChapter Statistics and Medieval Astronomical Tables

bookChapter Mathematical Aspects of Nonlinear Dynamical Systems

bookChapter Mathematical Epidemiology of Infectious Diseases

bookChapter Optimizing Transportation by Polyhedra

bookChapter Queueing Theory

bookChapter System Theory - A Brief Exposition

bookChapter Bootstrap Resampling

bookChapter Morphological Image Processing

bookChapter Numerical Algorithms for Transport-Chemistry Problems

bookChapter Multigrid, Semi-Refinement and Fluid Flow

bookChapter Computational Number Theory

bookChapter Semantics

bookChapter Hybrid Systems

bookChapter Generating Interactive Programming Environments

bookChapter Rewriting

bookChapter A Tour of Algorithmics

bookChapter An Electronic Wallet for Digital Money

bookChapter Interactive Mathematical Books

bookChapter Logic Programming

bookChapter On the Borderline of Logic Language and Computation

bookChapter Computational Steering

bookChapter Architectures for human-computer communication

bookChapter Coordination of Cooperative Agents

bookChapter From paper Plotters to Interactive Multimedia Systems

bookChapter The Authors

bookChapter Coding Theory

bookChapter Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC])

bookChapter Editorial Foreword : [published on the occasion of the 50th anniversary of the SMC]

bookChapter Computers: (Ac)counting for Mathematical Proofs

bookChapter The Quest for Correctness

bookChapter Mathematical Statistics: Fringe of Frontier?

bookChapter The Many Faces of Computer Science

bookChapter Polynomial Splines in Two Variables

bookChapter Ergodic Theory

bookChapter Markov Decision Chains

Workflow

Workflow

Add Content

bookChapter
Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC])

bookChapter
Editorial Foreword : [published on the occasion of the 50th anniversary of the SMC]

bookChapter
Computers: (Ac)counting for Mathematical Proofs

bookChapter
The Quest for Correctness

bookChapter
Mathematical Statistics: Fringe of Frontier?

bookChapter
The Many Faces of Computer Science

bookChapter
Polynomial Splines in Two Variables

bookChapter
Ergodic Theory

bookChapter
Markov Decision Chains

bookChapter
Infinite-Dimensional Linear Systems Theory

bookChapter
Coding Theory

bookChapter
Analysis on Lie Groups

bookChapter
Functional Analysis and Optimization Problems in Hydrodynamic Propulsion

bookChapter
Singularity Theory

bookChapter
The Moduli Project, 1981-1988

bookChapter
Instuitionistic Logic and Topos Theory

bookChapter
Statistics and Medieval Astronomical Tables

bookChapter
Mathematical Aspects of Nonlinear Dynamical Systems

bookChapter
Mathematical Epidemiology of Infectious Diseases

bookChapter
Optimizing Transportation by Polyhedra

bookChapter
Queueing Theory

bookChapter
System Theory - A Brief Exposition

bookChapter
Bootstrap Resampling

bookChapter
Morphological Image Processing

bookChapter
Numerical Algorithms for Transport-Chemistry Problems

bookChapter
Multigrid, Semi-Refinement and Fluid Flow

bookChapter
Computational Number Theory

bookChapter
Semantics

bookChapter
Hybrid Systems

bookChapter
Generating Interactive Programming Environments

bookChapter
Rewriting

bookChapter
A Tour of Algorithmics

bookChapter
An Electronic Wallet for Digital Money

bookChapter
Interactive Mathematical Books

bookChapter
Logic Programming

bookChapter
On the Borderline of Logic Language and Computation

bookChapter
Computational Steering

bookChapter
Architectures for human-computer communication

bookChapter
Coordination of Cooperative Agents

bookChapter
From paper Plotters to Interactive Multimedia Systems

bookChapter
The Authors

bookChapter
Coding Theory

bookChapter
Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC])

bookChapter
Editorial Foreword : [published on the occasion of the 50th anniversary of the SMC]

bookChapter
Computers: (Ac)counting for Mathematical Proofs

bookChapter
The Quest for Correctness

bookChapter
Mathematical Statistics: Fringe of Frontier?

bookChapter
The Many Faces of Computer Science

bookChapter
Polynomial Splines in Two Variables

bookChapter
Ergodic Theory

bookChapter
Markov Decision Chains