Zoekresultaten
Resultaat 121 - 140 (van 1488)
Technische Universiteit Eindhoven Model-based system analysis using →Ch≠ and UPPAAL: an industrial case study
Non-fictie
Engels | 20 pagina's | Eindhoven University of Technology, Department of Mechanical Engineering, Systems Engineering Group, Eindhoven | 2006
Gedrukt boek
M.C.F. Ferreira Termination of term rewriting
well-foundedness, totality and transformations
Non-fictie
Engels | 221 pagina's | Universiteit Utrecht, Faculteit Wiskunde en Informatica, Utrecht | 1995
Gedrukt boek
Joost-Pieter Katoen | I.S. Zapreev Safe on-the-fly steady-state detection for time-bounded reachability
Non-fictie
Engels | 36 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Mascha Honsbeek Radical extensions and Galois groups
Non-fictie
Engels | 105 pagina's | 2005
Gedrukt boek
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
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
Magne Setnes Complexity reduction in fuzzy systems
Non-fictie
Engels | 258 pagina's | 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
M. Oostdijk Generation and presentation of formal mathematical documents
Non-fictie
Engels | 144 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2001
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
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
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
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
Willem Mallon Theories and tools for the design of delay-insensitive communicating processes
Non-fictie
Engels | 236 pagina's | 2000
Gedrukt boek