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.)
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.)
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.)
Security of Data and Transaction Processing
  • PDF
  • English
  • Year: 2000
  • Author: Vijay Atluri, Pierangela Samarati (auth.), Vijay Atluri, Pierangela Samarati (eds.)
Computational Models of Complex Systems
  • PDF
  • English
  • Year: 2014
  • Author: Vijay Kumar Mago, Vahid Dabbaghian (auth.), Vijay Kumar Mago, Vahid Dabbaghian (eds.)