語系
Orejas, Fernando.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Graph transformation12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15-16, 2019 : proceedings /
by:
(1998 :); Guerra, Esther.; Orejas, Fernando.; SpringerLink (Online service)
(書目-電子資源)
Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; Mosses, Peter.; Orejas, Fernando.; SpringerLink (Online service)
(書目-電子資源)
Automata, languages and programming28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings /
by:
(1998 :); Leeuwen, Jan van.; Orejas, Fernando.; Spirakis, Paul G.; SpringerLink (Online service)
(書目-電子資源)
Fundamental approaches to software engineering14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
(1998 :); Giannakopoulou, Dimitra.; Orejas, Fernando.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Machine theory
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Data Structures.
Abstract data types (Computer science)
Computer programming
Programming Languages, Compilers, Interpreters.
Formal languages
Computer science
Computer Science.
Computer Communication Networks.
Graph theory
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.