語系
TACAS (Conference) (2019 :)
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and algorithms for the construction and analysis of systems = 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part II /
by:
TACAS (Conference) (2019 :); Vojnar, Tomas.; Zhang, Lijun.; SpringerLink (Online service); ETAPS (Conference) (2019 :)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part I /
by:
TACAS (Conference) (2019 :); Vojnar, Tomas.; Zhang, Lijun.; SpringerLink (Online service); ETAPS (Conference) (2019 :)
(書目-電子資源)
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 /
by:
SpringerLink (Online service); TACAS (Conference) (2019 :); ETAPS (Conference) (2019 :); Beyer, Dirk.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Algorithm Analysis and Problem Complexity.
System design
Logic Design.
Artificial Intelligence.
The Computing Profession.
Computer software- Verification
System Performance and Evaluation.
Simulation and Modeling.
System analysis