24 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
24 results

Your search for Marcello M. Bonsangue

  1. Cover: Theoretical Aspects of Computing - ICTAC 2024 - Springer
    Chutiporn Anutariya | Marcello M. Bonsangue
    Theoretical Aspects of Computing - ICTAC 2024
    21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
    11/2024
    Springer
    9783031770197 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  2. Cover: Coalgebraic Methods in Computer Science - Springer
    Marcello M. Bonsangue
    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
    08/2014
    Springer
    9783662441244 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  3. Cover: Data Science and Artificial Intelligence - Springer
    Chutiporn Anutariya | Marcello M. Bonsangue | Erna Budhiarti-Nababan
    Data Science and Artificial Intelligence
    Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings
    11/2024
    Springer
    9789819797936 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  4. Cover: Formal Methods for Components and Objects - Springer
    Bernhard Beckert | Ferruccio Damiani | Frank S. de Boer
    Formal Methods for Components and Objects
    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    01/2013
    Springer
    9783642358876 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Methods for Components and Objects - Springer
    Elena Giachino | Reiner Hähnle | Frank S. de Boer
    Formal Methods for Components and Objects
    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    08/2013
    Springer
    9783642406157 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  6. Cover: Data Science and Artificial Intelligence - Springer
    Chutiporn Anutariya | Marcello M. Bonsangue
    Data Science and Artificial Intelligence
    First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings
    11/2023
    Springer
    9789819979691 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  7. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Stefan Hallerstede
    Formal Methods for Components and Objects
    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    11/2010
    Springer
    9783642170713 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Formal Methods for Components and Objects - Springer
    Bernhard K. Aichernig | Frank S. de Boer | Marcello M. Bonsangue
    Formal Methods for Components and Objects
    9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
    12/2011
    Springer
    9783642252716 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Stefan Hallerstede
    Formal Methods for Components and Objects
    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    01/2011
    1st EDN1st Edition
    Springer
    9783642170706 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  10. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
    Formal Methods for Components and Objects
    Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
    11/2004
    Springer
    9783540301011 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  11. Cover: Formal Methods for Components and Objects - Springer
    Bernhard K. Aichernig | Frank S. de Boer | Marcello M. Bonsangue
    Formal Methods for Components and Objects
    9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
    12/2011
    Springer
    9783642252709 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
    Formal Methods for Components and Objects
    Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    09/2005
    Springer
    9783540291312 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. Cover: Coalgebraic Methods in Computer Science - Springer
    Marcello M. Bonsangue
    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
    09/2014
    Springer
    9783662441237 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 7-9 days
  14. Cover: Formal Methods for Components and Objects - Springer
    Bernhard Beckert | Ferruccio Damiani | Frank S. de Boer
    Formal Methods for Components and Objects
    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    01/2013
    Springer
    9783642358869 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  15. Cover: Formal Methods for Components and Objects - Springer
    Elena Giachino | Reiner Hähnle | Frank S. de Boer
    Formal Methods for Components and Objects
    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    08/2013
    Springer
    9783642406140 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  16. Cover: Formal Methods for Components and Objects - Springer
    Marcello M. Bonsangue | Eric Madelaine
    Formal Methods for Components and Objects
    7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
    09/2009
    Springer
    9783642041662 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  17. Cover: Theoretical Aspects of Computing - ICTAC 2024 - Springer
    Chutiporn Anutariya | Marcello M. Bonsangue
    Theoretical Aspects of Computing - ICTAC 2024
    21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
    11/2024
    Springer
    9783031770180 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  18. Cover: Formal Methods for Components and Objects - Springer
    Marcello M. Bonsangue | Susanne Graf | Willem-Paul de Roever
    Formal Methods for Components and Objects
    6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
    12/2008
    Springer
    9783540921875 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: Data Science and Artificial Intelligence - Springer
    Chutiporn Anutariya | Marcello M. Bonsangue | Erna Budhiarti-Nababan
    Data Science and Artificial Intelligence
    Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings
    11/2024
    Springer
    9789819797929 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 3-4 weeks
  20. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
    Formal Methods for Components and Objects
    5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
    12/2007
    Springer
    9783540747918 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
    2. of 2