Showing 1 - 6 results of 6 for search 'Bernardo, Marco 1970-', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    A process algebraic approach to software architecture design

    A process algebraic approach to software architecture design by Aldini, Alessandro, Bernardo, Marco 1970-, Corradini, Flavio

    Published 2010
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    A process algebraic approach to software architecture design

    A process algebraic approach to software architecture design by Aldini, Alessandro, Bernardo, Marco 1970-, Corradini, Flavio

    Published 2010
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Formal methods for the quantitative evaluation of collective adaptive systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures

    Formal methods for the quantitative evaluation of collective adaptive systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Sy...

    Published 2016
    Other Authors: “…Bernardo, Marco 1970-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Formal methods for executable software models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16 - 20, 2014 ; advanced lectures

    Formal methods for executable software models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Ital...

    Published 2014
    Other Authors: “…Bernardo, Marco 1970-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Formal Methods for the quantitative evaluation of collective adaptive systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures

    Formal Methods for the quantitative evaluation of collective adaptive systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Sy...

    Published 2016
    Other Authors: “…Bernardo, Marco 1970-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Formal methods for executable software models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16 - 20, 2014 ; advanced lectures

    Formal methods for executable software models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Ital...

    Published 2014
    Other Authors: “…Bernardo, Marco 1970-…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: