Inverse relations

[ .. ] → schema:isPartOf → Rapport / Universiteit van Amsterdam, Facultaire Vakgroep Informatica

A constructive version of the approximation induction priciple / by S. Mauwschema:ProductModel A distributed real-time operating system / F. Tuynman, L.O. Hertzbergerschema:ProductModel A model for control software and sensor algorithms for an autonomous mobile robot / by F. Tuijnman ... [et al.]schema:ProductModel A semantical model for integration and modularization of rules / Peter van Emde Boasschema:ProductModel A systolic algorithm for matrix-vector multiplication / by W.P. Weijlandschema:ProductModel A user interface management system based on parallel processes / Emile Fieslerschema:ProductModel An algebraic specification of process algebra, including two examples / by S. Mauwschema:ProductModel An annotated algebraic specification of the static semantics of Pool / by H.R. Waltersschema:ProductModel An introductory course in computer graphics / by E.H. Dooijesschema:ProductModel Aspecten van het Amsterdamse multiprocessor PROLOG systeem / L.O. Hertzberger, W.G.P. Mooij, W.E. van Waningschema:ProductModel Computing in high energy physics experiments / by J. Dorenbosch and L.O. Hertzbergerschema:ProductModel Conditional axioms and α/β calculus in process algebra / by J.C.M. Baeten, J.A. Bergstra and J.W. Klopschema:ProductModel Correctness proofs for systolic algorithms: palindromes and sorting / by L. Kossen and W.P. Weijlandschema:ProductModel Cryptografie en gegevensbeveiliging / Hans van der Meerschema:ProductModel Decomposition of the pen displacement signal in the analysis of handwriting movements / by Edo H. Dooijesschema:ProductModel Dempster's rule of combination : basic theory and some computational aspects of its application in expert systems / by Wojciech Syskischema:ProductModel Diagonalisation methods in a polynomial setting / by Leen Torenvliet & Peter van Emde Boasschema:ProductModel Digital synthesis of calligraphic script / by Edo H. Dooijesschema:ProductModel Digital synthesis of calligraphic script / by Edo H. Dooijesschema:ProductModel Documentverwerking / L.G. Bouma, J. Bruijning, J.C. van Vlietschema:ProductModel ... show all 67