Zoekresultaten
Resultaat 1 - 20 (van 129)
J.A. Bergstra Programmatuuronderzoek in de schaduw
Non-fictie
Nederlands | 18 pagina's | 1985
Gedrukt boek
J.A. Bergstra | J.W. Klop Semi-complete termherschrijfsystemen
Non-fictie
Nederlands | 123 pagina's | Kluwer, Deventer | 1987
Gedrukt boek
J.A. Bergstra | S.F.M. van Vlijmen Theoretische software-engineering
kenmerken, faseringen en classificaties
Non-fictie
Nederlands | 147 pagina's | Zeno, The Leiden-Utrecht Research Institute of Philosophy, Utrecht | 1998
Gedrukt boek
J.A. Bergstra | J.W. Klop | A. Middeldorp Termherschrijfsystemen
Inleiding in de theorie van termherschrijfsystemen waarin aan de orde komen basisbegrippen, reguliere termherschrijfsystemen, reductiestrategieën, terminatie en completering.
Non-fictie
Nederlands | 170 pagina's | Kluwer Bedrijfswetenschappen, Deventer | 1989
Gedrukt boek
J.A. Bergstra Terminologie van algebraïsche specificaties
Non-fictie
Nederlands | 122 pagina's | Kluwer, Deventer | 1987
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.L.M. Vrancken Processen en procesexpressies
Non-fictie
Nederlands | 18 pagina's | Vakgroep Programmatuur, Universiteit van Amsterdam, Amsterdam | 1987
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Ready trace semantiek voor procesalgebra met prioriteitsoperator
Non-fictie
Nederlands | 10 pagina's | Universiteit van Amsterdam, Facultaire Vakgroep Informatica, Amsterdam | 1985
Gedrukt boek
J.A. Bergstra | P. Klint About "trivial" software patents: the IsNot case
Non-fictie
Engels | 23 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
J.A. Bergstra | I. Bethke Linear projective program syntax
Non-fictie
Engels | 18 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2004
Gedrukt boek
J.A. Bergstra Machine function based control code algebras
Non-fictie
Engels | 25 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
J.A. Bergstra Axioms for SNABOK, a system and network administration body of knowledge: missing link stage of ontology process
Non-fictie
Engels | 28 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2004
Gedrukt boek
J.A. Bergstra | C.A. Middelburg Continuity controlled hybrid automata
Non-fictie
Engels | 53 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
J.A. Bergstra | C.A. Middelburg Process algebra for hybrid systems
Non-fictie
Engels | 70 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
J.A. Bergstra | A. Ponse Execution architectures for program algebra
Non-fictie
Engels | 34 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
J.A. Bergstra | C.A. Middelburg Located actions in process algebra with timing
Non-fictie
Engels | 31 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | L.M.G. Feijs Process algebra with pointers
Non-fictie
Engels | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra Mode transfer in process algebra
Non-fictie
Engels | 14 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
J.A. Bergstra | M.G.J. van den Brand Syntax and semantics of a high-level intermediate representation for ASF+SDF
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.A. Bergstra | A. Ponse | M. van der Zwaag Branching time and orthogonal bisimulation equivalence
Non-fictie
Engels | 38 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.A. Bergstra Platforms, specifications and decisions
Non-fictie
Engels | 62 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2000
Gedrukt boek