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
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.)
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.)
Distributed Computing and Internet Technology: 15th International Conference, ICDCIT 2019, Bhubaneswar, India, January 10–13, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Günter Fahrnberger, Sapna Gopinathan, Laxmi Parida
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
नेपाली शाकुन्तल [Nepali Sakuntal]
  • PDF
  • Nepali
  • Year: 2006
  • Author: Laxmi Prasad Devkota; लक्ष्मीप्रसाद देवकोटा
Me Hijra, Me Laxmi
  • PDF
  • English
  • Year: 2015
  • Author: Laxmi
search