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

1

Cover is for reference only

Main Authors: Wang, Jiacun, 1963
Group Author: Tepfenhart, William M
Published: CRC Press, Taylor & Francis Group,
Publication Dates: [2020]
Call Number: TP301/W246

Book

2

Cover is for reference only

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018 /

Corporate Authors: FDL Conference Munich, Germany
Group Author: Kaźmierski, Thomas J; Steinhorst, Sebastian; Grosse, Daniel
Published: Springer,
Publication Dates: [2020]
Call Number: TP303-532/F745/2018

Book

3

Cover is for reference only

Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /

Corporate Authors: International Symposium of Formal Methods Europe Porto, Portugal
Group Author: Beek, Maurice H. ter; McIver, Annabelle; Oliveira, José N
Published: Springer,
Publication Dates: [2019]
Call Number: TP30-532/I61/2019

Book

4

Cover is for reference only

Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, revised selected papers /

Corporate Authors: International Workshop on Formal Techniques for Safety-Critical Systems Gold Coast, Australia
Group Author: Artho, Cyrille; Ölveczky, Peter Csaba
Published: Springer,
Publication Dates: [2019]
Call Number: TP309-532/I618-5/2018

Book

5

Cover is for reference only

Formal verification of floating-point hardware design : a mathematical approach /

Main Authors: Russinoff, David, 1948
Group Author: Moore, J Strother, 1947
Published: Springer,
Publication Dates: [2019]
Call Number: TP301.6/R969

Book

6

Cover is for reference only

Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, revised selected papers /

Corporate Authors: SOFL+MSVL Workshop Gold Coast, Qld
Group Author: Duan, Zhenhua; Liu, Shaoying, 1960; Tian, Cong; Nagoya, Fumiko
Published: Springer,
Publication Dates: [2019]
Call Number: TP311.11-532/S681/2018

Book

7

Cover is for reference only

NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /

Corporate Authors: NFM Symposium Newport News, Va
Group Author: Dutle, Aaron Michael; Muñoz, César A., 1968; Narkawicz, Anthony Joseph, 1982
Published: Springer,
Publication Dates: [2018]
Call Number: TP302.8-532/N241/2018

Book

8

Cover is for reference only

Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers /

Corporate Authors: SOFL+MSVL Workshop Xi'an Shi, China
Group Author: Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Published: Springer,
Publication Dates: [2018]
Call Number: TP311.11-532/S681/2017

Book

9

Cover is for reference only

Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) /

Corporate Authors: FOIS Conference Cape Town, South Africa
Group Author: Borgo, Stefano; Hitzler, Pascal; Kutz, Oliver
Published: IOS Press,
Publication Dates: [2018]
Call Number: TP182-532/F723/2018

Book

10

Cover is for reference only

Formal methods in architecture and urbanism /

Group Author: Viana, David Leite; Morais, Franklim; Vaz, Jorge Vieira
Published: Cambridge Scholars Publishing,
Publication Dates: 2018.
Call Number: TU17/F723

Book

11

Cover is for reference only

Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings /

Corporate Authors: International Conference on Software Engineering and Formal Methods Toulouse, France; STAF Federation of conferences Toulouse, France
Group Author: Johnsen, Einar Broch; Schaefer, Ina
Published: Springer,
Publication Dates: [2018]
Call Number: TP31-532/I614/2018

Book

12

Cover is for reference only

Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings /

Corporate Authors: FORTE Conference Madrid, Spain; International Federated Conferences on Distributed Computing Techniques Madrid, Spain
Group Author: Baier, Christel; Caires, Luís
Published: Springer,
Publication Dates: [2018]
Call Number: TP338.8-532/I613/2018

Book

13

Cover is for reference only

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings /

Corporate Authors: FMICS Conference Maynooth, Ireland
Group Author: Howar, Falk; Barnat, Jiří
Published: Springer,
Publication Dates: [2018]
Call Number: TP31-532/I618-2/2018

Book

14

Cover is for reference only

The handbook of formal methods in human-computer interaction /

Group Author: Weyers, Benjamin; Bowen, Judy Judith Alyson; Dix, Alan; Palanque, Philippe, 1966
Published: Springer,
Publication Dates: [2017]
Call Number: TP11-62/H236-4

Book

15

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

16

Cover is for reference only

Formal ontology in information systems : proceedings of the Ninth International Conference (FOIS 2016) /

Corporate Authors: FOIS Conference Annecy, France
Group Author: Ferrario, Roberta; Kuhn, Werner, 1957
Published: IOS Press,
Publication Dates: [2016]
Call Number: TP182-532/F723/2016

Book

17

Cover is for reference only

Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, proceedings /

Corporate Authors: EPEW Workshop Chios, Greece
Group Author: Fiems, Dieter; Paolieri, Marco; Platis, Agapios N
Published: Springer,
Publication Dates: [2016]
Call Number: TP302.7-532/E897 /2016

Book

18