Search results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 218,359
Number of items: 218,359
  • Apt, K. R. (1997). From chaotic iteration to constraint propagation. In R. Gorrieri, P. Degano, & A. Marchetti-Spaccamela (Eds.), Proceedings of the 24th International Colloquium, ICALP '97 (pp. 36-55). (LNCS; No. 1256). Springer-Verlag.
  • Apt, K. R. (1997). From Logic Programming to Prolog. Prentice-Hall.
  • Apt, K. R., & Olderog, E. R. (1997). Verification of Sequential and Concurrent Programs. Springer-Verlag.
  • Dimian, A. C., Groenendijk, A. J., Kersten, S., & Iedema, P. D. (1997). Effect of recycle interactions on dynamics and control of complex Plants. Computers & chemical engineering, 21 suppl., s291-s291. https://doi.org/10.1016/S0098-1354(97)87517-5
  • Apt, K. R., & Schaerf, A. (1997). Search and imperative programming. In Proc. 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97) (pp. 67-79). ACM Press.
  • Plessen, J., van der Poel, I. M., & Propper, H. (1997). Marcel Proust Jaarboek 1995/96. (22/23). Oosterbeek.
  • Vander Stichele, C. H. C. M. (1997). Lucas 7, 36-50. In F. Lefevre (Ed.), Gensters 6: Wegen naar vrijehid. Voor bijbelgroepen in een C-jaar (pp. 73-79). Bijbelhuis.
  • Berkhout, P. H. G., & Velthuijsen, J. W. (1997). Van de weeromstuit: position paper over het Rebound effect. (SEO-rapport; No. 436). Stichting voor Economisch Onderzoek.
  • Baeten, J. C. M., & Bergstra, J. A. (1997). Bounded bags, stacks and queues. In A. Mazurkiewicz, & J. Winkowski (Eds.), Proceedings CONCUR 1997 (pp. 104-118). (LNCS; No. 1243). Springer-Verlag.
  • Heiszwolf, J. J., & Fortuin, J. M. H. (1997). Design procedure for stable operations of first-order reaction systems in a CSTR, AIChE Journal. AIChE Journal, 43, 1060-1068. https://doi.org/10.1002/aic.690430419
Page 18751 of 21836