Zoekresultaten
Resultaat 861 - 880 (van 1365)
K. Terpstra | N.H. Dekker | G. van Driel Phamiss
a reliability computer program for phased mission analysis and risk analysis; user's manual
Non-fictie
Engels | 225 pagina's | Netherlands Energy Research Foundation, Petten | 1986
Gedrukt boek
Commission of the European Communities Esprit '84
status report of ongoing work
Non-fictie
Engels | 634 pagina's | North-Holland, Amsterdam [etc.] | 1985
Gedrukt boek
John J. Borking Third party protection of software and firmware
direct protection of zeros and ones
Non-fictie
Engels | 521 pagina's | North-Holland, Amsterdam [etc.] | 1985
Gedrukt boek
H.J. Simons | H.F.A. Roefs Channel coding with the (255, 255-2T) Reed-Solomon codes over GF(256)
Non-fictie
Engels | 75 pagina's | NLR, Amsterdam | 1985
Gedrukt boek
W.A.A. Monna | J.J.M. den Braber A computer program to process vaisala RS 21-12 C radiosonde data
Non-fictie
Engels | 29 pagina's | KNMI, De Bilt | 1985
Gedrukt boek
R.C. van Holtz IRAS end-to-end datasystem
Non-fictie
Engels | 7 pagina's | NLR, Amsterdam | 1985
Gedrukt boek
J.G.S. Pennekamp Gebruikershandleiding voor het programmapakket SECFLO
Non-fictie
Engels | Delft University of Technology, Department of Civil Engineering, Delft | 1985
Gedrukt boek
R.K. van der Draai | F.J. Heerema EDIPAS
a general approach to engineering data management and analysis applied to wind-tunnel testing
Non-fictie
Engels | 38 pagina's | NLR, Amsterdam | 1985
Gedrukt boek
Gesellschaft für Mathematik und Datenverarbeitung Software validation
inspection, testing, verification, alternatives; proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
Non-fictie
Engels | 375 pagina's | North-Holland, Amsterdam [etc.] | 1984
Gedrukt boek
Nationaal Instituut voor Kernfysica en Hoge-Energiefysica Work in Amsterdam on local intelligence
Non-fictie
Engels | 8 pagina's | Nationaal Instituut voor Kernfysica en Hoge-Energiefysica, Amsterdam | 1984
Gedrukt boek
Richard R. Smardzewski Microprocessor programming and applications for scientists and engineers
Non-fictie
Engels | 353 pagina's | Elsevier, Amsterdam [etc.] | 1984
Gedrukt boek
NATO Scientific Affairs Division Boundary element techniques in computer-aided engineering
Non-fictie
Engels | 440 pagina's | Nijhoff, Dordrecht [etc.] | 1984
Gedrukt boek
R.J. Nicolai Verification and validation of IRAS on-board software
Non-fictie
Engels | 7 pagina's | NLR, Amsterdam | 1983
Gedrukt boek
W. van Meurs A concurrent Pascal implementation on Rolm 1664
Non-fictie
Engels | NLR, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | A. Cmielienska | J. Tiuryn Another incompleteness theorem for hoare's logic
Non-fictie
Engels | 14 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J. Tiuryn PC-compactness
a necessary condition for the existence of sound and complete logics of partial correctness
Non-fictie
Engels | 11 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
R.F. van den Dam Samid, an interactive system for the analysis and constrained minimization of induced drag of aircraft configurations
Non-fictie
Engels | 12 pagina's | Nationaal Lucht- en Ruimtevaartlaboratorium, Amsterdam | 1982
Gedrukt boek
IFIP Working Group 2.5--Mathematical Software The relationship between numerical computation and programming languages
proceedings of the IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages, Boulder, Colorado, U.S.A., 3-7 August, 1981
Non-fictie
Engels | 377 pagina's | North-Holland, Amsterdam [etc.] | 1982
Gedrukt boek
J. Renkers | Martin Boot FONGRAF: a computer program for automated phonemization
Non-fictie
Engels | 59 pagina's | Rijksuniversiteit Utrecht, Vakgroep Toegepaste Taalkunde en Computerlinguistiek, Faculteit der Letteren, Utrecht | 1980
Gedrukt boek
Generic techniques in systems reliability assessment
Non-fictie
Engels | 493 pagina's | Noordhoff, Leyden | 1976
Gedrukt boek