Zoekresultaten
Resultaat 21 - 40 (van 127)
Vakgroep Informatica Abstracts of the workshop on computational geometry (CG'92)
Non-fictie
Engels | 108 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1992
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
W.M.P. van der Aalst Interval timed coloured Petri nets and their analysis
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1992
Gedrukt boek
J.W.C. Koorn GSE
A generic text and structure editor
Non-fictie
Engels | 16 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
P.M.P. Rambags Composition and decomposition in a CPN model
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1992
Gedrukt boek
Nicolien Drost Unification in the algebra of sets with union and empty set
Non-fictie
Engels | 40 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
M.C.F. Ferreira | H. Zantema Total termination of term rewriting
Non-fictie
Engels | 24 pagina's | Department of Computer Science, University of Utrecht, Utrecht | 1992
Gedrukt boek
P. van der Laan Selection constants for Uniform populations
Non-fictie
Engels | 13 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1992
Gedrukt boek
P. van der Laan The best variety or an almost best one?
a comparison of subset selection procedures
Non-fictie
Engels | 4 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1992
Gedrukt boek
A.B.J. Kuijlaars Minimal number of nodes in Chebyshev type quadrature formulas
Non-fictie
Engels | 26 pagina's | Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam | 1992
Gedrukt boek
S.T. Fischer | M. Veldhorst On parallel data structuring
a parallel priority gueue
Non-fictie
Engels | 30 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1992
Gedrukt boek
J.J. van Wamel A study of a one bit sliding window protocol in ACP
Non-fictie
Engels | 59 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
J.J. van Wamel An algebraic verification of the concurrent alternating bit protocol
Non-fictie
Engels | 18 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
J.H.J. Einmahl A Bahadur-Kiefer theorem beyond the largest observation
Non-fictie
Engels | 11 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1992
Gedrukt boek
H.J.C. Huijberts | H. Nijmeijer Strong dynamic input-output decoupling: from linearity to nonlinearity
Non-fictie
Engels | 14 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1992
Gedrukt boek
Karen Kwast | Sieger van Denneheuvel Weak equivalence: theory and applications
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1992
Gedrukt boek
C. Verhoef On induction principles
Non-fictie
Engels | 72 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
John Tromp On update-last schemes
Non-fictie
Engels | 3 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
Peter J. de Bruin Proof elimination in type theory
Non-fictie
Engels | University of Groningen, Department of Computing Science, Groningen | 1992
Gedrukt boek
J.W. Reyn Phase portraits of non degenerate quadratic systems with finite multiplicity one
Non-fictie
Engels | 35 pagina's | Delft University of Technology, Delft | 1992
Gedrukt boek