Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 58,340
Number of items: 58,340
  • Schram, F. R., & Rolfe, W. D. I. (1994). The Stephanian (Late Carboniferous) Euthycarcinoidea from the Montceau-les-Mines basin (Massif central, France). In C. Poplin, & D. Heyler (Eds.), Quand le Massif central etait sous l'equateur: un ecosysteme carbonifere a Montceau-les-Mines. (pp. 155-161). (j; No. 12). CTHS.
  • van Soest, R. W. M., Kempen, T. G. M., & Braekman, J. C. (1994). Introduction. In T. G. M. Kempen, R. W. M. van Soest, & J. C. Braekman (Eds.), Sponges in time and space. (pp. xi). Balkema.
  • Butot, L. J. M., & Welter-Schultes, F. W. (1994). Bibliography of the mollusc fauna of Greece. Schr. malakozool., (7), 1-160.
  • Bosscher, D. J. B., Polak, I., & Vaandrager, F. W. (1994). Verification of an Audio Control Protocol. In W. P. Roever, H. Langmaack, & J. Vytopil (Eds.), Proceedings of the Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Lubeck, Germany, September 1994 (pp. 170-192). (Lecture Notes in Computer Science; No. 863). Springer Verlag.
  • Kragten, J. (1994). Calculating standard deviations and confidence intervals with a universally applicable spreadsheet technique. Analyst, 119, 2161. https://doi.org/10.1039/an9941902161
  • Helmink, L., Sellink, M. P. A., & Vaandrager, F. W. (1994). Proof-checking a data link protocol. In T. Nipkow, & H. Barendregt (Eds.), Proceedings International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993 (pp. 127-165). (LNCS; No. 806). Springer Verlag.
  • Groote, J. F., & Ponse, A. (1994). Proof Theory for mCRL: a Language for Processes with Data. In J. F. Groote, D. J. Andrews, & C. A. Middelburg (Eds.), Proceedings of the International Workshop on Semantics of Specification Languages (pp. 232-251). (Workshops in Computing). Springer-Verlag.
  • Poppe, H. (1994). The role of miniaturisation in the development of analytical fractionation methods. Analusis Magazine, 22, M22-M24.
  • Swart, R., Kraak, J. C., & Poppe, H. (1994). Reversed phase open tubular liquid chromatography in 5-10 mm i.d. capillaries coated with 1-2 mm thick polyacrylate layers. Proceedings of the 16th International symposium on Capillary Chromatography., 1261.
  • Vaandrager, F. W. (1994). Verification of a distributed summation algorithm. In L. Schrijver, K. R. Apt, & N. M. Temme (Eds.), From Universal Morphisms to Megabytes -- a Baayen Space Odyssey (pp. 593-608). CWI.
Page 5561 of 5834