825 results Refine Results
  1. 61
    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 /
  2. 62
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings /
  3. 63
    Published 1987
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 /
  4. 64
    Published 1987
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings /
  5. 65
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings /
  6. 66
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings /
  7. 67
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology--EUROCRYPT '87 : Workshop on the Theory and Application of Cryptographic Techniques, Amsterdam, The Netherlands, April 13-15, 1987 : proceedings /
  8. 68
    Published 1987
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986 : proceedings /
  9. 69
    Published 1987
    Conference Proceeding Book
    Save to List
    Saved in:
    Visualization in programming : [selected contributions] /
  10. 70
    Published 1989
    Conference Proceeding Book
    Save to List
    Saved in:
    Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings /
  11. 71
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : Gullane, Scotland, September 1-4, 1987 : selected papers /
  12. 72
    Published 1987
    Conference Proceeding Book
    Save to List
    Saved in:
    Trends, techniques, and problems in theoretical computer science : selected contributions /
  13. 73
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Computational geometry and its applications : CG'88, International Workshop on Computational Geometry, Wurzburg, FRG, March 24-25, 1988 : proceedings /
  14. 74
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Concurrency 88, International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings /
  15. 75
    Published 1986
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings /
  16. 76
    Published 1986
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology--Eurocrypt '85 : proceedings of a workshop on the theory and application of cryptographic techniques, Linz, Austria, April 1985 /
  17. 77
    Published 1986
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology--CRYPTO '85 : proceedings /
  18. 78
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology : proceedings /
  19. 79
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /
  20. 80
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /

Search Tools: