ISS Library

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

Number of items at this level: 12.

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)

2006

Pistore Marco and Spalazzi Luca and Traverso Paolo (2006) МІНІМАЛІСТИЧНИЙ ПІДХІД ДО СЕМАНТИЧНИХ АНОТАЦІЙ ДЛЯ КОМПОЗИЦІЙ ВЕБ-ПРОЦЕСІВ. ПЕРЕКЛАД СТАТТІ «A MINIMALIST APPROACH TO SEMANTIC ANNOTATIONS FORWEB PROCESSES COMPOSITIONS» (ПЕРЕКЛАД РЕМАРОВИЧ С.). The Semantic Web: Research and Applications Lecture Notes in Computer Science, Volume 4011 . pp. 620-634.

2005

Pistore M. and Traverso P. and Bertoli P. and Marconi A. (2005) АВТОМАТИЗОВАНИЙ СИНТЕЗ КОМПОЗИТНИХ BPEL4WS ВЕБ-СЕРВІСІВ. ПЕРЕКЛАД СТАТТІ «AUTOMATED SYNTHESIS OF COMPOSITE BPEL4WS WEB SERVICES» (ПЕРЕКЛАД РЕМАРОВИЧ С.). In: Proceedings. 2005 IEEE International Conference on Web Service.

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

Pistore Marco and Traverso Paolo (2005) ТЕОРЕТИЧНА ІНТЕГРАЦІЯ ВЕБ-СЕРВІСІВ ВИЯВЛЕННЯ І КОМПОЗИЦІЇ / D2.4.6. A THEORETICAL INTEGRATION OF WEB SERVICE DISCOVERY AND COMPOSITION (ПЕРЕКЛАД РЕМАРОВИЧ С.). The document is part of research project funded by the IST Programme of the Commission of the European Communities as project IST-2004-507482.

2004

Traverso P. and Pistore M. (2004) АВТОМАТИЗОВАНА КОМПОЗИЦІЯ СЕМАНТИЧНИХ ВЕБ-СЕРВІСІВ У ВИКОНУВАНІ ПРОЦЕСИ. ПЕРЕКЛАД СТАТТІ «AUTOMATED COMPOSITION OF SEMANTIC WEB SERVICES INTO EXECUTABLE PROCESSES (ПЕРЕКЛАД РЕМАРОВИЧ С.). The Semantic Web – ISWC 2004 / Lecture Notes in Computer Science , Volume 3298 . pp. 380-394.

2003

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

1959

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

This list was generated on Sat Feb 28 01:08:35 2015 EET.