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

Publication list

Faculty of Science - 1998

1181 to 1190 of 1667
1 ... 161 ... 331 ... 491 ... 661 ... 831 ... 991 ... 1161   1171   1181   1191   1201 ... 1331 ... 1491 ... 1661

1181   Chapter: Formalizing UML: Mission impossible
P. van Emde Boas in: Formalising UML: Why? How?. (1998), p. ---
1182   Chapter: Quantum oracle interrogation: getting all information for almost half the price
J.W.M. van Dam in: Proceedings of the 39th IEEE Symposium on the foundations computation science (1998), p. 362-367
1183   Article: Two classical queries versus one quantum query
J.W.M. van Dam in: Quant-Ph Archive, Vol. - (1998), p. ---
1184   Article: Quantum Wispers
J.W.M. van Dam, L. Hardy in: Quant-Ph Archive, Vol. - (1998), p. ---
1185   Chapter: Compiling Horn-clause rules in IBM's Business System 12: An early eperiment in Declarativeness
P. van Emde Boas, G. Emde Boas in: Theory and Practice in Informatics. Lecture Notes in Computer Science (1998), p. 68-88
1186   Report: Decidability and undecidability in marked PCP
R.M. de Wolf (1998)
1187   Article: Correctness and Algebraic Compiler Construction
T.M.V. Janssen in: Journal of Theoretical Computer Science, Vol. - (1998), p. 25-56
1188   Chapter: A survey of compositional translations
T.M.V. Janssen in: Lecture notes in computer science (1998), p. 327-349
1189   Chapter: Metric indexing to improve distance joints
C.W. Quak in: Proceedings of the 4th annual conference of the advanced school for computation (1998), p. 133-139
1190   Article: Reversible simulation of irreversible computation
P.M.B. Vitanyi in: Physica D, Vol. 120 (1998), p. 168-176