Languages
Troubitsyna, Elena.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Software engineering for resilient systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Crnkovic, Ivica.; Troubitsyna, Elena.; SpringerLink (Online service)
(Language materials, printed)
Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings /
by:
Romanovsky, Alexander.; Troubitsyna, Elena.; Bitsch, Friedemann.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings /
by:
Dongol, Brijesh.; SpringerLink (Online service); Troubitsyna, Elena.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering for Resilient Systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
by:
Crnkovic, Ivica.; Troubitsyna, Elena.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Safety, Reliability, and Security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings /
by:
Schoitsch, Erwin.; Romanovsky, Alexander.; Gashi, Ilir.; SpringerLink (Online service); Bitsch, Friedemann.; Troubitsyna, Elena.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer organization.
Systems and Data Security.
Computer System Implementation.
Image Processing and Computer Vision.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Logic in AI.
Natural language processing (Computer science).
Architecture, Computer.
Computer Science.
Microprogramming .
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Management of Computing and Information Systems.
Computer communication systems.
Artificial Intelligence.
Data encryption (Computer science).
Cryptology.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Computer science.
Natural Language Processing (NLP).
Management information systems.
Optical data processing.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer security.
Computer software
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.