38 results Refine Results
  1. 1
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /
  2. 2
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Algebra and coalgebra in computer science second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /
  3. 3
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
  4. 4
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Category theory and computer science : 7th international conference, CTCS ʾ97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings /
  5. 5
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer logic : International Conference COLOG-88, Tallinn, USSR, December 1988 : proceedings /
  6. 6
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /
  7. 7
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /
  8. 8
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Foundations of information and knowledge systems 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 : 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 1999
    Conference Proceeding Book
    Save to List
    Saved in:
    Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
  11. 11
    Published 2001
    Conference Proceeding Book
    Save to List
    Saved in:
    Gödel '96 : logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
  12. 12
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /
  13. 13
    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 /
  14. 14
    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 /
  15. 15
    Published 1989
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings /
  16. 16
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science, 1990 : Banska Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings /
  17. 17
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1992 : 17th International symposium, Prague, Czechoslovakia, August 24-28, 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 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1995 : 20th international Symposium, MFCS'95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings /
  20. 20
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings /

Search Tools: