Zoekresultaten
Resultaat 41 - 60 (van 86)
Marcel Worring Shape analysis of digital curves
Non-fictie
Engels | 147 pagina's | 1993
Gedrukt boek
Paul G. Lucassen | Jan Tijmen Udding Composition theorems in DI-algebra
Non-fictie
Engels | 43 pagina's | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1993
Gedrukt boek
P. Zhou Clocks, communications, and correctness
Non-fictie
Engels | 165 pagina's | Eindhoven University of Technology, Eindhoven | 1993
Gedrukt boek
E. Poll A typechecker for bijective pure type systems
Non-fictie
Engels | 28 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
H.M.M. ten Eikelder | H.P.J. van Geldrop On the correctness of some algorithms to generate finite automata for regular expressions
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
L.C.G.J.M. Habets On the genericity of stabilizability for time-delay systems
Non-fictie
Engels | 32 pagina's | University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1993
Gedrukt boek
Jan C. Verheul Enhancing utility of modular properties of term rewriting systems
Non-fictie
Engels | 41 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1993
Gedrukt boek
P.M.W. Knijnenburg Algebraic domains, chain completion and the Plotkin powerdomain construction
Non-fictie
Engels | 30 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1993
Gedrukt boek
Department of Mathematics and Computing Science The bus driver scheduling problem of the Amsterdam transit company
Non-fictie
Engels | 9 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1993
Gedrukt boek
W. de Graaf Comparison of time integration methods for the evolution of galaxies
Non-fictie
Engels | 25 pagina's | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1993
Gedrukt boek
J.W. van der Woude Generic stabilizability for sign structured systems
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1993
Gedrukt boek
F. van Breugel Three metric domains of processes for bisimulation
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Walter Ferrer | Paula Severi Abstract reduction and topology
Non-fictie
Engels | 28 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
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
Universiteit van Amsterdam Complex analysis and related topics
proceedings of the conference Amsterdam, 27-29 January 1993
Non-fictie
Engels | 164 pagina's | Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam | 1993
Gedrukt boek
Tim Bedford | Isaac Meilijson A characterisation of marginal distributions of (possibly dependent) lifetime variables which right censor each other
Non-fictie
Engels | 24 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1993
Gedrukt boek
Department of Mathematics and Computing Science On vertex ranking for permutation and other graphs
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
J.W. de Bakker | F. van Breugel Topological models for higher order control flow
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Theo M.V. Janssen An algebraic view on Rosetta
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1993
Gedrukt boek
Alain Jean-Marie | G.J. Olsder Analysis of stochastic min-max systems
results and conjectures
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1993
Gedrukt boek