6 results Refine Results
  1. 1
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, proceedings /
  2. 2
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
  3. 3
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
  4. 4
    Published 2007
    “...11th International Conference on Computer Aided Systems Theory...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Computer aided systems theory, EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers /
  5. 5
    Published 2004
    “...Computer-aided design 2004...”
    Electronic Conference Proceeding Software eBook
    Save to List
    Saved in:
    CAD '04 International CAD Conference and Exhibition May 24-28, Pattaya Beach, Thailand.
  6. 6
    Published 2013
    “...Factor Selection Procedures in a Google Earth (TM) Aided Landslide Susceptibility Model: Application to the Beiro River Basin (Spain) /...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Landslide science and practice.

Search Tools: