Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 214,947
Number of items: 214,947
  • Dorgelo, J. (1995). Limnology of mountain lakes [Review of: J. Fott (1995) Limnology of mountain lakes]. In J. Fott (Ed.), Unknown Kluwer Acad. Publ..
  • Glaser, H. W., Hartel, P. H., & de Jong, E. K. (1995). Visualising the structure of an IC-card security architecture. In T. Johnsson (Ed.), 7th Implementation of Functional Languages (pp. 14-27). Dept. of Comp. Sci, Chalmers Univ. of Technology.
  • Ripmeester, TH. J. (1995). Upper bounds on the dimension of bivariate spline spaces and duality in the plane. In T. Lyche, M. Daehlen, & L. L. Schumaker (Eds.), Mathematical Methods for Curves and Surfaces (pp. 455-466). Vanderbilt University Press.
  • Dorgelo, J. (1995). Water quality and stress indicators in marine and freshwater ecosystems linking levels of organization [Review of: D.W. Sutchliffe (1995) Water quality and stress indicators in marine and freshwater ecosystems linking levels of organization]. In D. W. Sutchliffe (Ed.), Unknown Freshwater Biological Asso..
  • Hartel, P. H. (1995). Benchmarking implementations of lazy functional languages II -- Two years later. In T. Johnsson (Ed.), 7th Implementation of Functional Languages (pp. 63-68). Dept. of Comp. Sci, Chalmers Univ. of Technology.
  • Dorgelo, J. (1995). Pflanzenschutmittelswirkungen auf Trinkwassertal Sperren, am Beispiel des Halterner Stausses [Review of: U. von Muller-Wegener (1995) Pflanzenschutmittelauswirkungen auf Trinkwassertal Sperren, am Beispiel des Halterner Stausses]. In U. von Muller-Wegener (Ed.), Unknown Gustav Fischer Verlag.
  • Visser, A. P., van Benthem, J. F. A. K., de Jongh, D. H. J., & Renardel de Lavalette, G. (1995). NNIL, a study in intuitionistic propositional logic. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and process Algebra, a bisimulation perspective (pp. 289-326). Center for the Study of Language and Information.
  • Alechina, N. A. (1995). For All Typical. In Symbolic and Quantitative Approach to Reasoning and Uncertainty. Proceedings ECSQARU'95 (pp. 1-8). Springer.
  • Schuurs, A. H. B. (1995). Zorgen over de zorg. Nederlands Tijdschrift voor Tandheelkunde, 101, 454-455.
  • Hartel, P. H., van Es, A. J., & Tromp, T. J. M. (1995). Basic proof skills computer science students. In M. J. plasmeijer, & P. H. Hartel (Eds.), 1st Functional Programming languages in Education (FPLE), LNCS 1022 (pp. 269-288). Springer-Verlag.
Page 20030 of 21495