語系
Fernandez, Maribel.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Graph transformation = 16th International Conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19-20, 2023 : proceedings /
by:
Fernandez, Maribel.; SpringerLink (Online service); STAF (Federation of conferences) ((2023 :); ICGT (Conference) (2023 :); Poskitt, Christopher M.
(書目-電子資源)
Programming languages and operational semantics = a concise overview /
by:
Fernandez, Maribel.; SpringerLink (Online service)
(書目-電子資源)
Models of computation = an introduction to computability theory /
by:
SpringerLink (Online service); Fernandez, Maribel.
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
by:
Fernandez, Maribel.; SpringerLink (Online service); LOPSTR (Symposium) (2020 :)
(書目-電子資源)
主題
Theory of Computation.
Mathematical Logic and Formal Languages.
Data Structures and Information Theory.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Techniques.
Logic programming
Computable functions.
Programming Languages, Compilers, Interpreters.
Computer logic
Artificial Intelligence.
Computer science
Computer Science.
Computer software- Development
Computer Systems Organization and Communication Networks.
Graph theory- Data processing
Discrete Mathematics in Computer Science.
Design and Analysis of Algorithms.
Turing machines.
Programming languages (Electronic computers)- Semantics.
Compilers and Interpreters.