Cărți de Marcello M. Bonsangue

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Lecture Notes in Computer Science, nr. 6957

Editat de Bernhard K. Aichernig et al.

12 dec 2011

Preț: 332^.83 lei 416^.04 lei

22-36 zile

-20%

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6286

Editat de Frank S. de Boer et al.

4 ian 2011

Preț: 328^.63 lei 410^.78 lei

22-36 zile

-20%

Data Science and Artificial Intelligence: First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings

Communications in Computer and Information Science, nr. 1942

Editat de Chutiporn Anutariya et al.

17 noi 2023

Preț: 692^.55 lei 865^.68 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 8446

Editat de Marcello M. Bonsangue

sep 2014

Preț: 323^.77 lei 404^.71 lei

43-57 zile

-20%

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Lecture Notes in Computer Science, nr. 7866

Editat de Elena Giachino et al.

26 aug 2013

Preț: 295^.71 lei 369^.64 lei

43-57 zile

-20%

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7542

Editat de Bernhard Beckert et al.

3 ian 2013

Preț: 329^.13 lei 411^.41 lei

43-57 zile

-20%

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Lecture Notes in Computer Science, nr. 5751

Editat de Marcello M. Bonsangue et al.

7 sep 2009

Preț: 328^.63 lei 410^.78 lei

43-57 zile

-20%

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Lecture Notes in Computer Science, nr. 5382

Editat de Marcello M. Bonsangue et al.

dec 2008

Preț: 327^.80 lei 409^.75 lei

43-57 zile

-20%

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Lecture Notes in Computer Science, nr. 4111

Editat de Frank S. de Boer et al.

10 aug 2006

Preț: 333^.96 lei 417^.46 lei

43-57 zile

-20%

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4468

Editat de Marcello M. Bonsangue et al.

25 mai 2007

Preț: 329^.13 lei 411^.41 lei

43-57 zile

-20%