8 results Refine Results
  1. 1
    by David, Jean-Luc, 1971-
    Published 2007
    Book
    Save to List
    Saved in:
    Professional Team Foundation Server /
  2. 2
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
  3. 3
    Published 2009
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
  4. 4
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
  5. 5
    by Greenwald, Rick
    Published 2004
    Publisher description
    Book
    Save to List
    Saved in:
    Oracle application server 10g essentials /
  6. 6
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Hardware and software verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
  7. 7
    by Rubel, Dan
    Published 2012
    Book
    Save to List
    Saved in:
    The Eclipse Graphical Editing Framework (GEF) /
  8. 8
    by McElreath, Richard, 1973-
    Published 2020
    Book
    Save to List
    Saved in:
    Statistical rethinking : a Bayesian course with examples in R and Stan /

Search Tools: