Salaün, Gwen.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.