Suggested Topics within your search.
Showing 1 - 14 results of 14 for search '"Software-Tools and techniques."', query time: 0.07s Refine Results
  1. 1
    Advanced functional programming /

    Advanced functional programming /

    Published 1995
    Subjects:
    Conference Proceeding Book
  2. 2
    Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /

    Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /

    Published 1996
    Subjects:
    Conference Proceeding Book
  3. 3
    Tools and algorithms for the construction and analysis of systems /

    Tools and algorithms for the construction and analysis of systems /

    Published 1997
    Subjects:
    Conference Proceeding Book
  4. 4
    Tools and algorithms for the construction and analysis of systems /

    Tools and algorithms for the construction and analysis of systems /

    Published 1996
    Subjects:
    Conference Proceeding Book
  5. 5
    Extensions of the UNITY methodology : compositionality, fairness and probability in parallelism /

    Extensions of the UNITY methodology : compositionality, fairness and probability in parallelism / by Rao, Josyula Ramachandra, 1962-

    Published 1995
    Subjects:
    Book
  6. 6
    Parallel symbolic languages and systems /

    Parallel symbolic languages and systems /

    Published 1996
    Subjects:
    Conference Proceeding Book
  7. 7
    Graph drawing /

    Graph drawing /

    Published 1997
    Subjects:
    Conference Proceeding Book
  8. 8
    Graph drawing : Symposium on Graph Drawing, GD ’95, Passau, Germany, September 20-22, 1995 : proceedings /

    Graph drawing : Symposium on Graph Drawing, GD ’95, Passau, Germany, September 20-22, 1995 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  9. 9
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1996
    Subjects:
    Conference Proceeding Book
  10. 10
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1995
    Subjects:
    Conference Proceeding Book
  11. 11
    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    Subjects:
    Conference Proceeding Book
  12. 12
    Computer aided verification : proceedindings /

    Computer aided verification : proceedindings /

    Published 1997
    Subjects:
    Conference Proceeding Book
  13. 13
    Computer aided verification /

    Computer aided verification /

    Published 1996
    Subjects:
    Conference Proceeding Book
  14. 14
    OOER'95 : object-oriented and entity-relationship modeling /

    OOER'95 : object-oriented and entity-relationship modeling /

    Published 1995
    Subjects:
    Conference Proceeding Book

Search Tools: