Zoekresultaten
Resultaat 881 - 900 (van 1305)
Rijksuniversiteit On the design of a correct freeness analysis for logic programs
Non-fictie
Engels | 28 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
E. Marchiori A methodology for proving termination of general logic programs
Non-fictie
Engels | 26 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
J. Brunt | J.H. Kauffman SOLGRAPH
a soil and climatic data presentation and assessment program; (3rd version)
Non-fictie
Engels | 26 pagina's | International Soil Reference and Information Centre, Wageningen | 1995
Gedrukt boek
H.G.M. van den Elsen | M. Lopez Fernandez Users's manual and technical description of the intelligent rain-gauge 'DRIP1'
software version 1.02
Non-fictie
Engels | 63 pagina's | DLO-Winand Staring Centre, Wageningen | 1995
Gedrukt boek
T. Arts | H. Zantema Termination of constructor systems using semantic unification
Non-fictie
Engels | 4 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek
R.O. Blaauboer SOIL_RAD, a computer program to calculate air kerma, ambient dose rate and effective dose rate due to photons emitted by radionuclides distributed in soil or on the soil-air surface
Non-fictie
Engels | 37 pagina's | National Institute of Public Health and Environmental Protection, Bilthoven | 1995
Gedrukt boek
Maurits van den Berg | P. Tempel SWEAP
a computer program for water erosion assessment applied to SOTER; documentation version 1.5
Non-fictie
Engels | 50 pagina's | International Society of Soil Science (ISSS), Wageningen | 1995
Gedrukt boek
Programmabureau NOP Linking world scan and image
Non-fictie
Engels | 72 pagina's | NRP Programme Office, Bilthoven | 1995
Gedrukt boek
K.A. Verschuur FURNACE 2
toroidal geometry neutronic program system method description and users manual
Non-fictie
Engels | 73 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1995
Gedrukt boek
J.H.M. Nelissen Demographic projections by means of microsimulation
the NEDYMAS model
Non-fictie
Engels | 424 pagina's | WORC, Work and Organization Research Centre, Tilburg University, Research Unit on Work & Organizational Psychology, Tilburg | 1995
Gedrukt boek
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
Jos F. Schreinemakers | D. Michael Tepp | E.M. Helsper CAMEL, causal modeling environment and laboratory
documentation and user manual
Non-fictie
Engels | 54 pagina's | Erasmus Universiteit/Rotterdam School of Management, Faculteit Bedrijfskunde, Rotterdam | 1995
Gedrukt boek
H. Herre | J. Jaspars | Gerd Wagner Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
Non-fictie
Engels | 35 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
N.W. van den Berg | C.E. Dutilh | G. Huppes Beginning LCA
a guide into environmental Life Cycle Assessment
Non-fictie
Engels | 52 pagina's | Centrum voor Milieukunde, Leiden | 1995
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
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
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
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