Zoekresultaten
Resultaat 1 - 20 (van 37)
E.H. van Nes | Marten Scheffer Best analogous situations information system
user's guide for BASIS; version 1.0
Non-fictie
Engels | 54 pagina's | RIZA, Rijksinstituut voor integraal zoetwaterbeheer en afvalwaterbehandeling | 1993
Gedrukt boek
A. Bossi | S. Etalle Transforming acyclic programs
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Henk Kelderman | R. Steen LOGIMO
LOGlinear Item response theory MOdeling
Non-fictie
Engels | 133 pagina's | iec ProGAMMA, Groningen | 1993
Gedrukt boek
Wim H. Hesselink Wait-free linearization with a mechanical proof
Non-fictie
Engels | 28 pagina's | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1993
Gedrukt boek
Computer-aided verification
Non-fictie
Engels | 142 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1993
Gedrukt boek
E. Molenkamp Micro SIL-1 simulator
Non-fictie
Engels | 34 pagina's | University of Twente, Department of Computer Science, Enschede | 1993
Gedrukt boek
Geert-Jan Houben The design of an online help facility for exspect
Non-fictie
Engels | 21 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
F. Teusink A characterization of stable models using a non-monotonic operator
Non-fictie
Engels | 21 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
R. Schiefer Visualisation of parallel program execution
a case study
Non-fictie
Engels | 54 pagina's | Eindhoven University of Technology, Institute for Continuing Education, Eindhoven | 1993
Gedrukt boek
Department of Mathematics and Computing Science Freeness analysis for logic programs- and correctness?
Non-fictie
Engels | 24 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
J.T.G. Pierik Short term dynamics of AWIDIMOD compared to measurements
Non-fictie
Engels | 11 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1993
Gedrukt boek
Stichting Compuplan EXPLOIT
exploitatie-rekening voor bestemmingsplannen, met eindwaarde-berekening; handleiding
Non-fictie
Engels | 29 pagina's | Stichting Compuplan, Mill | 1993
Gedrukt boek
P. Zhou Clocks, communications, and correctness
Non-fictie
Engels | 165 pagina's | Eindhoven University of Technology, Eindhoven | 1993
Gedrukt boek
B.H. Bulder LiFeHaT-I
program description and user's manual
Non-fictie
Engels | 62 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1993
Gedrukt boek
Valério De Patta Pillar | László Orlóci Character-based community analysis the theory and an application program
Non-fictie
Engels | 270 pagina's | SPB Academic Publishing, The Hague | 1993
Gedrukt boek
Nicolas Halbwachs Synchronous programming of reactive systems
Non-fictie
Engels | 174 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1993
Gedrukt boek
M.L. Kersten | F. Kwakkel A user's guide to the software testpilot
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Cristian Popescu The usability of ROP to support facility space planning
Non-fictie
Engels | Institute for Continuing Education, Eindhoven University of Technology, Eindhoven | 1993
Gedrukt boek
L.C. Heijboer An analytic conceptual model of extratropical cyclones
Non-fictie
Engels | 46 pagina's | Koninklijk Nederlands Meteorologisch Instituut, De Bilt | 1993
Gedrukt boek
W.J.M. de Kruijf | A.J. Janssen Detailed resonance absorption calculations with the Monte Carlo code MCNP and a collision probability version of the slowing down code ROLAIDS
Non-fictie
Engels | 8 pagina's | Netherlands Energy Research Foundation ECN, Petten | 1993
Gedrukt boek