語系
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)
(書目-語言資料,印刷品)
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:
Sutton, Peter.; Silva, Alexandra.; Umbach, Carla.; SpringerLink (Online service); Staton, Sam.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
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]
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 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]
主題
Computer network protocols
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Logics and Meanings of Programs.
Machine theory.
Computer logic.
Algorithm Analysis and Problem Complexity.
Formal Languages and Automata Theory.
Computational linguistics
Computer Science.
Computer simulation.
Probability and Statistics in Computer Science.
Electronic data processing
Computer science.
Programming languages (Electronic computers)
Computer Science Logic and Foundations of Programming.
Mathematical logic.
Formal methods (Computer science)
Computer programming.
Programming Techniques.
Logic.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Logic in AI.
Computer logic
Mathematical statistics.
Simulation and Modeling.