Marcello M. Bonsangue – författare

Visar alla böcker från författaren .

15 produkter

Kategorier

15 produkter

Del 15373
Del 15373 - Lecture Notes in Computer Science
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 089 kr
Skickas inom 5-8 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. Bonsanguem. 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
AvFrank S. de Boer,Marcello M. Bonsanguem. 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
AvFrank S. de Boer,Marcello M. Bonsanguem. 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
AvMarcello 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
AvFrank S. de Boer,Marcello M. Bonsanguem. 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
AvMarcello M. Bonsangue,Susanne Grafm. 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
AvMarcello M. Bonsangue,Eric Madelaine
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
AvFrank S. de Boer,Marcello M. Bonsanguem. 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
AvBernhard K. Aichernig,Frank S. de Boerm. 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
AvBernhard Beckert,Ferruccio Damianim. 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
AvElena Giachino,Reiner Hähnlem. 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
AvMarcello 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
AvChutiporn Anutariya,Marcello M. Bonsanguem. fl.
Häftad, Engelska, 2024
1 159 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 739 kr
Skickas inom 10-15 vardagar

Marcello M. Bonsangue – författare

Theoretical Aspects of Computing – ICTAC 2024

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Coalgebraic Methods in Computer Science

Data Science and Artificial Intelligence

Data Science and Artificial Intelligence

Akademibokhandeln

Akademibokhandeln

Hjälp

Hjälp

Utvalt sortiment

Utvalt sortiment

Erbjudanden

Erbjudanden

Inspiration & Tips

Inspiration & Tips