Schaefer, Ina.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Ernst Denert Award for Software Engineering 2019 = Practice Meets Foundations /
by:
Rumpe, Bernhard.; SpringerLink (Online service); Reussner, Ralf.; Prechelt, Lutz.; Felderer, Michael.; Matthes, Florian.; Schaefer, Ina.; Koziolek, Heiko.; Hasselbring, Wilhelm.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
Schaefer, Ina.; SpringerLink (Online service); Johnsen, Einar Broch.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamental Approaches to Software Engineering = 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
Schaefer, Ina.; Egyed, Alexander.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Ernst Denert Award for Software Engineering 2020 = Practice Meets Foundations /
by:
SpringerLink (Online service); Rumpe, Bernhard.; Koziolek, Heiko.; Hasselbring, Wilhelm.; Reussner, Ralf.; Prechelt, Lutz.; Felderer, Michael.; Matthes, Florian.; Schaefer, Ina.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Principled software development = essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
Muller, Peter.; SpringerLink (Online service); Schaefer, Ina.
(書目-語言資料,印刷品)
Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
by:
SpringerLink (Online service); Schaefer, Ina.; Müller, Peter.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
IT in Business.
Software engineering.
Theory of Computation.
Computer programming.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronic data processing—Management.
IT Operations.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Software Management.
System Performance and Evaluation.
The Computing Profession.
Business information services.
Management of Computing and Information Systems.
Computer science.
Computer system failures.
Management information systems.
Programming languages (Electronic computers).
Computer software