馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

FST TCS 2000：foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings

Corporate Authors: Conference on Foundations of Software Technology and Theoretical Computer Science 2000 New Delhi, India)
Group Author: Prasad Sanjiva; Kapoor Sanjiv 1959-
Published: Springer,
Publication Dates: 2000.
Call Number: TP311.5-532/F771/2000

Book

2

Cover is for reference only

FSTTCS 2007：foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings

Corporate Authors: Conference on Foundations of Software Technology and Theoretical Computer Science (27th 2007 New Delhi, India); SpringerLink (Online service)
Group Author: Prasad Sanjiva.; Arvind V.
Published: Springer,
Publication Dates: c2007.

Book

3

Cover is for reference only

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /

Corporate Authors: SpringerLink (Online service)
Group Author: Ghosh, Sujata (Editor); Prasad, Sanjiva (Editor)
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.

eBook

Narrow Search