Fernandez, Maribel.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic-based program synthesis and transformation30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
by:
(1998 :); Fernandez, Maribel.; SpringerLink (Online service)
(書目-電子資源)
Programming languages and operational semanticsa concise overview /
by:
Fernandez, Maribel.; SpringerLink (Online service)
(書目-電子資源)
Models of computationan introduction to computability theory /
by:
Fernandez, Maribel.; SpringerLink (Online service)
(書目-電子資源)
Graph transformation16th International Conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19-20, 2023 : proceedings /
by:
(1998 :); Fernandez, Maribel.; Poskitt, Christopher M.; SpringerLink (Online service)
(書目-電子資源)
主題
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
Computer software
Computable functions.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Computer logic
Artificial Intelligence.
Computer science
Computer Science.
Computer Systems Organization and Communication Networks.
Graph theory
Discrete Mathematics in Computer Science.
Design and Analysis of Algorithms.
Turing machines.
Compilers and Interpreters.