語系
Sokolsky, Oleg.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
by:
Hung, Dang Van.; SpringerLink (Online service); Sokolsky, Oleg.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
by:
Cleaveland, Rance.; Grosu, Radu.; Sokolsky, Oleg.; SpringerLink (Online service); Bartocci, Ezio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
by:
Larsen, Kim Guldstrand.; Workshop on the Preservation of Stability under Discretization ((2001 :); Sokolsky, Oleg.; SpringerLink (Online service); Wang, Ji.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Data Structures and Information Theory.
Computer System Implementation.
Computer logic.
Artificial intelligence.
Software engineering.
System Performance and Evaluation.
Natural language processing (Computer science).
Data structures (Computer science).
Architecture, Computer.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Probability and Statistics in Computer Science.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Natural Language Processing (NLP).
Computer system failures.
Software engineering