Home Advanced Search

Advanced Search - Page 1

CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Natarajan Shankar (auth.), Catuscia Palamidessi (eds.)
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Greg Morrisett (auth.), Catuscia Palamidessi (eds.)
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Greg Morrisett (auth.), Catuscia Palamidessi (eds.)
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)
Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Michael Backes, Cătălin Hriţcu, Matteo Maffei (auth.), Sebastian Mödersheim, Catuscia Palamidessi (eds.)
Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Michael Backes, Cătălin Hriţcu, Matteo Maffei (auth.), Sebastian Mödersheim, Catuscia Palamidessi (eds.)
Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse (auth.), Catuscia Palamidessi, Mark D. Ryan (eds.)
Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse (auth.), Catuscia Palamidessi, Mark D. Ryan (eds.)
search