Languages
Sokolsky, Oleg.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
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.