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

1

Cover is for reference only

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /

Corporate Authors: SpringerLink Online service
Group Author: Legay, Axel; Margaria, Tiziana
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.

eBook

2

Cover is for reference only

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /

Corporate Authors: SpringerLink Online service
Group Author: Legay, Axel; Margaria, Tiziana
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.

eBook

3

Cover is for reference only

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /

Corporate Authors: RV (Conference) Rennes, France); SpringerLink (Online service)
Group Author: Legay, Axel; Bensalem, Saddek
Published: Springer,
Publication Dates: 2013.

eBook

4

Cover is for reference only

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /

Corporate Authors: ATVA Symposium Chiba, Japan
Group Author: Artho, Cyrille; Legay, Axel; Peled, Doron A., 1962
Published: Springer International Publishing AG,
Publication Dates: [2016]
Call Number: TP301.6-532/A939/2016

Book

5

Cover is for reference only

Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Cuppens, Fr d ric; Cuppens, Nora; Lanet, Jean-Louis; Legay, Axel
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

6

Cover is for reference only

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /

Corporate Authors: SpringerLink Online service
Group Author: Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; Ing lfsd ttir, Anna; Legay, Axel; Mardare, Radu
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

7

Cover is for reference only

Risks and security of Internet and systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, revised selected papers /

Corporate Authors: CRiSIS Conference Dinard, France
Group Author: Cuppens, Nora; Cuppens, Frédéric; Lanet, Jean-Louis; Legay, Axel; Garcia-Alfaro, Joaquin
Published: Springer,
Publication Dates: [2018]
Call Number: TP393.08-532/I613-10/2017

Book

8

Cover is for reference only

Dependable software systems engineering /

Corporate Authors: NATO Advanced Studies Institute on Dependable Software Systems Engineering Marktoberdorf, Germany
Group Author: Pretschner, Alexander; Peled, Doron A., 1962; Hutzelmann, Thomas
Published: IOS Press,
Publication Dates: [2017]
Call Number: TP31-532/N279/2016

Book

9

Cover is for reference only

Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /

Corporate Authors: CIAA (Conference) Halifax, N.S.); SpringerLink (Online service)
Group Author: Konstantinidis, Stavros
Published: Springer,
Publication Dates: [2013]

eBook

10

Cover is for reference only

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /

Corporate Authors: WADT (Workshop) Salamanca, Spain); SpringerLink (Online service)
Group Author: Marti -Oliet, N.; Palomino, Miguel
Published: Springer,
Publication Dates: ?013.

eBook

Narrow Search