5 results Refine Results
  1. 1
    Published 2008
    Subjects “...System design Mathematics Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    FM 2008: formal methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /
  2. 2
    Published 1998
    Subjects “...Computer science Mathematics Congresses....”
    Conference Proceeding Book
    Save to List
    Saved in:
    Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
  3. 3
    Published 2005
    Subjects “...Computer science Mathematics Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Recent trends in algebraic development techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. revised selected papers /
  4. 4
    Published 2007
    Subjects “...Computer science Mathematics Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers /
  5. 5
    Published 2007
    Subjects “...Logic, Symbolic and mathematical Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /

Search Tools: