語系
Silva, Alexandra.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
SpringerLink (Online service); Leino, K. Rustan M.; Silva, Alexandra.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
Leino, K. Rustan M.; Silva, Alexandra.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
Silva, Alexandra.; Constable, Robert L.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Language, Logic, and Computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /
by:
Sutton, Peter.; Silva, Alexandra.; Umbach, Carla.; SpringerLink (Online service); Staton, Sam.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /
by:
Wassermann, Renata.; Silva, Alexandra.; de Queiroz, Ruy.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Language, logic, and computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Silva, Alexandra.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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:
SpringerLink (Online service); Bouajjani, Ahmed.; Workshop on the Preservation of Stability under Discretization ((2001 :); Silva, Alexandra.
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
Leino, K. Rustan M.; Silva, Alexandra.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
Silva, Alexandra.; Leino, K. Rustan M.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /
by:
Silva, Alexandra.; Wassermann, Renata.; SpringerLink (Online service); de Queiroz, Ruy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Formal methods (Computer science)
Computer network protocols
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computer programming.
Programming Techniques.
Logic.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Machine theory.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer logic.
Algorithm Analysis and Problem Complexity.
Formal Languages and Automata Theory.
Computational linguistics
Logic in AI.
Computer Science.
Computer simulation.
Probability and Statistics in Computer Science.
Computer logic
Mathematical statistics.
Electronic data processing
Simulation and Modeling.
Computer science.
Programming languages (Electronic computers)
Computer Science Logic and Foundations of Programming.