Zoekresultaten voor: *
Resultaat 141 - 160 (van 247)
Centrum voor Wiskunde en Informatica Towards a complete transformational toolkit for compilers
Non-fictie
Engels | 53 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica Proceedings seminar 1989-1990: mathematical structures in field theory
Non-fictie
Engels | 163 pagina's | CWI, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica Benchmarking stiff ODE solvers for atmospheric chemistry problems
Non-fictie
Engels | 21 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica Benchmarking stiff ODE solvers for atmospheric chemistry problems
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica On multi-query optimization
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica Industrial applications of ASF+SDF
Non-fictie
Engels | 11 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica On the formulation and analysis of general deterministic structured population models
I: Linear theory
Non-fictie
Engels | 34 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica Vectorization and parallelization of a numerical scheme for 3D global atmospheric transport-chemistry problems
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica Multi-authority secret-ballot elections with linear work
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica Eurographics '95
proceedings of the fifth Eurographics workshop on programming paradigms in graphics; held in Maastricht, The Netherlands, September 2-3, 1995
Non-fictie
Engels | 330 pagina's | CWI, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica Hybrid I/O automata
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica Infinitary lambda calculus
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica A computational method for oleo-acoustics, application to hydraulic shock absorbers
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica Self-stabilizing mutual exclusion on directed graphs
Non-fictie
Engels | 55 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica Jacobi-Davidson methods for generalized MHD-eigenvalue problems
Non-fictie
Engels | 7 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica Evolutionary computation in air traffic control planning
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica A comparison of stiff ODE solvers for atmospheric chemistry problems
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica The s-semantics approach
theory and applications
Non-fictie
Engels | 49 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Centrum voor Wiskunde en Informatica Formal methods in the development of PREMO
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Centrum voor Wiskunde en Informatica Randomized wait-free naming
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek