Zoekresultaten
Resultaat 961 - 980 (van 1365)
Nationaal Lucht- en Ruimtevaartlaboratorium Acquisition and assessment of fatigue loads in the CN-235 airplane
Non-fictie
Engels | 14 pagina's | National Aerospace Laboratory NLR, Amsterdam | 1995
Gedrukt boek
F.P.H. van Beckum | W. Djohan WAVEPACK version 2.1
manual: installation and tutorial guide
Non-fictie
Engels | 58 pagina's | University of Twente, Enschede | 1994
Gedrukt boek
J.M. de Kok Numerical modeling of transport processes in coastal waters
Non-fictie
Engels | 157 pagina's | Universiteit Utrecht, Faculteit Natuur- en Sterrenkunde, Utrecht | 1994
Gedrukt boek
F.H.H.A. Quadvlieg | A.H. Hubregtse SURSIM 94_0: validation report
a computer program for the simulation of the manoeuvrability of ships
Non-fictie
Engels | MARIN, Wageningen | 1994
Gedrukt boek
K.R. Apt | M. Gabbrielli | D. Pedreschi A closer look at declarative interpretations
Non-fictie
Engels | 31 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
I.S.W.B. Prasetya Mechanization of substitution rule and compositionality of UNITY in HOL
Non-fictie
Engels | 17 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
Nationaal Lucht- en Ruimtevaartlaboratorium FIRST: a flexible interactive remote sensing tool
Non-fictie
Engels | 18 pagina's | National Aerospace Laboratory NLR, Amsterdam | 1994
Gedrukt boek
T. Arts | H. Zantema Termination of logic programs via labelled term rewrite systems
Non-fictie
Engels | 27 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
P.M.P. Rambags Decomposition and protocols in high-level Petri nets
Non-fictie
Engels | 241 pagina's | Eindhoven University of Technology, Eindhoven | 1994
Gedrukt boek
T. Kram Boundaries of future carbon dioxide emission reduction in nine industrial countries
(executive summary)
Non-fictie
Engels | Netherlands Energy Research Foundation ECN, Petten | 1994
Gedrukt boek
Marianne Kalsbeek The Vanilla meta-interpreter for definite logic programs and ambivalent syntax
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1993
Gedrukt boek
Jianping Li ROP and SPACE
comparison of the building layout programs with two case studies in architectural design
Non-fictie
Engels | Technische Universiteit Eindhoven, Instituut Vervolgopleidingen, Eindhoven | 1993
Gedrukt boek
Eric Maris GALIMA
Gamma Linear Model Analysis; user's manual
Non-fictie
Engels | 63 pagina's | iec ProGAMMA, Groningen | 1993
Gedrukt boek
H. ter Steege HEMIPHOT, a programme to analyze vegetation indices, light and light quality from hemispherical photographs
Non-fictie
Engels | 44 pagina's | Tropenbos Foundation, Wageningen | 1993
Gedrukt boek
J.E. van Aanhold Hydro-elastic analysis using a selection of commercial analysis programs
Non-fictie
Engels | TNO Building and Construction Research, Centre for Mechanical Engineering, Delft | 1993
Gedrukt boek
F. van Breugel Relating state transformation semantics and predicate transformer semantics for parallel programs
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Hong Guang Wang Object-oriented design and implementation of the FALC transportation system controller
Non-fictie
Engels | 73 pagina's | Instituut Vervolgopleidingen, Technische Universiteit Eindhoven, Eindhoven | 1993
Gedrukt boek
T. Aldenberg ETX 1.3a
a program to calculate confidence limits for hazardous concentrations based on small samples of toxicity data
Non-fictie
Engels | 52 pagina's | RIVM, National Institute of Public Health & Environmental Protection, Bilthoven | 1993
Gedrukt boek
Jos Coenen | J. Zwiers | W.P. de Roever (Jr.) A note on compositional refinement
Non-fictie
Engels | 27 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1992
Gedrukt boek