Zoekresultaten
Resultaat 1 - 20 (van 25)
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
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
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
Guido Herweyers | Koen Stulens Wiskunde verkennen met DERIVE
Handleiding voor leerkrachten in het hoger en secundair onderwijs.
Non-fictie
Nederlands | 80 pagina's | Acco, Leuven, Leusden | 2002
Gedrukt boek
S. Blom Lifting infinite normal form definitions from term rewriting to term graph rewriting
Non-fictie
Engels | 11 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Toru Kisuki Iterative compilation in program optimization
Non-fictie
Engels | 129 pagina's | 2002
Gedrukt boek
J.F. Groote | Frank van Ham State space visualization
Non-fictie
Engels | 24 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
M. Hendriks Enhancing UPPAAL by exploiting symmetry
Non-fictie
Engels | 42 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2002
Gedrukt boek
A.J. Mooij Formal derivations of non-blocking multiprograms
Non-fictie
Engels | 95 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
V. van Oostrom | Roel de Vrijer Four equivalent equivalences of reductions
Non-fictie
Engels | 41 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Jürgen Branke Evolutionary optimization in dynamic environments
Non-fictie
Engels | 208 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
Optimization software class libraries
Non-fictie
Engels | 360 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
H.C. Williams | H.J.J. te Riele New computations concerning the Cohen-Lenstra heuristics
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Kazimierz Głazek A guide to the literature on semirings and their applications in mathematics and information sciences
with complete bibliography
Non-fictie
Engels | 392 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
J.J.M.M. Rutten Coinductive counting with weighted automata
Non-fictie
Engels | 30 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Arjan Kuijper The deep structure of Gaussian scale space images
Non-fictie
Engels | 196 pagina's | 2002
Gedrukt boek
Essays and surveys in metaheuristics
Non-fictie
Engels | 651 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
P. Moree | H.J.J. te Riele The hexagonal versus the square lattice
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Venanzio Capretta Abstraction and computation
type theory, algebraic structures, and recursive functions
Non-fictie
Engels | 259 pagina's | 2002
Gedrukt boek