語系
Silva, Alexandra.
概要
作品: | 0 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
Constable, Robert L.; Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)
New trends towards Mediterranean tourism sustainability /
by:
Rosalino, Luís M.; Silva, Alexandra.; Abreu, Toño.
(書目-語言資料,印刷品)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part I /
by:
Silva, Alexandra.; SpringerLink (Online service); CAV (Conference) (2021 :); Leino, K. Rustan M.
(書目-電子資源)
Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
Silva, Alexandra.; SpringerLink (Online service); FORTE (Conference) (2017 :); Bouajjani, Ahmed.
(書目-電子資源)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part II /
by:
Silva, Alexandra.; SpringerLink (Online service); Leino, K. Rustan M.; CAV (Conference) (2021 :)
(書目-電子資源)
主題
Computer logic.
Mathematical Logic and Formal Languages.
Software Engineering.
Computer network protocols
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Software engineering.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Sustainable tourism- Mediterranean Region.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer software- Verification
Simulation and Modeling.
Computer programming.