Bogomolov, Sergiy.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Numerical software verification = 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers /
by:
Martel, Matthieu.; SpringerLink (Online service); Bogomolov, Sergiy.; Prabhakar, Pavithra.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings /
by:
Parker, David.; Bogomolov, Sergiy.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer engineering.
Data Structures and Information Theory.
Computer networks .
Computer Communication Networks.
Information theory.
Software engineering.
Natural Language Processing (NLP).
Computer science.
Logic in AI.
Theory of Computation.
Natural language processing (Computer science).
Data structures (Computer science).
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Computer software
Computer Engineering and Networks.
Artificial Intelligence (incl. Robotics)
Logic programming.