Home Advanced Search

Advanced Search - Page 1

Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida (eds.)
Purba: Feasts from the East
  • PDF
  • English
  • Year: 2003
  • Author: Parida, Laxmi
Distributed Computing and Internet Technology: 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Atul Negi,Raj Bhatnagar,Laxmi Parida (eds.)
Distributed Computing and Internet Technology: 13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Padmanabhan Krishnan, P. Radha Krishna, Laxmi Parida (eds.)
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Nikolaj Bjørner, Frank de Boer (eds.)
Combinatorial Pattern Matching: 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Kaizhong Zhang, Yunkun Zhu (auth.), Amihood Amir, Laxmi Parida (eds.)
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Maurice Herlihy (auth.), V. Arvind, Sanjiva Prasad (eds.)
Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)
search