Zoekresultaten
Resultaat 221 - 240 (van 1488)
Trends in discrete mathematics
Non-fictie
Engels | 390 pagina's | Elsevier, Amsterdam [etc.] | 1995
Gedrukt boek
R.R.P. van Nooyen Parallelism in the matrix construction routines and the linear system solver for the ISNaS program
Non-fictie
Engels | 56 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
Shu Tezuka Uniform random numbers
theory and practice
Non-fictie
Engels | 209 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1995
Gedrukt boek
X. Costantini | T. Jongen | C. Vuik Diagonal ordering with direct addressing: an effective vectorization technique for preconditioned iterative methods
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
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
M.C.F. Ferreira | H. Zantema Syntactical analysis of total termination
Non-fictie
Engels | 20 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek