Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 216,486
Number of items: 216,486
  • Streefland, P. (1995). Methodological and Management Issues in Applied Interdisciplinary AIDS Research. Human Organization, 54(3), 335-339.
  • Poldervaart, S. W. (1995). Theories About Sex and Sexuality in Utopian Socialism. Journal of homosexuality, 29(2-3), 41-68.
  • Baeten, J. C. M., Bergstra, J. A., & Stefanescu, G. (1995). Process algebra with feedback. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and Process Algebra (pp. 13-38). (CSLI Lecture Notes; No. 53). CSLI Publications.
  • Bergstra, J. A., & Stefanescu, G. (1995). Processes with multiple entries and exits. In H. Reichel (Ed.), FCT'95 (pp. 136-145). (Lecture Notes in Computer Science; No. 965). Springer-Verlag.
  • Bergstra, J. A., & Middelburg, C. A. (1995). Process algebra semantics of $\varphi${SDL}. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), De proceedings: ACP'95 (pp. 309-346)
  • Bergstra, J. A., & Ponse, A. (1995). Frame algebra with synchronous communication. In R. B. Feenstra, & R. J. Wieringa (Eds.), Information Systems - Correctness and Reusability (Selected papers from the ISCORE Workshop) (pp. 3-15). World Scientific.
  • Bergstra, J. A., & Ponse, A. (1995). Frame-based process logics. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and Process Algebra (pp. 39-63). (CSLI Lecture Notes; No. 53). CSLI Publications.
  • Bosscher, D. F., & Ponse, A. (1995). Translating a process algebra with symbolic data values to linear format. In U. H. Engberg, K. G. Larsen, & A. Skou (Eds.), Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 119-130). BRICS Notes Series, University of Aarhus.
  • Reinaldo Silva, J. R., Afsarmanesh, H., Cowan, D. D., & Lucena, C. J. P. (1995). An Object-Oriented Approach to the Design of Flexible Manufacturing Systems. In H. Afsarmanesh, & L. Camarinha-Matos (Eds.), Balanced Automation Systems. Architectures and design methods (pp. 91-106)
  • Sips, H. J. (1995). Programming Languages for High Performance Computing. In A. van der Steen (Ed.), Aspects of Computational Science, a text book on high performance computing (pp. 125-194). NCF.
Page 20474 of 21649