書封
Fisman, Dana.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Tools and Algorithms for the Construction and Analysis of Systems = 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II /
by:
Rosu, Grigore.; SpringerLink (Online service); Fisman, Dana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I /
by:
Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings /
by:
SpringerLink (Online service); Fisman, Dana.; Feng, Lu.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings /
by:
SpringerLink (Online service); Feng, Lu.; Fisman, Dana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer networks .
Coding and Information Theory.
Information theory.
Software engineering.
Theory of Computation.
Logic in AI.
Microprogramming .
Computer Engineering and Networks.
Computer simulation.
Logic programming.
Coding theory.
Control Structures and Microprogramming.
Computer science.