1,000 results Refine Results
  1. 61
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Natural language at the computer : proceedings /
  2. 62
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 /
  3. 63
    Published 1988
    Book
    Save to List
    Saved in:
    VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
  4. 64
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    ICDT '88 : International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988 : proceedings /
  5. 65
    Published 1985
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology : proceedings of CRYPTO 84 /
  6. 66
    Published 1985
    Book
    Save to List
    Saved in:
    Automata on infinite words : Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18 1984 /
  7. 67
    Published 1985
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 /
  8. 68
    Published 1985
    Book
    Save to List
    Saved in:
    Functional programming languages and computer architecture : Nancy, France, September 1985 /
  9. 69
    Published 1985
    Book
    Save to List
    Saved in:
    Surveys in combinatorics, 1985 : invited papers for the Tenth British Combinatorial Conference /
  10. 70
    Published 1985
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 1984 /
  11. 71
    Published 1986
    Book
    Save to List
    Saved in:
    Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings /
  12. 72
    Published 1985
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
  13. 73
    Published 1985
    Conference Proceeding Book
    Save to List
    Saved in:
    EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings /
  14. 74
    Published 1985
    Book
    Save to List
    Saved in:
    The analysis of concurrent systems : proceedings, Cambridge, September 12-16, 1983 /
  15. 75
    Published 1985
    Book
    Save to List
    Saved in:
    Rewriting techniques and applications : Dijon, France, May 20-22, 1985 /
  16. 76
    Published 1985
    Book
    Save to List
    Saved in:
    Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 /
  17. 77
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 /
  18. 78
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology--EUROCRYPT '88 : Workshop on the Theory and Application of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988: proceedings /
  19. 79
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings /
  20. 80
    Published 1987
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 /

Search Tools: