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

1

Cover is for reference only

Specification case studies in RAISE

Group Author: Dang Van Hung 1950-
Published: Springer,
Publication Dates: c2002.
Call Number: TP311/S741

Book

2

Cover is for reference only

Theoretical aspects of computing -- ICTAC 2005：second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings

Corporate Authors: ICTAC 2005 (2005 Hanoi, Vietnam)
Group Author: Dang Hung Van, 1950-; Wirsing M.; (Martin)
Published: Springer,
Publication Dates: c2005.
Call Number: TP30-532/T396/2005

Book

3

Cover is for reference only

Theoretical Aspects of Computing ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Hung, Dang Van; Kapur, Deepak
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

4

Cover is for reference only

Theoretical aspects of computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /

Corporate Authors: ICTAC Colloquium Hanoi, Vietnam
Group Author: Dang, Hung Van, 1950; Kapur, Deepak
Published: Springer,
Publication Dates: [2017]
Call Number: TP30-532/T396/2017

Book

5

Cover is for reference only

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, proceedings /

Corporate Authors: ATVA (Symposium) Hanoi, Vietnam)
Group Author: Dang, Hung Van, 1950-; Sokolsky, Oleg
Published: Springer,
Publication Dates: [2020]
Call Number: TP301.6-532/A939/2020

Book

6

Cover is for reference only

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /

Corporate Authors: ATVA (Symposium) Hanoi, Vietnam); SpringerLink (Online service)
Group Author: Dang, Hung Van, 1950-; Ogawa, Mizuhito
Published: Springer,
Publication Dates: [2013]

eBook

7

Cover is for reference only

Integrated Uncertainty in Knowledge Modelling and Decision Making : 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings /

Corporate Authors: IUKM Symposium Hanoi, Vietnam
Group Author: Huynh, Van-Nam; Inuiguchi, Masahiro; Tran, Dang Hung; Denoeux, Thierry
Published: Springer International Publishing,
Publication Dates: [2018]
Call Number: TP182-532/I611-2/2018

Book

8

Cover is for reference only

Theoretical aspects of computing - ICTAC 2005：second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings

Corporate Authors: ICTAC 2005 (2005 Hanoi, Vietnam); LINK (Online service)
Group Author: Dang Hung Van, 1950-; Wirsing M.; (Martin)
Published: Springer,
Publication Dates: 2005.

Book

9

Cover is for reference only

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /

Corporate Authors: SpringerLink (Online service)
Group Author: Liu, Zhiming, 1961-; Woodcock, Jim.; Zhu, Huibiao.; He, Jifeng, 1943-
Published: Springer,
Publication Dates: 2013.

eBook

10

Cover is for reference only

Intelligent information and database systems : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, proceedings. Part I /

Corporate Authors: Asian Conference on Intelligent Information and Database Systems Kuala Lumpur, Malaysia); SpringerLink (Online service)
Group Author: Selamat, Ali; Nguyen, Ngoc Thanh; Haron, Habibollah
Published: Springer,
Publication Dates: 2013.

eBook

11

Cover is for reference only

4th International Conference on Biomedical Engineering in Vietnam /

Corporate Authors: International Conference on the Development of Biomedical Engineering in Vietnam Ho Chi Minh City, Vietnam); SpringerLink (Online service)
Group Author: Vo, Van Toi
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search