Zoekresultaten
Resultaat 1 - 20 (van 62)
J.W. Boerstoel Nieuwe rekenrooster-generatie methoden voor industriële stromingsberekeningen
Non-fictie
Nederlands | NLR, Amsterdam | 1996
Gedrukt boek
J.J.P.V. Feitsma-Severijns | K. Boorsma | Pieter Dirk Feitsma Wiskunde voor de prop[a]edeuse met behulp van Maple
Non-fictie
Nederlands | 28 pagina's | Delta Press, Amerongen | 2003
Gedrukt boek
A.F.M. ter Elst | Derek W. Robinson On Kato's square root problem
Non-fictie
Engels | 8 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
A.F.M. ter Elst | Derek W. Robinson Second-order strongly elliptic operators on Lie groups with Hölder continuous coefficients
Non-fictie
Engels | 57 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
A.F.M. ter Elst | Derek W. Robinson Analytic elements of Lie groups
Non-fictie
Engels | 21 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
André C.M. Ran A note on canonical upper-lower factorization for a class of input-output operators of the form I plus a strict contraction
Non-fictie
Engels | 11 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
J.F. Groote A note on n similar parallel processes
Non-fictie
Engels | 11 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
W.J. Fokkink | H. Zantema Termination modulo equations by abstract commutation with an application to iteration
Non-fictie
Engels | 17 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
H. Zantema | A. Geser Non-looping rewriting
Non-fictie
Engels | 26 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
M. Bognar | J.W. Klop A note on some abstract confluence criteria
Non-fictie
Engels | 20 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
F. van Raamsdonk Confluence and normalisation for higher-order rewriting
Non-fictie
Engels | 212 pagina's | 1996
Gedrukt boek
L. Dekker Parallel system-adapted interpolation for MPP simulation of distributed parameter systems
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1996
Gedrukt boek
Ruud van Damme Bivariate hermite subdivision
Non-fictie
Engels | 25 pagina's | Faculty of Applied Mathematics, University of Twente, Enschede | 1996
Gedrukt boek
Tijn Borghuis Priorean tense logics in modal pure type systems
Non-fictie
Engels | 61 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
B. Pauwels | E.E.M. van Berkum D-optimal weighted paired comparison designs
Non-fictie
Engels | 15 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
J.A. Sanders | J.P. Wang Classification of conservation laws for KdV-like equations. I
Non-fictie
Engels | 11 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
H.J.C. Huijberts Combined partial feedback and input-output linearization by static state feedback for nonlinear control systems
Non-fictie
Engels | 20 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
H.J.C. Huijberts On linear subsystems of nonlinear control systems
Non-fictie
Engels | 13 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
Twan Laan AUTOMATH and pure type systems
Non-fictie
Engels | 30 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
V. van Oostrom Take Five
Non-fictie
Engels | 13 pagina's | Vrije Universiteit, Amsterdam | 1996
Gedrukt boek