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

1

Cover is for reference only

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, proceedings. Part II /

Corporate Authors: TACAS Conference Thessalonikē, Greece; ETAPS Conference Thessalonikē , Greece
Group Author: Beyer, Dirk, 1972; Huisman, Marieke
Published: Springer Open,
Publication Dates: [2018]
Call Number: TP338.8-532/T671/2018/pt.2

Book

2

Cover is for reference only

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, proceedings. Part I /

Corporate Authors: TACAS Conference Thessalonikē, Greece; ETAPS Conference Thessalonikē , Greece
Group Author: Beyer, Dirk, 1972; Huisman, Marieke
Published: Springer Open,
Publication Dates: [2018]
Call Number: TP338.8-532/T671/2018/pt.1

Book

3

Cover is for reference only

Formal techniques for distributed objects, components, and systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, proceedings /

Corporate Authors: FORTE (Conference) Lisbon, Portugal); International Federated Conferences on Distributed Computing Techniques Lisbon, Portugal)
Group Author: Huisman, Marieke (Editor); Ravara, António (Editor)
Published: Springer,
Publication Dates: [2023]
Call Number: TP338.8-532/I613/2023

Book

4

Cover is for reference only

Tools and algorithms for the construction and analysis of systems : 25 years of TACAS: TOOLympics held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, proceedings. Part III /

Corporate Authors: TACAS Conference Prague, Czech Republic; ETAPS Conference Prague, Czech Republic
Group Author: Beyer, Dirk, 1972; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Published: Springer,
Publication Dates: [2019]
Call Number: TP338.8-532/T671/2019/pt.3

Book

Narrow Search