Suggested Topics within your search.
Showing 1 - 15 results of 15 for search '', query time: 0.02s Refine Results
  1. 1
    Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings /

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

    Published 1995
    Book
  2. 2
    Reliable software technologies - ADA-Europe'97 /

    Reliable software technologies - ADA-Europe'97 /

    Published 1997
    Conference Proceeding Book
  3. 3
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1996
    Conference Proceeding Book
  4. 4
    Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings /

    Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Ma...

    Published 1998
    Conference Proceeding Book
  5. 5
    Programming in the 1990s : an introduction to the calculation of programs /

    Programming in the 1990s : an introduction to the calculation of programs / by Cohen, Edwards

    Published 1990
    Book
  6. 6
    Formal development of programs and proofs /

    Formal development of programs and proofs / by Dijkstra, Edsger Wybe, 1930-2002

    Published 1990
    Book
  7. 7
    Relations and graphs : discrete mathematics for computer scientists /

    Relations and graphs : discrete mathematics for computer scientists / by Schmidt, Günter, 1939-

    Published 1993
    Book
  8. 8
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1997
    Conference Proceeding Book
  9. 9
    Practice and theory of automated timetabling /

    Practice and theory of automated timetabling /

    Published 1996
    Conference Proceeding Book
  10. 10
    Design and implementation of symbolic computation systems /

    Design and implementation of symbolic computation systems /

    Published 1996
    Conference Proceeding Book
  11. 11
    ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /

    ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /

    Published 1996
    Conference Proceeding Book
  12. 12
    Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /

    Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /

    Published 1996
    Book
  13. 13
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1996
    Conference Proceeding Book
  14. 14
    Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /

    Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  15. 15
    Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /

    Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /

    Published 1994
    Book

Search Tools: