Home Advanced Search

Advanced Search - Page 1

Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Greg Morrisett (auth.), Daniel Le Métayer (eds.)
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Greg Morrisett (auth.), Vijay A. Saraswat (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.)
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Greg Morrisett (auth.), Vijay A. Saraswat (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.)
Coordination Languages and Models: Second International Conference COORDINATION '97 Berlin, Germany, September 1–3, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Robert Bjornson, Nicholas Carriero, David Gelernter (auth.), David Garlan, Daniel Le Métayer (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.)
Privacy Technologies and Policy: Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Bettina Berendt, Thomas Engel, Demosthenes Ikonomou, Daniel Le Métayer, Stefan Schiffner (eds.)
search