Seidl, Helmut.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Compiler designanalysis and transformation /
by:
Hack, Sebastian.; Seidl, Helmut.; SpringerLink (Online service); Wilhelm, Reinhard.
(書目-電子資源)
Theoretical aspects of computing - ICTAC 202219th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings /
by:
(1998 :); Liu, Zhiming.; Pasareanu, Corina S.; Seidl, Helmut.; SpringerLink (Online service)
(書目-電子資源)
Static analysis21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
(1998 :); Muller-Olm, Markus.; Seidl, Helmut.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Compiler designvirtual machines /
by:
Seidl, Helmut.; SpringerLink (Online service); Wilhelm, Reinhard.
(書目-電子資源)
Programming languages and systems21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(1998 :); Seidl, Helmut.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Compilers (Computer programs)
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Computer programming
Computer Science Logic and Foundations of Programming.
Computer science
Computer Science.
Computer Communication Networks.