Zoekresultaten
Resultaat 21 - 32 (van 32)
M. Hendriks Model checking timed automata
techniques and applications
Non-fictie
Engels | 162 pagina's | 2006
Gedrukt boek
Merlijn Sevenster | Tero Tulenheimo Finite model theory for partially ordered connectives
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Marina Velikova Monotone models for prediction in data mining
Non-fictie
Engels | 206 pagina's | CentER, Tilburg University], [Tilburg | 2006
Gedrukt boek
A. Gil | J. Segura | N.M. Temme Algorithm 850: real parabolic cylinder functions U(a,x), V(a,x)
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2006
Gedrukt boek
T. Nieberg Independent and dominating sets in wireless communication graphs
Non-fictie
Engels | 126 pagina's | 2006
Gedrukt boek
P.B. Hooghiemstra Towards advection on a full reduced grid for TM5
Non-fictie
Engels | 39 pagina's | KNMI, De Bilt | 2006
Gedrukt boek
J.R. Calamé Bug hunting with false negatives
Non-fictie
Engels | 32 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2006
Gedrukt boek
Reinier Martijn Bröker Constructing elliptic curves of prescribed order
Non-fictie
Engels | 166 pagina's | 2006
Gedrukt boek
Kees Joost Batenburg Network flow algorithms for discrete tomography
Non-fictie
Engels | 156 pagina's | 2006
Gedrukt boek
Anton Vakhrushev Interactive machine learning for personalization of hearing aid algorithms
Non-fictie
Engels | Stan Ackermans Instituut, Eindhoven | 2006
Gedrukt boek
D.M. Holtackers Algorithm development for automatic count of flowers
Non-fictie
Engels | 55 pagina's | Stan Ackermans Instituut, Eindhoven | 2006
Gedrukt boek