>> Logics and Meanings of Programs
Education , International Conferences and SymposiumsRelational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Free Download
Education , International Conferences and SymposiumsRelational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Free Download
ComputersSTACS 84: Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984
Free Download
Education , International Conferences and SymposiumsTAPSOFT ’89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
Free Download
Education , International Conferences and SymposiumsTAPSOFT ’91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
Free Download
Science (general) , Scientific-popularTeaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Free Download
- Mathematics , Algebra
Trees in Algebra and Programming — CAAP’94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
Free Download 
