語系
Silva, Alexandra.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic and program semanticsessays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
Constable, Robert L.; Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)
Language, logic, and computation12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers /
by:
(1998 :); Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part I /
by:
(1998 :); Leino, K. Rustan M.; Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part II /
by:
(1998 :); Leino, K. Rustan M.; Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed objects, components, and systems37th 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:
(1998 :); Bouajjani, Ahmed.; Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer logic.
Mathematical Logic and Formal Languages.
Software Engineering.
Computer network protocols
Logics and Meanings of Programs.
Electronic data processing
Logic in AI.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer software
Software engineering.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer logic
Programming languages (Electronic computers)
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computational linguistics
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer programming.