Zoekresultaten
Resultaat 1 - 13 (van 13)
Mark de Berg Algoritmiek en geometrie
over een prachtige theorie en de (on)voorspelbare praktijk
Non-fictie
Nederlands | 27 pagina's | TU/e, Technische Universiteit Eindhoven, Faculteit Wiskunde & Informatica], [Eindhoven | 2004
Gedrukt boek
S.M. Orzan On distributed verification and verified distribution
Non-fictie
Engels | 147 pagina's | 2004
Gedrukt boek
J.A. Bergstra | C.A. Middelburg Continuity controlled hybrid automata
Non-fictie
Engels | 53 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
Natalia Victorovna Davydova Old and young. Can they coexist?
Non-fictie
Engels | 197 pagina's | 2004
Gedrukt boek
Mostafa M. Abdalla Applications of the cellular automata paradigm in structural analysis and design
Non-fictie
Engels | 119 pagina's | DUP Science, Delft | 2004
Gedrukt boek
A.J.E.M. Janssen | J.S.H. van Leeuwaarden Analytic computation schemes for the dicrete-time bulk service queue
Non-fictie
Engels | 25 pagina's | EURANDOM], [Eindhoven | 2004
Gedrukt boek
Nijmeegs Instituut voor Informatica en Informatiekunde Adding symmetry reduction to Uppaal
Non-fictie
Engels | 21 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2004
Gedrukt boek
International conference of computational methods in sciences and engineering 2004 (ICCMSE 2004)
Non-fictie
Engels | 1192 pagina's | VSP, Utrecht [etc.] | 2004
Gedrukt boek
J.I. Farkas | Janos J. Sarbo Mathematica utens
Non-fictie
Engels | 14 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2004
Gedrukt boek
Remco van de Meent | Aiko Pras Assessing unknown network traffic
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
F. Bartels On generalised coinduction and probabilistic specification formats
distributive laws in coalgebraic modelling
Non-fictie
Engels | 202 pagina's | 2004
Gedrukt boek
James E. Stine Digital computer arithmetic datapath design using Verilog HDL
Non-fictie
Engels | 180 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2004
Gedrukt boek
M. Niqui Formalising exact arithmetic: representations, algorithms and proofs
Non-fictie
Engels | 195 pagina's | 2004
Gedrukt boek