Showing 1 - 10 results of 14 for search '', query time: 0.12s Refine Results
  1. 1

    Model-based requirements engineering by Holt, Jon, Perry, Simon A., Brownsword, Mike

    Published 2012
    Available for University of the Philippines Diliman via IET Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
    Electronic Resource

    Model-based requirements engineering
  2. 2

    Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems by Herde, Christian

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems
  3. 3

    Automated Deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

    Published in Springer eBook. (2011)
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated Deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  4. 4

    Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings

    Published 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings
  5. 5

    Proof technology and computation

    Published 2006
    Book

    Proof technology and computation
  6. 6

    Gems of theoretical computer science by Schoning, Uwe 1955-

    Published 1998
    Book

    Gems of theoretical computer science
  7. 7

    Gems of theoretical computer science by Schöning, Uwe 1955-

    Published 1998
    Book

    Gems of theoretical computer science
  8. 8

    Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

    Published 1996
    Book

    Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
  9. 9

    Efficient checking of polynomials and proofs and the hardness of approximation problems by Sudan, Madhu

    Published 1995
    Book

    Efficient checking of polynomials and proofs and the hardness of approximation problems
  10. 10

    Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

    Published 1995
    Book

    Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Search Tools: