ISS Library

Divisions: Бібліотека

Number of items at this level: 5.

2010

Bertoli Piergiorgio and Pistore Marco and Traverso Paolo (2010) AUTOMATED COMPOSITION OF WEB SERVICES VIA PLANNING IN ASYNCHRONOUS DOMAINS. Artificial Intelligence (14). pp. 316-361.

Карпов Ю. Г. (2010) MODEL CHECKING ВЕРИФИКАЦИЯ ПАРАЛЛЕЛЬНЫХ И РАСПРЕДЕЛЕННЫХ ПРОГРАММНЫХ СИСТЕМ. БХВ-Петербург. ISBN 978-5-9775-0404-1

Карпов Ю.Г. (2010) MODEL CHECKING - МЕТОД ВЕРИФИКАЦИИ ДИСКРЕТНЫХ СИСТЕМ. In: International Conference, 2010. (Unpublished)

2003

Капитонова Ю.В. and Летичевский А.А. (2003) ПАРАДИГМЫ И ИДЕИ АКАДЕМИКА В.М. ГЛУШКОВА. Наукова думка, Киев. ISBN 966-00-0127-4

1959

Карнап Рудольф (1959) ЗНАЧЕНИЕ И НЕОБХОДИМОСТЬ. ИССЛЕДОВАНИЕ ПО СЕМАНТИКЕ И МОДАЛЬНОЙ ЛОГИКЕ. Издательство иностранной литературы, Москва.

This list was generated on Sat Aug 23 01:08:29 2014 EEST.