Bogomolov, Sergiy.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer engineering.
Data Structures and Information Theory.
Computer networks .
Computer Communication Networks.
Information theory.
Software engineering.
Computer science.
Natural Language Processing (NLP).
Natural language processing (Computer science).
Theory of Computation.
Logic in AI.
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.