Zoekresultaten voor: *
Resultaat 161 - 180 (van 205)
Centrum voor Wiskunde en Informatica Control flow versus logic: a denotational and declarative model for guarded Horn clauses
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica Semantic models for a version of Parlog
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica Scheduling identical jobs on uniform parallel machines
Non-fictie
Engels | 7 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica A process specification formalism based on static COLD
Non-fictie
Engels | 48 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica The algebraic basis of mathematical morphology
Non-fictie
Engels | 49 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Censoring, truncation and filtering in statistical models based on counting processes
Non-fictie
Engels | 36 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Perturbation theory for dual semigroups
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica A Hille-Yosida type theorem for a class of weakly* continuous semigroups
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica TW in beeld
bij het afscheid van Prof.dr. H.A. Lauwerier
Non-fictie
Engels | 94 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Statal
statistical procedures in Algol 60
Non-fictie
Engels | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Statal
statistical procedures in Algol 60
Non-fictie
Engels | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Term rewriting systems with rule priorities
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica A moving-grid method for one-dimensional PDEs bases on the method of lines
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Knowledge engineering in design
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
Centrum voor Wiskunde en Informatica The Amoeba distributed operating system
selected papers 1984-1987
Non-fictie
Engels | 309 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
Centrum voor Wiskunde en Informatica One-parameter semigroups
Non-fictie
Engels | 312 pagina's | North-Holland, Amsterdam [etc.] | 1987
Gedrukt boek
Centrum voor Wiskunde en Informatica On proving register atomicity
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
Centrum voor Wiskunde en Informatica Essays on concepts, formalisms, and tools
Non-fictie
Engels | 278 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
Centrum voor Wiskunde en Informatica Vehicle routing with time windows
optimization and approximation
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
Centrum voor Wiskunde en Informatica Perturbation theory for dual semigroups
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek