Zoekresultaten
Resultaat 1 - 20 (van 1431)
CIAD, Vereniging voor Computer Toepassingen in de Ingenieurspraktijk Proceedings van het symposium 'Het ontbrekende element aan de eindige-elementenmethode'
de beheersing van de kwaliteit van software en gebruik; donderdag 24 november 1988 in de Jaarbeurs te Utrecht
Non-fictie
Nederlands | Engels | 131 pagina's | CIAD, Zoetermeer | 1988
Gedrukt boek
A.P.W. Böhm Dataflow computation
Engels | 213 pagina's | Mathematisch Centrum, Amsterdam | 1984
Gedrukt boek
Rijksuniversiteit Groningen Do-it-yourself type theory
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1988
Gedrukt boek
Josephus Christianus Ebergen Translating programs into delay-insensitive circuits
Engels | 218 pagina's | 1987
Gedrukt boek
Robert Tijssen | Jan de Leeuw | A.F.J. van Raan Quasi-correspondence analysis on scientometric transaction matrices
Engels | Department of Data Theory, University of Leiden, [Leiden] | 1986
Gedrukt boek
Leen Torenvliet Simplicity in relativized S2
Engels | 19 pagina's | University of Amsterdam, Computer Science Department, Amsterdam | 1985
Gedrukt boek
Leen Torenvliet Towards a strong P-time hierarchy
Engels | 23 pagina's | University of Amsterdam, Computer Science Department, Amsterdam | 1985
Gedrukt boek
J.C.M. Baeten Proces algebra
Engels | Universiteit van Amsterdam, Facultaire Vakgroep Informatica, Amsterdam | 1985
Gedrukt boek
J. van Beest Implementation of a preprocessor for a shock wave loading
Engels | University of Technology], [Delft | 1983
Gedrukt boek
Hendrikus Gerardus Maria Kees The organization of circuit analysis on array architectures
Engels | 115 pagina's | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Conditional rewrite rules
confluency and termination
Engels | 51 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Fixed point semantics in process algebras
Engels | 21 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Formal proof systems for program equivalence
Engels | 14 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
P. Kuiper | W.P. de Roever (Jr.) Fairness assumptions for CSP in a temporal logic framework
Engels | 10 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
Yu.P. Korablin Deciding equivalence of functional schemes for parallel programs
Engels | 33 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.W. de Bakker | J.I. Zucker Processes and the denotational semantics of concurrency
Engels | 59 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.W. de Bakker | J.-J.Ch. Meyer | J.I. Zucker On infinite computations in denotational semantics
Engels | 35 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
Bolyai János Mathematikai Társulat Mathematical logic in computer science
Engels | 757 pagina's | North-Holland Pub. Co., Amsterdam, New York | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop Proving program inclusion using Hoare's logic
Engels | 60 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek