Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Greg Morrisett (auth.), Chris Hawblitzel, Dale Miller (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.)
Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2014
  • Author: Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)
The Science Of Quantitative Information Flow
  • PDF
  • English
  • Year: 2020
  • Author: Mário S. Alvim, Konstantinos, Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Greg Nelson (auth.), Alessandro Armando (eds.)
Tales of the Barbarians: Ethnography and Empire in the Roman West
  • PDF
  • English
  • Year: 2011
  • Author: Greg Woolf(auth.), Neville Morley(eds.)
search