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

1

面向计算机科学的数理逻辑系统建模与推理 modelling and reasoning about systems

Cover is for reference only

面向计算机科学的数理逻辑：系统建模与推理 = Logic in computer science：modelling and reasoning about systems

Main Authors: 德胡斯 Huth, Michael ((德)Michael Huth，(英)Mark Ryan著); 英瑞安 Ryan，Mark
Group Author: 何伟 (译); 樊磊 (译)
Published: 机械工业出版社
Publication Dates: 2007
Call Number: O141/4648

Book

2

33杯尽品法国葡萄酒精髓大师教你掌握产区风土、酿酒风格与品鉴技巧 sniff's field guide to french wine

Cover is for reference only

33杯尽品法国葡萄酒精髓：大师教你掌握产区风土、酿酒风格与品鉴技巧 = France in 33 glasses：sniff's field guide to french wine

Main Authors: 英派格 Pygott MW, Mark ((英)马克·派格(Mark Pygott MW)著)
Group Author: 英欧尼尔 O'Neill, Michael (绘); 潘芸芝 (译)
Published: 华中科技大学出版社
Publication Dates: 2019
Call Number: TS262.6/3149

Book Online Online

3

Cover is for reference only

终极蜘蛛侠. 3

Main Authors: 美本迪斯 Bendis, Brian Michael ((美)布莱恩·迈克尔·本迪斯著)
Group Author: 美巴格莱 Bagley, Mark (绘); 路半仙 (译)
Published: 世界图书出版有限公司北京分公司
Publication Dates: 2019
Call Number: J238.2/5234-3#3

Book

Narrow Search