Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 216,705
Number of items: 216,705
  • The, S. I. (1996). Molecular and genetic characterization of the neurofibromatosis type 1 gene. [Thesis, internally prepared, Universiteit van Amsterdam]. NKI.
  • Bergstra, J. A., & Klint, P. (1996). The Discrete Time ToolBus. In M. Nivat, & M. Wirsing (Eds.), Algebraic Methodology and Software Technology (AMAST) (pp. 286-305). (LNCS; No. 1101). Springer-Verlag.
  • Klint, P., & Olivier, P. A. (1996). The ToolBus Coordination Architecture: a demonstration. In M. Nivat, & M. Wirsing (Eds.), Algebraic Methodology and Software Technology (AMAST) (pp. 575-578). (LNCS; No. 1101). Springer-Verlag.
  • Dinesh, T. B., & Uskudarli, S. M. (1996). Guiding User-interfaces Equationally. In Proceedings of the ERCIM Workshop on User Interfaces for All (pp. 120-132)
  • van den Brand, M. G. J., Klint, P., & Verhoef, C. (1996). Core Technologies for System Renovation. In J. Kr'al, K. G. Jeffery, & M. Barto\u{s}ek (Eds.), SOFSEM'96: Theory and Practice of Informatics (pp. 235-255). (LNCS; No. 1175). Springer-Verlag.
  • van den Brand, M. G. J., van Deursen, A., Klint, P., Klusener, A. S., & van der Meulen, E. A. (1996). Industrial Applications of ASF+SDF. In M. Nivat, & M. Wirsing (Eds.), Algebraic Methodology and Software Technology (AMAST '96) (pp. 9-18). Springer-Verlag.
  • Visser, E. (1996). Multi-Level Specifications. In J. Heering, P. Klint, & A. van Deursen (Eds.), Language Prototyping. An Algebraic Specification Approach (pp. 105-196). (AMAST Series in Computing; No. 5). World Scientific.
  • Wiedijk, M., Afsarmanesh, H., & Hertzberger, L. O. (1996). Co-working and Management of Federated Information-Clusters. In Proceedings of the 7th IEEE International Conference on "Database and Expert Systems Applications DEXA'96", Zurich, Switzerland (pp. 446-455). (Lecture Notes in Computer Science; Vol. 1134). Springer Verlag.
  • Blom, I. L. (1996). Ladies and gentlemen, hands off, please. Iris (Paris), 22, 81-102.
  • van der Does, J. M. (1996). Lectures on Quantifiers. ESSLLI'96.
Page 19799 of 21671