語系
Sokolsky, Oleg.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of computer softwarefuture trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers /
by:
(1998 :); Choppy, Christine.; Sokolsky, Oleg.; SpringerLink (Online service)
(書目-電子資源)
Dependable software engineeringtheories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
by:
(1998 :); Larsen, Kim Guldstrand.; Sokolsky, Oleg.; SpringerLink (Online service); Wang, Ji.
(書目-電子資源)
Automated technology for verification and analysis18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings /
by:
(1998 :); Hung, Dang Van.; Sokolsky, Oleg.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Natural Language Processing (NLP)
Data Structures and Information Theory.
Logics and Meanings of Programs.
Computer software
Database Management.
Automatic theorem proving
Information Storage and Retrieval.
Special Purpose and Application-Based Systems.
Information Systems Applications (incl.Internet)
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Simulation and Modeling.
Probability and Statistics in Computer Science.
Computer System Implementation.