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).


Faculteit der Natuurwetenschappen, Wiskunde en Informatica - 2006

361 tot 370 van 1290
1 ... 121 ... 251 ... 341   351   361   371   381 ... 511 ... 641 ... 771 ... 901 ... 1031 ... 1161 ... 1281

361   Rapport: Division Safe Calculation in Totalised Fields
J.A. Bergstra, J.V. Tucker (2006)
362   Rapport: Local and Global Trust Based on the Concept of Promises
J.A. Bergstra, M. Burgess (2006)
363   Rapport: Risk Assessment for One-Counter Threads
A. Ponse, M.B. van der Zwaag (2006)
364   Rapport: Software (Re-)Engineering with PSF II: from architecture to implementation
B. Diertens (2006)
365   Artikel: A generalization of ACP using Belnaps logic: Extended abstract
A. Ponse, M.B. van der Zwaag in: Electronic Notes in Theoretical Computer Science, Vol. 162 (2006), p. 287-293
366   Artikel: Decision problems for pushdown threads
J.A. Bergstra, I. Bethke, A. Ponse in: The Bulletin of Symbolic Logic, Vol. 12 (2006), p. 311-312
367   Artikel: A bypass of Cohen's impossibility result: Extended version (in html)
J.A. Bergstra, A. Ponse in: VX Heaven, Vol. Library (2006)
368   Boekredactie: Network-Centric Collaboration and Supporting Frameworks
L.M. Camarinha-Matos, H. Afsarmanesh, M. Ollus (2006), p. 667
369   Hoofdstuk: Competency and profiling management in virtual organization breeding environments
E. Ermilova, H. Afsarmanesh in: Proceedings of PRO-VE'06, Network-centric collaboration and Supporting Frameworks (2006), p. 131-142
370   Hoofdstuk: Towards a reference model for collaborative networked organizations
L.M. Camarinha-Matos, H. Afsarmanesh in: Proceedings of 7th BASYS'07, Information Technology for Balanced Manufacturing Systems (2006)