Salaün, Gwen.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
SpringerLink (Online service); Wijs, Anton.; Salaün, Gwen.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
Wijs, Anton.; Salaün, Gwen.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
by:
Ober, Iulian.; SpringerLink (Online service); Mazzara, Manuel.; Salaün, Gwen.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
by:
SpringerLink (Online service); Salaün, Gwen.; Ölveczky, Peter Csaba.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Computers, Special purpose.
Theory of Computation.
Architecture, Computer.
Microprogramming .
Algorithms.
Logics and Meanings of Programs.
Special purpose computers.
Computer simulation.
Computer Science Logic and Foundations of Programming.
Computer communication systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer science.
Computer system failures.
Computers.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.