Suggested Topics within your search.
Showing 1 - 14 results of 14 for search 'Property problems.', query time: 0.10s Refine Results
  1. 1
    Complexity and Approximation : Combinatorial Optimization Problems and Their Approximability Properties /

    Complexity and Approximation : Combinatorial Optimization Problems and Their Approximability Properties / by Ausiello, G. (Giorgio), 1941-

    Published 1999
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  2. 2
    The success of open source /

    The success of open source / by Weber, Steve, 1961-

    Published 2004
    “…Property and the problem of software --…”
    Book
    Save to List
    Saved in:
  3. 3
    Component-based software development : case studies /

    Component-based software development : case studies /

    Published 2004
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  4. 4
    Testing software and systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings /

    Testing software and systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings /

    Published 2012
    “…Parametric Temporal Logic Properties on Embedded Systems /…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    The domain theory patterns for knowledge and software reuse /

    The domain theory patterns for knowledge and software reuse / by Sutcliffe, Alistair, 1951-

    Published 2002
    “…Dimensions of the Reuse Problem --…”
    Full Text (via Taylor & Francis)
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    The domain theory : patterns for knowledge and software reuse /

    The domain theory : patterns for knowledge and software reuse / by Sutcliffe, Alistair, 1951-

    Published 2002
    “…Dimensions of the Reuse Problem --…”
    Full Text (via EBSCO)
    eBook
    Save to List
    Saved in:
  7. 7
    Finding source code on the web for remix and reuse /

    Finding source code on the web for remix and reuse /

    Published 2013
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  8. 8
    SOFSEM 2012 theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012 : proceedings /

    SOFSEM 2012 theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21-27,...

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Theory and applications of satisfiability testing-- SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /

    Theory and applications of satisfiability testing-- SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /

    Published 2012
    “…Solver for the RNA-Folding Problem /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    FM 2006 formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /

    FM 2006 formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /

    Published 2006
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedings /

    Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedings /

    Published 2011
    “…Behavioral Latent System Properties /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Ontology-driven software development

    Ontology-driven software development

    Published 2013
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    DevOps for developers /

    DevOps for developers / by Hüttermann, Michael

    Published 2012
    Full Text (via O'Reilly/Safari)
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    AsiaSim 2013 : 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013, proceedings /

    AsiaSim 2013 : 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013, proceedings /

    Published 2013
    “…Capability Scheduling Problem /…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search