70 results Refine Results
  1. 1
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
  2. 2
    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 /
  3. 3
    Published 1988
    Book
    Save to List
    Saved in:
    Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /
  4. 4
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /
  5. 5
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /
  6. 6
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    Category theory and computer science : Paris, France, September 3-6, 1991, proceedings /
  7. 7
    Published 1990
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings /
  8. 8
    Published 1992
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings /
  9. 9
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings /
  10. 10
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 1994 : proceedings /
  11. 11
    Published 1994
    Book
    Save to List
    Saved in:
    Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings /
  12. 12
    Published 1994
    Book
    Save to List
    Saved in:
    Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
  13. 13
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings /
  14. 14
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings /
  15. 15
    Published 1993
    Book
    Save to List
    Saved in:
    Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings /
  16. 16
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992 : proceedings /
  17. 17
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, proceedings /
  18. 18
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993 : proceedings /
  19. 19
    Published 1989
    Conference Proceeding Book
    Save to List
    Saved in:
    Categorical methods in computer science : with aspects from topology /
  20. 20
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings /

Search Tools: