Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers Bonsangue Marcello M. Heftet / 2014 / Engelsk
Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings Anutariya Chutiporn Heftet / 2024 / Engelsk
Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings Anutariya Chutiporn Heftet / 2023 / Engelsk
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey Bonsangue Marcello M. Heftet / 2009 / Engelsk
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Bonsangue Marcello M. Heftet / 2007 / Engelsk
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures Bonsangue Marcello M. Heftet / 2008 / Engelsk
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 Aichernig Bernhard K. Heftet / 2011 / Engelsk
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers de Boer, Frank S. Heftet / 2011 / Engelsk
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures Giachino, Elena Heftet / 2013 / Engelsk
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers Beckert Bernhard Heftet / 2013 / Engelsk
Data Science and Artificial Intelligence Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings Anutariya Chutiporn Heftet / 2024 / Engelsk
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures de Boer, Frank S. Heftet / 2005 / Engelsk
Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures Boer Frank S. de Heftet / 2004 / Engelsk
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures de Boer, Frank S. Heftet / 2007 / Engelsk
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures de Boer, Frank S. Heftet / 2006 / Engelsk
