語系
Varro, Daniel.
概要
| 作品: | 6 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers /
by:
Schurr, Andy.; Varro, Daniel.; Varro, Gergely.; SpringerLink (Online service)
(書目-電子資源)
Software technologies = applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016 : revised selected papers /
by:
Varro, Daniel.; Wimmer, Manuel.; SpringerLink (Online service); GCM (Workshop) (2016 :); STAF (Federation of conferences) ((2016 :); Milazzo, Paolo.; DataMod (Symposium) (2016 :); HOFM (Workshop) (2016 :); MELO (Workshop) (2016 :); SEMS (Workshop) (2016 :); VeryComp (Workshop) (2016 :)
(書目-電子資源)
Theory and practice of model transformations = 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014 : proceedings /
by:
Di Ruscio, Davide.; Varro, Daniel.; SpringerLink (Online service)
(書目-電子資源)
主題
Rewriting systems (Computer science)
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Model-driven software architecture
Data Structures.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Computer software
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Computer software- Development
Computer Communication Networks.