Приложение
для AndroidПолное описание
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / ed. M. Bravetti [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4184). - URL: http://dx.doi.org/10.1007/11841197. - ISBN 978-3-54038-865-4.
| ГРНТИ | УДК | |
| 19.31 | 004.775(062) |
Рубрики:
Веб-сервисы -- Съезды и конференции
Доп. точки доступа:
Bravetti, M.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/11841197
Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Computational geometry-methods,algorithms and applications : Proc.of the 7th intern.workshop on computational geometry,Bern,March 21-22,1991 / CG'91, 1991. - VIII,320 p. p. - Текст : непосредственный.Grahne G. The problem of incomplete information in relational databases / G.Grahne, 1991. - VIII,149 p. p. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.ISA'91 algorithms : 2nd intern.symp.on algorithms,Taipei,Dec.16-18,1991:Proc. / Ed.: W. L. Hsu, R. C.T. Lee, 1991. - X,396 p. p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Butler G. Fundamental algorithms for permutation groups / G.Butler, 1991. - XII,238 p. p. - Текст : непосредственный.Herman I. The use of projective geometry in computer graphics / I.Herman, 1992. - 146 p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 17th intern.workshop on graph-theoretic concepts in computer science,Fischbachau,June 17-19,1991Proc. / WG'91, 1992. - VIII,253 p. p. - Текст : непосредственный.Formal techniques in real-time and fault-tolerant systems : 2nd intern.symp.on formal techniques in real-time and fault-tolerant systems,Jan.1992,NijmegenProc. / Ed. J. Vytopil, 1991. - IX,620 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Parallel architectures and languages Europe : 4th intern.PARLE conf.,Paris,June 1992Proc. / PARLE'92, 1992. - XVII,984 p. p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.Cheese A. Parallel execution of Parlog / A.Cheese, 1992. - 184 p. - Текст : непосредственный.
Показать все результатыKnapp A. Advanced real analysis : along with a companion volume basic real analysis / A. Knapp, C. Epstein, S. Krantz, 2005 r=on-line.Decreusefond L. Mathematiques informatique physique : au fil des TIPе / L. Decreusefond, A. Maruani, 2005 r=on-lineTrue visions : the emergence of ambient intelligence / ed.: E. Aarts, J. Encarnação, 2006 r=on-line.Bielefeld B. Building projects in China : a manual for architects and engineers / B. Bielefeld, L. P. Rusch, 2006 r=on-line.Horst W. Het herstel van het gewone leven : een handreiking aan alledaagse opvoeders (ouders, onderwijsgevenden, groepsleiding, gezinsverzorgster) in problematische opvoedingssituaties / W. Horst, 2006 r=on-line. - Текст : электронный.Advances in cryptology - CRYPTO - 86 : proceedings / ed. A. M. Odlyzko, 2006 r=on-line.ECOOP - 87 european conference on object-oriented programming : Paris, France, June 15-17, 1987: proceedings / ed. J. Bezivin [et al.], 1987 r=on-line. - Текст : электронный.Prodan R. Grid computing : experiment management, tool integration, and scientific workflows / R. Prodan, T. Fahringer, 2007 r=on-line.Distributed, high-performance and grid computing in computational biology : international Workshop, GCCB 2006, Eilat, Israel, Jan. 21, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line.Engineering self-organising systems : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006: revised and invited papers / ed. S. Brueckner [et al.], 2007 r=on-line.Evolutionary computation in combinatorial optimization : 7th European conf., EvoCOP 2007, Valencia, Spain, Apr. 11-13, 2007: proceedings / ed.: C. Cotta, J. Hemert, 2007 r=on-line.Systems biology and regulatory genomics : joint Annual RECOMB 2005 satellite workshops on systems biology and on regulatory genomics, San Diego, Ca, USA, Dec. 2-4, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Languages and compilers for parallel computing : 18th International workshop, LCPC 2005, Hawthorne, NY, USA, Oct. 20-22, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Ada 2005 reference manual. Language and standard libraries : international Standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / SpringerLink (Online service), 2006 r=on-line.Complex motion : 1st International workshop, IWCM 2004, Gunzburg, Germany, Oct. 12-14, 2004: revised papers / ed. B. Jahne [et al.], 2006 r=on-line.Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, Oct. 1-6, 2006: reports and revised selected papers / ed. T. Kuhne, 2007 r=on-line.Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford, 2007 r=on-line.Multimodal technologies for perception of humans : first International evaluation workshop on classification of events, activities and relationships, CLEAR 2006, Southampton, UK, Apr. 6-7, 2006: revised selected papers / SpringerLink (Online service), 2007 r=on-line.Computational logic in multi-agent systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006: revised selected and ivited papers / ed. K. Inoue [et al.], 2007 r=on-line.New frontiers in artificial intelligence : JSAI 2006 conference and workshops, Tokyo, Japan, June 5-9 2006:revised selected papers / ed. T. Washio [et al.], 2007 r=on-line.
Показать все результатыРаковский О.В. Разработка и исследование гипертекстовой телеконференционной системы : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.06 / О. В. Раковский, 1994. - 14 с. - Текст : непосредственный.Соколова Г.Ю. Теория и методика обучения работе в сети INTERNET. На примере подготовки преподавателя информатики, методиста-организатора НИТ : Автореферат диссертации на соискание ученой степени канд. пед.наук:13.00.02 / Г. Ю. Соколова, 1999. - 19 с. - Текст : непосредственный.Адамович И.М. Интегрированная технология работы в WEB-пространстве INTERNET : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / И. М. Адамович, 2000. - 15 с. - Текст : непосредственный.Нгуен Куанг Чунг.Использование связей между WEB-страницами и закономерностей рассеяния информации для повышения эффективности поиска в WWW : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.13 / Нгуен Куанг Чунг, 2002. - 23 с. - Текст : непосредственный.Хасин М.А. Модель распределенного хранилища в глобальной сети : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.18 / М. А. Хасин, 2001. - 19 с. - Текст : непосредственный.Ярославский В.В. Разработка и реализация JAVA-комплекса с элементами ТРИЗ для творческого навигационного поиска в сети : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.11 / В. В. Ярославский, 2001. - 16 с. - Текст : непосредственный.Моллах Мухаммед Тоухидул Хок.Оценка качества информационно-поисковых систем Internet применительно к эффективности решения отраслевых задач (на примере железнодорожного транспорта) : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.13 / Моллах Мухаммед Тоухидул Хок, 2002. - 23 с. - Текст : непосредственный.Чернев С.П. Технологии проектирования и создания информационных порталов на основе спецификации функциональной структуры обобщенными сетями Петри : автореф. дис. .. канд. техн. наук : 05.13.11 / С. П. Чернев, 2003. - 17 с. - Текст : непосредственный.Аксенов А.А. Разработка расширенной реляционной модели данных распределенной хронологической системы управления виртуальными представительствами : автореф. дис. .. канд. техн. наук : 05.13.11 / А. А. Аксенов, 2003. - 17 с. - Текст : непосредственный.Власов А.В. Исследование и разработка методов реализации технологии абонентского доступа ADSL на ВСС : автореф. дис. .. канд. техн. наук : 05.12.13 / А. В. Власов, 2003. - 20 с. - Текст : непосредственный.Нгуен Мань Хунг.Разработка модели и реализации тезаурусов в Интегрированной системе информационных ресурсов : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / Нгуен Мань Хунг, 2004. - 22 с. - Текст : непосредственный.FKT : Die Fachzeitschrift fϋr Fernsehen, Film und Elektronische Medien. - Журнал выходит с 1947г. - Текст : непосредственный.Александровский А.Д. Создание Web-страниц с использованием FrontPage 98 и JavaScript / А.Д.Александровский, 1998. - 366 с. - Текст : непосредственный.Veljkov M. Pocket guides to the internet. Vol. 1 : Telnetting, 1994. - 42 p. - Текст : непосредственный.Veljkov M. Pocket guides to the internet. Vol. 2 : Transferring files with file transfer protocol, 1994. - VI,54 p. p. - Текст : непосредственный.Veljkov M. Pocket guides to the internet. Vol. 4 : The internet E-mail system, 1994. - V,58 p. p. - Текст : непосредственный.Veljkov M. Pocket guides to the internet. Vol. 5 : Basic internet utilities, 1994. - VI,68 p. p. - Текст : непосредственный.Veljkov M. Pocket guides to the internet. Vol. 6 : Terminal connections, 1994. - VI,48 p. p. - Текст : непосредственный.Newby G.B. Directory of directories on the internet : A guide to inform.sources / G.B.Newby, 1994. - XVII,153 p. p. - Текст : непосредственный.On internet.. : An intern. guide to electronic journals, newsletters, texts, discussion lists, and other resources on the internet. 94 / Ed.by T.Abbott, 1994. - XXV,453 p. p. - Текст : непосредственный.
Показать все результатыQuality of future internet services : First COST 263 Intern. workshop, QofIS 2000, Berlin, Germany, Sept.2000Proc. / ed. J. Crowcroft, 2000. - XI,368 p. p. - Текст : непосредственный.Web information systems engineering- WISE 2007 : 8th International conference on web information systems engineering Nancy, France, December 3-7, 2007: proceedings / ed. B. Benatallah [et al.], 2007 r=on-line.Web information systems engineering -WISE 2007 workshops : WISE 2007 International workshops Nancy, France, December 3, 2007: proceedings / ed. M. Weske [et al.], 2007 r=on-line.Web information systems engineering - WISE 2008 workshops : WISE 2008 International workshops, Auckland, New Zealand, September 1-4, 2008: proceedings / ed. S. Hartmanns [et al.], 2008 r=on-line.Web information systems engineering - WISE 2008 : 9th International conference, Auckland, New Zealand, September 1-3, 2008: proceedings / ed. J. Bailey [et al.], 2008 r=on-line.Web reasoning and rule systems : second International conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008: proceedings / ed.: D. Calvanese, G. Lausen, 2008 r=on-line.Towards a service-based internet : first European conference, servicewave 2008, Madrid, Spain, December 10-13, 2008: proceedings / ed. P. Mohanen [et al.], 2008 r=on-line.Reasoning web : 4th International summer school 2008, Venice, Italy, September 7-11, 2008: tutorial lectures / ed. C. Baroglio [et al.], 2008 r=on-line.Visual information systems. Web-based visual information search and management : 10th International conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008: proceedings / ed. M. Sebillo [et al.], 2008 r=on-line.Algorithms and models for the web-graph : 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009: proceedings / ed. K. Avrachenkov [et al.], 2009 r=on-line.Web information systems and technologies : international conferences, WEBIST 2005 and WEBIST 2006: revised selected papers / ed. J. Filipe [et al.], 2007 r=on-line.Semantic web services and web process composition : 1st Intern. workshop, SWSWPC 2004, San Diego, Ca, USA, July 6, 2004: revised selected papers / ed. : J. Cardoso, A. Sheth, 2005 r=on-line.Technologies for e-services : 5th International workshop, TES 2004,Toronto, Canada, August 29-30, 2004: revised selected papers / ed. M. Shan [et al.], 2005 r=on-line.Web information systems engineering - WISE 2005 : 6th international conference onweb information systems engineering, New York, NY, USA, November 20-22, 2005 : proceedings / ed. A. Ngu [et al.], 2005 r=on-lineWeb information systems engineering - wise 2005 workshops : WISE 2005 international workshops, NewYork, NY, USA, November 20-22, 2005 : proceedings / ed. M. Dean [et al.], 2005 r=on-lineAdvances in computer science - Asian 2005. Data management on the web : 10th Asian computing science conference, Kunming, China, December 7-9, 2005 : proceedings / ed. S. Grumbach [et al.], 2005 r=on-lineTechnologies for e-services : 6th international workshop, TES 2005, Trondheim, Norway, September 2-3, 2005 : revised selected papers / ed. C. Bussler, M. Shan, 2006 r=on-lineAgent-oriented software engineering VI : 6th International workshop, AOSE 2005 Utrecht, The Netherlands, July 25, 2005 : revised and invited papers / eds.: J. Muller, F. Zambonelli, 2006 r=on-line.Performability has its price : 5th international orkshop on internet charging and QoS technologies, ICQT 2006, St. Malo, France, June 27, 2006 : proceedings / ed.: B. Stiller [et al.], 2006 r=on-line.Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / ed. M. Bravetti [et al.], 2006 r=on-line
Показать все результатыПросмотр издания