語系
Dal Lago, Ugo.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of software science and computation structures = 21st International Conference, FOSSACS 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:
Dal Lago, Ugo.; SpringerLink (Online service); ETAPS (Conference) (2018 :); FOSSACS (Conference) (2018 :); Baier, Christel.
(書目-電子資源)
Foundational and practical aspects of resource analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers /
by:
FOPARA (Workshop) (2015 :); Dal Lago, Ugo.; SpringerLink (Online service); Eekelen, Marko van.
(書目-電子資源)
Foundational and practical aspects of resource analysis = third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers /
by:
Dal Lago, Ugo.; Pena, Ricardo.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Computer software
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
The Computing Profession.
Computer software- Development
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Discrete Mathematics in Computer Science.