Zoekresultaten
Resultaat 61 - 65 (van 65)
A. Engels | S. Mauw Why men (and octopuses) cannot juggle a four ball cascade
Non-fictie
Engels | 10 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1999
Gedrukt boek
M. Huisman | B.P.F. Jacobs Java program verification via a Hoare logic with abrupt termination
Non-fictie
Engels | 22 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
N. Roos On the relation between information and subjective probability
Non-fictie
Engels | Universiteit Maastricht, Department of Computer Science, Maastricht | 1999
Gedrukt boek
I. Bethke | J.W. Klop | Roel de Vrijer Descendants and origins in term rewriting
Non-fictie
Engels | 72 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
Maarten Marx Amalgamation in finite dimensional cylindric algebras
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek