Home Advanced Search
Advanced Search - Page 1
Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
- English
- Year: 2016
- Author: Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida (eds.)
Purba: Feasts from the East
- English
- Year: 2003
- Author: Parida, Laxmi
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
- 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
- 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
- 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
- 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
- English
- Year: 2019
- Author: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
![नेपाली शाकुन्तल [Nepali Sakuntal]](https://images.isbndb.com/covers/51/85/9789993325185.jpg)
नेपाली शाकुन्तल [Nepali Sakuntal]
- Nepali
- Year: 2006
- Author: Laxmi Prasad Devkota; लक्ष्मीप्रसाद देवकोटा
Domain Science and Engineering. A Foundation for Software Development.
- English
- Year: 2021
- Author: Dines Bjørner