Zoekresultaten
Resultaat 1 - 18 (van 18)
Centrum voor Wiskunde en Informatica IDDL: a language for intelligent interactive integrated CAD systems
Non-fictie
Nederlands | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Symmetry and partial order reduction techniques in model checking Rebeca
Non-fictie
Engels | 30 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Centrum voor Wiskunde en Informatica Extending Rebeca with synchronous messages and reusable components
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
Centrum voor Wiskunde en Informatica A multiply fibred automaton semantics for IWIM
Non-fictie
Engels | 59 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Centrum voor Wiskunde en Informatica A transition system semantics for the control-driven coordination language MANIFOLD
Non-fictie
Engels | 38 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
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 The failure of failures in paradigm for asynchronous communication
Non-fictie
Engels | 19 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
Centrum voor Wiskunde en Informatica Guidelines for the design of large modular scientific libraries in ADA
final report for the Commission of the European Communities
Non-fictie
Engels | 146 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
Centrum voor Wiskunde en Informatica Alma-0: an imperative language that supports declarative programming
Non-fictie
Engels | 42 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
Centrum voor Wiskunde en Informatica The GKS input model in manifold
Non-fictie
Engels | 20 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
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
Centrum voor Wiskunde en Informatica Reusability of coordination programs
Non-fictie
Engels | 14 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 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 A complete transformational toolkit for compilers
Non-fictie
Engels | 46 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Centrum voor Wiskunde en Informatica Transfinite reductions in orthogonal term rewriting systems
Non-fictie
Engels | 48 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
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