Hoppa till sidans huvudinnehåll

Marcello M. Bonsangue - Böcker

Visar alla böcker från författaren Marcello M. Bonsangue.
15 produkter

Theoretical Aspects of Computing – ICTAC 2024

21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings

Av Chutiporn Anutariya, Marcello M. Bonsangue

Häftad, Engelska, 2024

1 079 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Av Marcello M. Bonsangue, Einar Broch Johnsen

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Av Marcello M. Bonsangue, Susanne Graf m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Av Marcello M. Bonsangue, Eric Madelaine m. fl

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Av Bernhard K. Aichernig, Frank S. de Boer m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Av Bernhard Beckert, Ferruccio Damiani m. fl

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Av Elena Giachino, Reiner Hähnle m. fl

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar

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

Av Marcello M. Bonsangue

Häftad, Engelska, 2014

679 kr

Skickas inom 10-15 vardagar

Data Science and Artificial Intelligence

Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings

Av Chutiporn Anutariya, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2024

1 229 kr

Skickas inom 10-15 vardagar

Data Science and Artificial Intelligence

First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings

Av Chutiporn Anutariya, Marcello M. Bonsangue

Häftad, Engelska, 2023

1 729 kr

Skickas inom 10-15 vardagar