語系
Troubitsyna, Elena.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.