Zoekresultaten
Resultaat 1 - 7 (van 7)
Troy Lee Kolmogorov complexity and formula size lower bounds
Non-fictie
Engels | 167 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2006
Gedrukt boek
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
H.J.S. Bruggink A proof of finite family developments for higher-order rewriting using a prefix property
Non-fictie
Engels | 23 pagina's | Zeno, Institute of Philosophy, Utrecht | 2006
Gedrukt boek
V. Bonifaci | M. Lipmann | Leen Stougie Online multi-server dial-a-ride problems
Non-fictie
Engels | 14 pagina's | TU/e, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 2006
Gedrukt boek
Structures and properties of clusters: from a few atoms to nanopartticles
Non-fictie
Engels | 203 pagina's | VSP, Leiden | 2006
Gedrukt boek
European Society of Computational Methods in Sciences and Engineering Trends and perspectives in modern computational science
lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete Greece
Non-fictie
Engels | 591 pagina's | VSP, Leiden | 2006
Gedrukt boek
European Society of Computational Methods in Sciences and Engineering Recent progress in computational science and engineering
lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete Greece
Non-fictie
Engels | 1570 pagina's | VSP, Leiden | 2006
Gedrukt boek