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 - 1995

1751 tot 1760 van 1947
1 ... 191 ... 381 ... 581 ... 771 ... 971 ... 1161 ... 1361 ... 1551 ... 1731   1741   1751   1761   1771 ... 1941

1751   Hoofdstuk: Process algebra with propositional signals
J.C.M. Baeten, J.A. Bergstra in: De proceedings: ACP'95 (1995), p. 213-228
1752   Hoofdstuk: Process algebra with feedback
J.C.M. Baeten, J.A. Bergstra, G. Stefanescu in: Modal Logic and Process Algebra (1995), p. 13-38
1753   Hoofdstuk: Processes with multiple entries and exits
J.A. Bergstra, G. Stefanescu in: FCT'95 (1995), p. 136-145
1754   Hoofdstuk: Process algebra semantics of $\varphi${SDL}
J.A. Bergstra, C.A. Middelburg in: De proceedings: ACP'95 (1995), p. 309-346
1755   Hoofdstuk: Frame algebra with synchronous communication
J.A. Bergstra, A. Ponse in: Information Systems - Correctness and Reusability (Selected papers from the ISCORE Workshop) (1995), p. 3-15
1756   Hoofdstuk: Frame-based process logics
J.A. Bergstra, A. Ponse in: Modal Logic and Process Algebra (1995), p. 39-63
1757   Hoofdstuk: Two finite specifications of a queue
M.A. Bezem, A. Ponse in: De proceedings: ACP'95 (1995), p. 121-137
1758   Hoofdstuk: Translating a process algebra with symbolic data values to linear format
D.F. Bosscher, A. Ponse in: Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (1995), p. 119-130
1759   Hoofdstuk: A 3-level algebraic Ethernet specification
J.J. Brunekreef in: De proceedings: ACP'95 (1995), p. 413-428
1760   Hoofdstuk: Verification of a distributed summation algorithm
F.W. Vaandrager in: Proceedings CONCUR 95, Philadelphia, PA, USA (1995), p. 190-203