Search alternatives:
times » time (Expand Search)
book » books (Expand Search)
Showing 1 - 6 results of 6 for search '"The New York Times Book Review', query time: 0.49s Refine Results
  1. 1
    Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
    Published 2001
    Table of Contents: “...Timed and probabilistic systems --...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 2
    Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
    Published 2001
    Table of Contents: “...Probabilistic polynomial-time process calculus and security protocol analysis /...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    Fundamental approaches to software engineering : second international conference, FASE '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /
    Published 1999
    “...Electronic books. local...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /
    Published 1999
    “...Electronic books. local...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 5
    Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
    Published 2000
    “...Electronic books. local...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  6. 6
    Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
    Published 2003
    “...Electronic books. local...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search