Showing 1 - 12 results of 12 for search 'Refinement Workshop', query time: 0.04s 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
    5th Refinement Workshop proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992

    5th Refinement Workshop proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992

    Published 1992
    “…Refinement Workshop London…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  2. 2
    BCS-FACS 7th Refinement Workshop proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996

    BCS-FACS 7th Refinement Workshop proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996

    Published 1997
    “…Refinement Workshop Bath…”
    Indexes
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Special issue based on the 2008 Refinement Workshop (Turku, 27 May 2008)

    Special issue based on the 2008 Refinement Workshop (Turku, 27 May 2008)

    Published 2011
    “…Refinement Workshop Turku…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  4. 4
    6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994

    6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994

    Published 1994
    “…Refinement Workshop London…”
    Indexes
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Proceedings of the 6th Refinement Workshop 5 - 7 Januar 1994

    Proceedings of the 6th Refinement Workshop 5 - 7 Januar 1994

    Published 1994
    “…Refinement Workshop London…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Proceedings of the 4th Refinement Workshop 9 - 11 January 1991, Cambridge

    Proceedings of the 4th Refinement Workshop 9 - 11 January 1991, Cambridge

    Published 1991
    “…Refinement Workshop Cambridge…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Proceedings of the 5th Refinement Workshop London, 8 - 10 January 1992

    Proceedings of the 5th Refinement Workshop London, 8 - 10 January 1992

    Published 1992
    “…Refinement Workshop London…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  8. 8
    4th Refinement Workshop proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge

    4th Refinement Workshop proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge

    Published 1991
    “…Refinement Workshop Cambridge…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Proceedings of the 3rd Refinement Workshop 9 - 11 January 1990, Hursley Park

    Proceedings of the 3rd Refinement Workshop 9 - 11 January 1990, Hursley Park

    Published 1991
    “…Refinement Workshop Hursley Park…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  10. 10
    3rd Refinement Workshop proceedings of the 3rd Refinement Workshop (organised by BCS-FACS ...) ; 9 - 11 January 1990, Hursley Park

    3rd Refinement Workshop proceedings of the 3rd Refinement Workshop (organised by BCS-FACS ...) ; 9 - 11 January 1990, Hursley Park

    Published 1991
    “…Refinement Workshop Hursley Park…”
    Indexes
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  11. 11
    International Refinement Workshop & Formal Methods Pacific '98 proceedings ; 29 September - 2 October 1998, Canberra, Australia

    International Refinement Workshop & Formal Methods Pacific '98 proceedings ; 29 September - 2 October 1998, Canberra, Australia

    Published 1999
    “…International Refinement Workshop and Formal Methods Pacific Canberra…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  12. 12
    International Refinement Workshop & Formal Methods Pacific '98 proceedings of IRW/FMP '98, 29 September - 2 October 1998, Canberra, Australia

    International Refinement Workshop & Formal Methods Pacific '98 proceedings of IRW/FMP '98, 29 September - 2 October 1998, Canberra, Australia

    Published 1998
    “…International Refinement Workshop and Formal Methods Pacific Canberra…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: