99 results Refine Results
  1. 1
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
  2. 2
    Conference Proceeding
    Save to List
    Saved in:
    ASPLOS ... proceedings /
  3. 3
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    Attribute grammars, applications and systems : international summer school, Prague, Czechoslovakia, June 4-13, 1991 : proceedings /
  4. 4
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 /
  5. 5
    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 /
  6. 6
    Published 1981
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
  7. 7
    Published 1978
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 /
  8. 8
    Published 1977
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 /
  9. 9
    Published 1982
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 /
  10. 10
    Published 1979
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /
  11. 11
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings /
  12. 12
    Published 1982
    Conference Proceeding Book
    Save to List
    Saved in:
    Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982 /
  13. 13
    Published 1980
    Conference Proceeding Book
    Save to List
    Saved in:
    Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 /
  14. 14
    Published 1986
    Book
    Save to List
    Saved in:
    Conference record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986 /
  15. 15
    Published 1985
    Book
    Save to List
    Saved in:
    Conference record of the Twelfth Annual ACM Symposium on Principles of Programming Languages : extended abstracts of papers presented at the Symposium, 14-16 January 1985 /
  16. 16
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Database programming languages 10th International Workshop, DBPL 2005 : Trondheim, Norway, August 28-29, 2005 : revised selected papers /
  17. 17
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Database programming languages 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers /
  18. 18
    Published 1998
    Conference Proceeding Book
    Save to List
    Saved in:
    Database programming languages : 6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings /
  19. 19
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Declarative agent languages and technologies III third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers /
  20. 20
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Declarative agent languages and technologies IV 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers /

Search Tools: