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

1

Cover is for reference only

Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, proceedings /

Corporate Authors: ATVA Symposium Pune, India
Group Author: D'Souza, Deepak; Narayan Kumar, K
Published: Springer,
Publication Dates: [2017]
Call Number: TP301.6-532/A939/2017

Book

2

Cover is for reference only

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3 6, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: D'Souza, Deepak; Narayan Kumar, K
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

3

Cover is for reference only

Perioperative pain management for orthopedic and spine surgery /

Group Author: Reach, John S., Jr; Yue, James J; Narayan, Deepak; Kaye, Alan D; Vadivelu, Nalini
Published: Oxford University Press,
Publication Dates: [2019]
Call Number: R681.5/P445

Book

Narrow Search