Zoekresultaten
Resultaat 1 - 20 (van 22)
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 Optimization of fixed time polling schemes
Non-fictie
Engels | 24 pagina's | Centre for Mathematics and Computer Science, Department of Operations Research, Statistics, and System Theory, Amsterdam | 1992
Gedrukt boek
Centrum voor Wiskunde en Informatica Computational aspects of Lie group representations and related topics
proceedings of the 1990 Computational Algebra Seminar at CWI, Amsterdam
Non-fictie
Engels | 142 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
Centrum voor Wiskunde en Informatica An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Transfinite reductions in orthogonal term rewriting systems
(extended abstract)
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Reactive, generative, and stratified models of probabilistic processes
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
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 Knowledge engineering in design
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 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 A denotational semantics of a parallel object-oriented language
Non-fictie
Engels | 43 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica Generation of interactive programming environments - GIPE
intermediate report
Non-fictie
Engels | 256 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica A conceptual modeling expert system
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
Centrum voor Wiskunde en Informatica Parallel computers and computations
Non-fictie
Engels | 184 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
Centrum voor Wiskunde en Informatica Transition systems, infinitary languages and the semantics of uniform concurrency
Non-fictie
Engels | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
Centrum voor Wiskunde en Informatica Selected publications of Eugene L. Lawler
Non-fictie
Engels | 318 pagina's | CWI, Amsterdam | 1999
Gedrukt boek
Centrum voor Wiskunde en Informatica Thermodynamics of computation and information distance
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Centrum voor Wiskunde en Informatica The syntax definition formalism SDF
reference manual
Non-fictie
Engels | 62 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica Needed reduction and spine strategies for the lambda calculus
Non-fictie
Engels | 37 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica Operational semantics of a parallel object-oriented language
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek