語系
Schurr, Andy.
概要
作品: | 11 作品在 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)
(書目-電子資源)
Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers /
by:
Schurr, Andy.; Nagl, Manfred.; Zundorf, Albert.; SpringerLink (Online service)
(書目-電子資源)
Fundamental approaches to software engineering = 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings /
by:
Schurr, Andy.; SpringerLink (Online service); Russo, Alessandra.; FASE (Conference) (2018 :); ETAPS (Conference) (2018 :)
(書目-電子資源)
主題
Rewriting systems (Computer science)
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Data Structures.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer science
The Computing Profession.
Computer Science.
Discrete Mathematics in Computer Science.
Computer Systems Organization and Communication Networks.