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

AvChutiporn 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

AvFrank S. de Boer,Marcello M. Bonsangue m. fl.

Häftad, Engelska, 2004

719 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

AvFrank S. de Boer,Marcello M. Bonsangue m. fl.

Häftad, Engelska, 2005

719 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

AvFrank S. de Boer,Marcello M. Bonsangue m. fl.

Häftad, Engelska, 2006

719 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

AvMarcello M. Bonsangue,Einar Broch Johnsen

Häftad, Engelska, 2007

719 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

AvFrank S. de Boer,Marcello M. Bonsangue m. fl.

Häftad, Engelska, 2007

719 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

AvMarcello M. Bonsangue,Susanne Graf m. fl.

Häftad, Engelska, 2008

719 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

AvMarcello M. Bonsangue,Eric Madelaine m. fl.

Häftad, Engelska, 2009

719 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

AvFrank S. de Boer,Marcello M. Bonsangue m. fl.

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

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

AvBernhard K. Aichernig,Frank S. de Boer m. fl.

Häftad, Engelska, 2011

719 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

AvBernhard Beckert,Ferruccio Damiani m. fl.

Häftad, Engelska, 2013

719 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

AvElena Giachino,Reiner Hähnle m. fl.

Häftad, Engelska, 2013

659 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

AvMarcello M. Bonsangue

Häftad, Engelska, 2014

669 kr

Skickas inom 10-15 vardagar

Data Science and Artificial Intelligence

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

AvChutiporn 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

AvChutiporn Anutariya,Marcello M. Bonsangue

Häftad, Engelska, 2023

1 719 kr

Skickas inom 10-15 vardagar