29 results Refine Results
  1. 1
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings /
  2. 2
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Programming languages and systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /
  3. 3
    Published 2005
    Connect to electronic resource
    Electronic Book
    Save to List
    Saved in:
    Scenarios models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers /
  4. 4
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Languages and compilers for high performance computing 17th international workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004 : revised selected papers /
  5. 5
    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 /
  6. 6
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Languages and compilers for parallel computing 21st international workshop, LCPC 2008, Edmonton, Canada, July 31-August 2, 2008 : revised selected papers /
  7. 7
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Static analysis 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /
  8. 8
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Languages and compilers for parallel computing 20th international workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007 : revised selected papers /
  9. 9
    Published 2007
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Journal on data semantics IX
  10. 10
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
  11. 11
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Languages and compilers for parallel computing 19th international workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 : revised papers /
  12. 12
    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 /
  13. 13
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Programming languages and systems 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings /
  14. 14
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Languages and compilers for parallel computing 18th international workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005 : revised selected papers /
  15. 15
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings /
  16. 16
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Languages, methodologies and development tools for multi-agent systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007 : revised selected and invited papers /
  17. 17
    Published 2009
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Logic, language, and computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers /
  18. 18
    Published 2006
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Journal on data semantics V
  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:
    Practical aspects of declarative languages 8th international symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006 : proceedings /

Search Tools: