Zoekresultaten
Resultaat 1 - 20 (van 116)
Centrum voor Wiskunde en Informatica Vakantiecursus 1994
computeralgebra
Non-fictie
Nederlands | 113 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Cong (Nguyen huu) Parallel Runge-Kutta-Nyström methods
Non-fictie
Engels | 106 pagina's | 1994
Gedrukt boek
M. Kamminga-van Hulsen | P.E.J.M. Gondrie | G.A.T.M. van Alst Toegepaste wiskunde met computeralgebra
140 toepassingsgerichte opgaven, uitgewerkt in Derive en Maple
Non-fictie
Nederlands | 290 pagina's | Academic Service, wetenschap en techniek, Schoonhoven | 1994
Gedrukt boek
C. de Ridder | A.H.K. Overeem-Loohuis Toegepaste computeralgebra met DERIVE
Non-fictie
Nederlands | 94 pagina's | Academic Service, wetenschap en techniek, Schoonhoven | 1994
Gedrukt boek
P. van der Laan Distributional and efficiency results for subset selection
Non-fictie
Engels | 16 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
L.A. Timochouk Focal values for quadratic systems with four real singular points
Non-fictie
Engels | 23 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
Harry Buhrman | Leen Torenvliet On the cutting edge of relativization
the resource bounded injury method
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
R.R. Bouckaert IDAGS
a perfect map for any distribution
Non-fictie
Engels | 13 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
M.M. Fokkinga Dyads, a generalisation of monads
Non-fictie
Engels | 8 pagina's | University of Twente, Department of Computer Science, Enschede | 1994
Gedrukt boek
M.M. Fokkinga Monadic maps and folds for arbitrary datatypes
Non-fictie
Engels | 23 pagina's | University of Twente, Department of Computer Science, Enschede | 1994
Gedrukt boek
Wim H. Hesselink Angelic termination in Dijkstra's calculus
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1994
Gedrukt boek
A. Bijlsma | C.S. Scholten Point-free substitution
Non-fictie
Engels | 10 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
M. Franklin | M. Yung Privacy from partial broadcast
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Mark H. Overmars | A.F. van der Stappen Range searching and point location among fat objects
Non-fictie
Engels | 22 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
Topics in validated computations
proceedings of the IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, 30 August-3 September, 1993
Non-fictie
Engels | 497 pagina's | Elsevier, Amsterdam [etc.] | 1994
Gedrukt boek
N.A. Lynch | F.W. Vaandrager Action transducers and timed automata
Non-fictie
Engels | 40 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Twan Laan A formalization of the ramified type theory
Non-fictie
Engels | 40 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
T.H. Koornwinder Discrete hypergroups associated with compact quantum gelfand pairs
Non-fictie
Engels | 22 pagina's | University of Amsterdam, Department of Mathematics and Computer Science, Amsterdam | 1994
Gedrukt boek
T.H. Koornwinder General compact quantum groups, a tutorial
Non-fictie
Engels | 33 pagina's | University of Amsterdam, Department of Mathematics and Computer Science, Amsterdam | 1994
Gedrukt boek
M.C.F. Ferreira | H. Zantema Dummy elimination
making termination easier
Non-fictie
Engels | 18 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek