DSpace at RU >

Search Results

Results 21-30 of 125.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2011	Coalgebraic Walks, in Quantum and Turing Computation	Jacobs, B.
	2011	Dagger Categories of Tame Relations	Jacobs, B.
	2011	Autonomie en transparantie	Jacobs, B.
	2011	Privacy: code in context	Hoepman, J.-H.; Jacobs, B.
	2011	Quantum logic in dagger kernel categories	Heunen, C.; Jacobs, B.
	2011	Cell-based Roadpricing	Garcia, F. D.; Verheul, E.R.; Jacobs, B.
	2011	Logical Formalisation and Analysis of the Mifare Classic Card in PVS	Jacobs, B.; Schreur, R. Wichers
	2011	De computer heeft gelijk	Hildebrandt, M.; Jacobs, B.
	2011	An introduction to (co)algebra and (co)induction	Jacobs, B.; Rutten, J.
	2011	Biometrics and Smart Cards in Identity Management	Jacobs, B.; Poll, E.

previous 1 2 3 4 5 6 7 8 9 10 11 12 next