|
СБ |
Logic and Its Applications: Proc./7th Indian Conference, ICLA 2017, Kanpur,India, January 2017 |
2017 |
|
Lecture Notes in Computer Science |
- Ghosh S.
- Prasad S.
|
|
|
24.01.2017 |
|
СБ |
Distributed Computing and Internet Technology: Proc./12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Bjorner N.
- Prasad S.
- Parida L.
|
|
|
29.04.2016 |
|
СБ |
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: Proc./27th International Conference. New Delhi, India, December 2007 |
2007 |
|
Lecture Notes in Computer Science |
- Arvind V.
- Prasad S.
|
|
|
05.03.2008 |
|
СБ |
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: Proc./20th Conference. New Delhi,India,Ddecember 2000 |
2000 |
|
Lecture Notes in Computer Science |
- Kapoor S.
- Prasad S.
|
|
|
31.01.2001 |
