Publicatielijst

Faculteit der Natuurwetenschappen, Wiskunde en Informatica - 2003

Teveel resultaten om te sorteren

1251 tot 1260 van 1558
1 ... 151 ... 311 ... 461 ... 621 ... 771 ... 931 ... 1081 ... 1231 1241 1251 1261 1271 ... 1401 ... 1551

1251		Hoofdstuk: Polarized Process Algebra and Program Equivalence J.A. Bergstra, I. Bethke in: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003 (2003), p. 1-21
1252		Boek: Programma-Algebra, een inleiding tot de Programmatuur I. Bethke, A. Ponse (2003)
1253		Hoofdstuk: Lambda calculus I. Bethke in: Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science (2003), p. 548-587
1254		Hoofdstuk: Completion of equational specifications I. Bethke in: Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science (2003), p. 260-300
1255		Proefschrift: Psychology of entertainment K. van Driel (2003)
1256		Proefschrift: Alice electrodynamics, On the Gauging of charge conjugation symmetry J. Striet (2003), p. 132
1257		Proefschrift: Dual perspectives on extended objects in string theory. M. Vonk (2003), p. 215
1258		Proefschrift: Tiling models: phase behaviour and scaling. A. Verberkmoes (2003), p. 164
1259		Hoofdstuk: A Multiobjective Optimization Model for Exploring Multiprocessor Mappings of Process Networks C. Erbas, A.D. Pimentel in: Proceedings of the ACM/IEEE/IFIP Int. Conference on HW/SW Codesign and System Synthesis (CODES-ISSS ' 03) (2003)
1260		Hoofdstuk: Utilizing Synthesis Methods in Accurate Systemlevel Exploration of Heterogeneous Embedded Systems C. Erbas, A.D. Pimentel in: Proceedings of the IEEE Workshop on Signal Processing Systems (SIPS ' 03) (2003), p. 310-315