ISS Library

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

Number of items at this level: 8.

2010

Baryannis George and Plexousakis Dimitris (2010) АВТОМАТИЗОВАНА КОМПОЗИЦІЯ ВЕБ-СЕРВІСІВ: СТАН ТА ПРОБЛЕМИ НАУКОВОГО ДОСЛІДЖЕННЯ (ПЕРЕКЛАД РЕМАРОВИЧ С.С.). (Unpublished)

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)

2007

Pagliarecci Francesco and Pistore Marco and Spalazzi Luca and Traverso Paolo (2007) ВИЯВЛЕННЯ ВЕБ-СЕРВІСІВ НА РІВНІ ПРОЦЕСУ НА ОСНОВІ CЕМАНТИЧНОЇ АНОТАЦІЇ / ПЕРЕКЛАД СТАТТІ «WEB SERVICE DISCOVERY AT PROCESS-LEVEL BASED ON SEMANTIC ANNOTATION»(ПЕРЕКЛАД РЕМАРОВИЧ С.). (Unpublished)

2005

Pistore M. and Traverso P. and Bertoli P. and Marconi A. (2005) ПІДХІД ДЛЯ АВТОМАТИЗОВАНОЇ КОМПОЗИЦІЇ BPEL ПРОЦЕСІВ / ПЕРЕКЛАД СТАТТІ «AN APPROACH FOR THE AUTOMATED COMPOSITION OF BPEL PROCESSES» (ПЕРЕКЛАД РЕМАРОВИЧ С.). (Unpublished)

2003

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

1959

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

This list was generated on Thu Oct 2 01:08:30 2014 EEST.