Zoekresultaten
Resultaat 81 - 100 (van 1431)
S.M. Orzan On distributed verification and verified distribution
Non-fictie
Engels | 147 pagina's | 2004
Gedrukt boek
M. Louter-Nool | Michael M.J. Proot An unstructured parallel least-squares spectral element solver for incompressible flow problems
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2003
Gedrukt boek
Olga Tveretina | H. Zantema Transforming DPLL to resolution
Non-fictie
Engels | 16 pagina's | TU/e, Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
N.A. Lynch | R. Segala | F.W. Vaandrager Hybrid I/O automata
Non-fictie
Engels | 65 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2002
Gedrukt boek
K. Brown | P.J.F. Lucas | D. Fowler Decision network semantics of branching constraint satisfaction problems
Non-fictie
Engels | 10 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2002
Gedrukt boek
Gido Schmitz Design and analysis of an elliptic curve based pseudo-random generator
Non-fictie
Engels | 72 pagina's | Stan Ackermans Institute, Eindhoven | 2002
Gedrukt boek
Magne Setnes Complexity reduction in fuzzy systems
Non-fictie
Engels | 258 pagina's | 2001
Gedrukt boek
M. Oostdijk Generation and presentation of formal mathematical documents
Non-fictie
Engels | 144 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2001
Gedrukt boek
N. Litvak | I.J.B.F. Adan On a class of order pick strategies in paternosters
Non-fictie
Engels | 17 pagina's | EURANDOM], [Eindhoven | 2001
Gedrukt boek
Willem Mallon Theories and tools for the design of delay-insensitive communicating processes
Non-fictie
Engels | 236 pagina's | 2000
Gedrukt boek
Tijn Borghuis | R.P. Nederpelt Belief revision with explicit justifications
an exploration in type theory
Non-fictie
Engels | 30 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
Universiteit Twente Order picking in carousel systems under the nearest item heuristic
Non-fictie
Engels | 27 pagina's | University of Twente, Enschede | 2000
Gedrukt boek
O.J. Boxma | I.A. Kurkova The M/G/1 queue with two service speeds
Non-fictie
Engels | 33 pagina's | EURANDOM, Eindhoven | 2000
Gedrukt boek
James G. Shanahan Soft computing for knowledge discovery
introducing Cartesian granule features
Non-fictie
Engels | 326 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
N. Litvak | I.J.B.F. Adan The travel time in carousel systems under the nearest item heuristic
Non-fictie
Engels | 15 pagina's | EURANDOM], [Eindhoven | 2000
Gedrukt boek
N. Litvak Some peculiarities of exponential random variables
Non-fictie
Engels | 16 pagina's | EURANDOM, Eindhoven | 2000
Gedrukt boek
EURANDOM Order picking in carousel systems under the nearest item heuristic
Non-fictie
Engels | 27 pagina's | EURANDOM, Eindhoven | 2000
Gedrukt boek
EURANDOM The nearest item heuristic for carousel systems
Non-fictie
Engels | 12 pagina's | EURANDOM, Eindhoven | 2000
Gedrukt boek
I.A. Kurkova A load-balanced network with two servers
Non-fictie
Engels | 12 pagina's | EURANDOM, Eindhoven | 1999
Gedrukt boek
The satisfiability problem
Non-fictie
Engels | 482 pagina's | Elsevier, Amsterdam [etc.] | 1999
Gedrukt boek