Приложение
для AndroidПолное описание
Montali, M. Specification and verification of declarative open interaction models : a logic-based approach / M. Montali ; SpringerLink (Online service). - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in business information processing, ISSN 1865-1348 ; 56). - URL: http://dx.doi.org/10.1007/978-3-642-14538-4. - ISBN 978-3-642-14538-4. - Текст : электронный.
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.28 | |
| 06.81.19 | 004.415.5 | |
| 005.5:004 |
Кл.слова (ненормированные): БИЗНЕС-ПРОЦЕССЫ -- ВЕРИФИКАЦИЯ -- МОДЕЛИ ВЗАИМОДЕЙСТВИЯ -- РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ -- СЕРВИС-ОРИЕНТИРОВАННЫЕ ВЫЧИСЛЕНИЯ -- СПЕЦИФИКАЦИЯ -- УПРАВЛЕНИЕ
Доп. точки доступа:
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-14538-4
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.415.28-058233)
Шифр в сводном ЭК: 72c909c781016e732171b2abb34f1670
Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. 56 : Specification and verification of declarative open interaction models. A logic-based approach / M. Montali, 2010. - XXII, 411 p. - Текст : непосредственный.Montali M. Specification and verification of declarative open interaction models : a logic-based approach / M. Montali, 2010 r=on-line. - Текст : электронный.
Agile processes in software engineering and extreme programming / SpringerLink (Online service), 2009 r=on-lineSoftware engineering approaches for offshore and outsourced development / SpringerLink (Online service), 2009 r=on-lineDesign requirementsengineering:a ten-year perspective / W. Aalst, P. Loucopoulos, K. Lyytinen [et al.] ; ed. K. Lyytinen, 2009 r=on-line.Agent-mediated electronic commerce and trading agent design and analysis / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Mendlig J. Metrics for process models / J. Mendlig, 2009 r=on-line. - Текст : электронный.Agent-Mediated electronic commerce. designing trading strategies and mechanisms for electronic markets / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.Volkamer M. Evaluation of electronic voting : requirements and evaluation procedures to support responsible election authorities / M. Volkamer, 2009 r=on-line. - Текст : электронный.Perspectives in business informatics research : 9th international conference, BIR 2010, Rostock Germany, September 29–October 1, 2010: proceedings / ed. P. Forbrig, 2010 r=on-line. - Текст : электронный.Business information systems workshops : BIS 2010 international workshops, Berlin, Germany, May 3-5, 2010: revised papers / ed. W. Abramowicz, 2010 r=on-line. - Текст : электронный.Enterprise and organizational modeling and simulation : 6th international workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010: selected papers / ed. J. Barjis, 2010 r=on-line. - Текст : электронный.Lean enterprise software and systems : first international conference, LESS 2010, Helsinki, Finland, October 17-20, 2010: proceedings / ed. P. Abrahamsson, 2010 r=on-line. - Текст : электронный.Ontology, conceptualization and epistemology for information systems, software engineering and service science : 4th international workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010: revised selected papers / ed. M. Sicilia, 2010 r=on-line. - Текст : электронный.Advances in enterprise engineering IV : 6th international workshop, CIAO! 2010, held at descrst 2010, St. Gallen, Switzerland, June 4-5, 2010: proceedings / ed. A. Albani, 2010 r=on-line. - Текст : электронный.Enterprise, business-process and information systems modeling : 11th international workshop, BPMDS 2010, and 15th international conference, EMMSAD 2010, held at caise 2010, Hammamet, Tunisia, June 7-8, 2010: proceedings / ed. I. Bider, 2010 r=on-line. - Текст : электронный.Business process management workshops : BPM 2009 international workshops, Ulm, Germany, September 7, 2009: revised papers / ed. S. Rinderle-Ma [et al.], 2010 r=on-line. - Текст : электронный.Web information systems and technologies : 5th international conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009: revised selected papers / ed. J. Cordeiro, J. Filipe, 2010 r=on-line. - Текст : электронный.Agile processes in software engineering and extreme programming : 11th International conference, XP 2010, Trondheim, Norway, June 1-4, 2010: proceedings / ed. A. Sillitti [et al.], 2010 r=on-line. - Текст : электронный.Business information systems : 12th intern. conf., BIS 2009, Poznan, Poland, Apr. 27-29, 2009: proc. / ed. W. Abramowicz, 2009 r=on-line. - Текст : электронный.Agent-based technologies and applications for enterprise interoperability : international workshops, ATOP 2005 Utrecht, the Netherlands, July 25-26, 2005, and ATOP 2008, Estoril, Portugal, May 12-13, 2008: revised selected papers / ed. K. Fischer [et al.], 2009 r=on-line. - Текст : электронный.Enterprise, business-process and information systems modeling : 10th international workshop, BPMDS 2009, and 14th international conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, the Netherlands, June 8-9, 2009: proceedings / ed. T. Halpin [et al.], 2009 r=on-line. - Текст : электронный.
Показать все результатыHelrich C.S. Modern thermodynamics with statistical mechanics / C. S. Helrich, 2009. - XIII, 402 p. - Текст : непосредственный.On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line.Wechsler H. Reliable face recognition methods / H. Wechsler, 2007 r=on-line. - Текст : электронный.Golbeck J. Computing with social trust / J. Golbeck ; ed. J. Golbeck, 2009 r=on-line. - Текст : электронный.(Re)Searching the digital bauhaus / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Dong A. The language of design / A. Dong, 2009 r=on-line. - Текст : электронный.Seffah A. Adoption-centric usability engineering / A. Seffah, E. Metzker, 2009 r=on-line. - Текст : электронный.Takuma T. Electric fields in composite dielectrics and their applications / T. Takuma, B. Techaumnat, 2010. - XIII, 176 p. - Текст : непосредственный.Teschl G. Mathematik fur Informatiker / G. Teschl, S. Teschl, 2007 r=on-line. - Текст : электронный.Wagner M.H. Wegweiser fur den Erfinder / M. H. Wagner, W. Thieler, 2007 r=on-line. - Текст : электронный.Conrads U. Zeit des Labyrinths / U. Conrads, 2007 r=on-line.Isermann R. Mechatronische Systeme / R. Isermann, 2008 r=on-line. - Текст : электронный.Walter T. Kompendium der Web-Programmierung / T. Walter, 2008 r=on-line. - Текст : электронный.Reimers U. DVB — Digitale Fernsehtechnik / U. Reimers, 2008 r=on-line. - Текст : электронный.Ponn J. Konzeptentwicklung und Gestaltung technischer Produkte / J. Ponn, U. Lindemann, 2008 r=on-line. - Текст : электронный.Orlowski P.F. Praktische Regeltechnik / P. F. Orlowski, 2008 r=on-line. - Текст : электронный.Lunze J. Regelungstechnik 1 / J. Lunze, 2008 r=on-line. - Текст : электронный.Fetzer A. Mathematik 1 / A. Fetzer, H. Frankel, 2008 r=on-line. - Текст : электронный.Thies K.H. Management operationaler IT- und Prozess-Risiken / K. H. Thies, 2008 r=on-line. - Текст : электронный.Weigand B. Thermodynamik kompakt / B. Weigand, J. Kohler, J. von Wolfersdorf, 2008 r=on-line. - Текст : электронный.
Показать все результатыОузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный.Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный.Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный.Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный.Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный.Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный.Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.
Показать все результатыИнформационные технологии в управлении техническими и организационными системами : сборник научных трудов / Ред. Б. Я. Советов, 1993. - 94 c. - Текст : непосредственный.Скачкова В.В. Использование инструментария MS Office для реализации информационной системы / В. В. Скачкова, 2006. - 173 с. - Текст : непосредственный.Тезисы докладов. Вып. 2 : Секции:Государственное и муниципальное управление. Информационные системы управления. Национальная и мировая экономика. Социология и управление персоналом, 1997. - 157 с. - Текст : непосредственный.Олейник П.П. Корпоративные информационные системы для бакалавров и специалистов : выставочные материалы / П. П. Олейник, 2012. - 175 с. - Текст : непосредственный.Математические модели и информационные технологии в организации производства : Научно-практ. журн. / Ижевский гос. технический ун-т им. М.Т.Калашникова. - Журнал выходит с 2004г. - Текст : непосредственный.Астахова А. В. Информационные системы в экономике и защита информации на предприятиях - участниках ВЭД : выставочные материалы / А. В. Астахова, 2014. - 214 с. - Текст : непосредственный.Костров А.В. Введение в информационный менеджмент / А. В. Костров, 1996. - 131 с. - Текст : непосредственный.Карахтанов Д.С. Разработка математического и программного обеспечения идентификации объектов в базе данных на основе нестрогого соответствия / Д. С. Карахтанов, 2011. - 16 с. - Текст : непосредственный.Ершова Т.Б. Повышение качества информационного взаимодействия на высокотехнологичных территориально-распределенных предприятиях : специальность 08.00.05 "Экономика и управление народным хозяйством (по отраслям и сферам деятельности в т.ч.:теория управления экономическими системами; макроэкономика; экономика, организация и управление предприятиями, отраслями, комплексами; управление инновациями; региональная экономика; логистика; экономика труда; экономика народонаселения и демография; экономика природопользования; землеустройство и др." : диссертация на соискание ученой степени д-ра экон. наук / Т. Б. Ершова, 2011. - 45 с. - Текст : непосредственный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Ольховик О.В. Разработка и исследование семантической модели данных для автоматизированной системы управления железнодорожным транспортом : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / О. В. Ольховик, 2000. - 23 с. - Текст : непосредственный.Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный.Сидельников В.В. Управление процессами в программных средах АСОИУ / В. В. Сидельников, В. В. Широков, 1994. - 63 c. - Текст : непосредственный.Глухих М.И. Программная инженерия. Обеспечение качества программных средств методами статического анализа : учебное пособие / М. И. Глухих, В. М. Ицыксон, 2011. - 149 с. - Текст : непосредственный.Информационный менеджмент и электронная коммерция на транспорте : учеб. пособие для бакалавров / Е. Б. Бабошин [и др.] ; под ред. Г. В. Бубновой, Л. П. Левицкой, 2013. - 462 с. - Текст : непосредственный.Дюгуров Д.В. Создание программно-аппаратного комплекса управления вычислительными ресурсами в корпоративных сетях с открытой структурой на основе логики взаимодействия списков / Д. В. Дюгуров, 2012. - 19 с. - Текст : непосредственный.Митрушкин Е.И. Системотехника. Инженерные основы автоматизированных систем : выставочные материалы / Е. И. Митрушкин, 2013. - 200 с. - Текст : непосредственный.Практика управления / А. Г. Белов, А. В. Бондарев, Е. В. Буравлева [и др.], 2012. - 991 с. - Текст : непосредственный.Попов В.Д. Информационные технологии в управлении: гуманитарный дискурс / В. Д. Попов, 2016. - 154 с. - Текст : непосредственный.
Показать все результатыПросмотр издания