The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Publicatielijst

Faculteit der Natuurwetenschappen, Wiskunde en Informatica - 2003

1251 tot 1260 van 1564
1 ... 151 ... 311 ... 461 ... 621 ... 781 ... 931 ... 1091 ... 1231   1241   1251   1261   1271 ... 1401 ... 1561

1251   Hoofdstuk: An IDF-based Trace Transformation Method for Communication Refinement
A.D. Pimentel, C. Erbas in: Proceedings of the 40th ACM/IEEE Design Automation Conference (DAC 2003) (2003), p. 402-407
1252   Hoofdstuk: A Software Framework for Efficient Systemlevel Performance Evaluation of Embedded Systems
J.E. Coffland, A.D. Pimentel in: Proceedings of the 18th ACM Symposium on Applied Computing, Embedded Sytstems track\ (2003), p. 666-671
1253   Hoofdstuk: High Performance Networking for Grid Applications
C.T.A.M. de Laat, E. Radius in: Proceedings of the ninth annual conference of the Advanced School for Computing and Imaging (2003)
1254   Rapport: Next Generation Grid(s)
H. Bal, C.T.A.M. de Laat, S. Haridi, K. Jeffery, J. Labarta, D. Laforenza, P. Maccallum, J. Masso, L. Matyska, T. Priol, A. Reinefeld, A. Reuter, M. Riguidel, D. Snelling, M. van Steen (2003)
1255   Rapport: A new look at Ethernet: Experiences from 10 Gigabit Ethernet End-to-End network between Amsterdam and Geneva
A. Antony, J. Blom, F. Dijkstra, C.T.A.M. de Laat (2003)
1256   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
1257   Boek: Programma-Algebra, een inleiding tot de Programmatuur
I. Bethke, A. Ponse (2003)
1258   Hoofdstuk: Lambda calculus
I. Bethke in: Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science (2003), p. 548-587
1259   Hoofdstuk: Completion of equational specifications
I. Bethke in: Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science (2003), p. 260-300
1260  download 70118 Proefschrift: Psychology of entertainment
K. van Driel (2003)