Fundamental informatics

A theory of many-sorted evolving algebras / Joannes Franciscus Maria Toninoschema:ProductModel ASCI '96 : proceedings of the second annual conference of the Advanced School for Computing and Imaging, Lommel, Belgium, June 5-7, 1996 / E.J.H. Kerckhoffs ... [et al.] (eds.)schema:ProductModel Complexiteit : waar wiskunde en informatica tegen grenzen aanlopen / Jean-Paul Delahaye ; [vert. uit het Frans Peter Smitt ... et al. ; red. Tom Kortbeek ; eindred. Serpenti tekstverzorging]schema:ProductModel Computer arithmetic and enclosure methods : proceedings of the Third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991 / edited by Lidiya Atanassova, Jürgen Herzbergerschema:ProductModel Concepts and implementation of a design system for digital signal processor arrays / Alfred Joseph van der Hoevenschema:ProductModel Dat is dus heel interessant : liber amicorum voor Paul Klint / bijeengebracht door: Mieke Bruné, Arie van Deursen en Jan Heeringschema:ProductModel Electronic notes in theoretical computer scienceschema:ProductModel Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human Computer Interaction, Ellivuori, Finland, 10-14 August 1992 / ed. by J. Larson, C. Ungerschema:ProductModel Exploring logical dynamics / Johan van Benthemschema:ProductModel Filosofie van de informatica / A. Ollongren, H.J. van den Herikschema:ProductModel Formal description techniques, IV : proceedings of the IFIP TC6/WG6.1 fourth International conference on formal description techniques for distributed systems and communications protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 / ed. by K.R. Parker, G.A. Roseschema:ProductModel Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols-FORTE 92, Perros-Guirec, France, 13-16 October 1992 / ed. by Michel Diaz, Roland Grozschema:ProductModel Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993 / ed. by Richard L. Tenney, Paul D. Amer, M. Ümit Uyarschema:ProductModel Fundamenta informaticae : annales Societatis Mathematicae Polonaeschema:ProductModel Fundamenta informaticae : quarterlyschema:ProductModel Grondslagen van de informatica / door H.P. Barendregtschema:ProductModel Grothendieck inequalities, nonlocal games and optimization / Jop Briëtschema:ProductModel Grothendieck inequalities, nonlocal games and optimization / Jop Briëtschema:ProductModel Handbook of theoretical computer science / ed. by Jan van Leeuwenschema:ProductModel Het betere programmeerwerk : rede uitgesproken bij de aanvaarding van het ambt van gewoon hoogleraar in de informatica aan de Katholieke Universiteit te Nijmegen op 3 februari 1978 / door Cornelis H. A. Kosterschema:ProductModel ... show all 38