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 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.
Computer Science Logic and Foundations of Programming.