Приложение
для AndroidПолное описание
Distributed applications and interoperable systems : 10th IFIP WG 6.1 International conference, DAIS 2010, Amsterdam, the Netherlands, June 7-9, 2010: poceedings / ed. F. Eliassen, R. Kapitza. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6115). - URL: http://dx.doi.org/10.1007/978-3-642-13645-0. - ISBN 978-3-642-13645-0.
| ГРНТИ | УДК | |
| 50.39.29 | 004.75(062) | |
| 004.7.031.42(062) |
Кл.слова (ненормированные): информация -- распределенная обработка -- интерактивные вычислительные системы -- конференции
Доп. точки доступа:
Eliassen, F.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-13645-0
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. - Текст : непосредственный.
Показать все результатыVerification of object-oriented software. The KeY approach : foreword by K. Rustan M. Leino / ed. B. Beckert [et al.], 2006 r=on-line.Medical image computing and computer-assisted intervention вђ“ MICCAI 2007 : 10th International conference, Brisbane, Australia, October 29 - November 2, 2007: proceedings, part 2 / ed. N. Ayache [et al.], 2007 r=on-line.Mobile response : first International workshop on mobile information technology for emergency response, mobile response 2007, Sankt Augustin, Germany, February 22-23, 2007: revised selected papers / SpringerLink (Online service), 2008 r=on-line.Computational science - ICCS 2008 : 8th International conference, KrakГіw, Poland, June 23-25, 2008: proceedings, part 2 / ed. M. Bubak [et al.], 2008 r=on-line.Computational science - ICCS 2008 : 8th International conference, KrakГіw, Poland, June 23-25, 2008: proceedings, part 3 / ed. M. Bubak [et al.], 2008 r=on-line.Computational science and its applications - ICCSA 2008 : international conference, Perugia, Italy, June 30– July 3, 2008: proceedings, part 2 / ed. O. Gervasi [et al.], 2008 r=on-line.On the move to meaningful internet systems: OTM 2008 : OTM 2008 confederated International conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008: proceedings, part 2 / ed.: R. Meersman, Z. Tari, 2008 r=on-line.Image and video encryption : from digital rights management to secured personal communication / SpringerLink (Online service), 2005 r=on-line.Worzel B. Genetic programming theory and practice vi / B. Worzel, R. Riolo, T. Soule, 2009 r=on-line.Gerdjikov V. Integrable hamiltonian hierarchies : spectral and geometric methods / V. S. Gerdikov [et al.], 2008 r=on-lineKnowledge-based intelligent information and engineering systems : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005: proceedings. Part 3 / ed. R. Khosla [et al.], 2005 r=on-line.Service availability : second international service availability symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005: revised selected papers / ed. M. Malek [et al.], 2005 r=on-line. - Текст : электронный.Information retrieval technology : second asia information retrieval symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005: proceedings / ed. G. Lee [et al.], 2005 r=on-line.Programming languages and systems : third asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005: proceedings / ed. K. Yi, 2005 r=on-line.ECOOP'87 - European conference on object-oriented programming : Paris, France, June 15-17, 1987 : proceedings / ed. J. BГ©zivin [et al.], 2006 r=on-lineAdvances in multimedia modeling : 13th international multimedia modeling conference, MMM 2007, Singapore, January 9-12, 2007 : proceedings : part 2 / eds. T. Cham [et al.], 2006 r=on-line.Complex motion : first international workshop, IWCM 2004, GГјnzburg, Germany, October 12-14, 2004 : revised papers / eds. B. Jahne [et al.], 2007 r=on-line.Adaptive and natural computing algorithms : 8th international conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007 : proceedings : part 2 / ed. B. Beliczynski [et al.], 2007 r=on-line.Public key cryptography вђ“ pkc 2007 : 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings / ed. T. Okamoto, 2007 r=on-line.Computational science - ICCS 2007 : 7th international conference, Beijing, China, May 27 - 30, 2007 : proceedings : part 2 / ed. Y. Shi [et al.], 2007 r=on-line.
Показать все результатыТоом А.И. Психологическая комфортность диалога между человеком и компьютером : Автореферат диссертации на соискание ученой степени канд.психолог.наук / А. И. Тоом, 1991. - 18 с. - Текст : непосредственный.Барсук В.И. Диалоговая система экстремального математического моделирования многосвязных процессов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. И. Барсук, 1990. - 15 с. - Текст : непосредственный.Юдовина Е.Ф. Лингвистическое моделирование процесса общения конечного пользователя с реляционными базами данных и его программная реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Е. Ф. Юдовина, 1991. - 24 с. - Текст : непосредственный.Салкиндер Ю.Б. Инструментальная система для интерактивного конструирования сценариев диалога с пользователем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ю. Б. Салкиндер, 1991. - 17 с. - Текст : непосредственный.Лищитович Н.К. Методы конструирования и контроля информационных зависимостей в диалоговых системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. К. Лищитович, 1991. - 16 с. - Текст : непосредственный.Кондрашев А.В. Исследование и реализация универсальной диалоговой вычислительной системы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Кондрашев, 1991. - 21 с. - Текст : непосредственный.Бобошко А.Ю. Средства проектирования диалоговых систем с большим объемом счетных работ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Ю. Бобошко, 1991. - 16 с. - Текст : непосредственный.Чжан Сунхуа.Анализ, разработка и реализация в виде экспертной системы средств выбора структуры локальных вычислительных сетей : Автореферат диссертации на соискание ученой степени канд.техн.канд.:05.13.13 / Чжан Сунхуа, 1993. - 20 с. - Текст : непосредственный.Климанов В.П. Методология анализа вероятностно-временных характеристик локальных вычислительных сетей составных топологий на основе аналитического моделирования : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / В. П. Климанов, 1993. - 40 с. - Текст : непосредственный.Принципы установки для программных изделий кольцевой сети персонального компьютера / ВЦП. - 105 c. - Текст : непосредственный.Концепции построения локальных сетей / ВЦП. - 91 c. - Текст : непосредственный.Монтаж аппаратного и программного обеспечения для локальной сети на базе операционной системы / ВЦП. - 442 c. - Текст : непосредственный.Беляков В.Г. Методы и программные средства математического моделирования сетевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Беляков, 1994. - 19 с. - Текст : непосредственный.Биренбаум М.И. Разработка методических и программно-технологических средств организации гетерогенных локальных сетей произвольной топографии : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. И. Биренбаум, 1993. - 16 с. - Текст : непосредственный.Хачатрян А.Э. Разработка интеллектуально-имитационного метода выбора структуры распределенных отраслевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / А. Э. Хачатрян, 1994. - 16 с. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11:05.13.13 / Ю. П. Кораблин, 1994. - 40 с. - Текст : непосредственный.Ковалев А.А. Интеллектуальная система автоматизированного проектирования структур многомашинных управляющих вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. А. Ковалев, 1994. - 19 с. - Текст : непосредственный.Копейкин Ю.А. Методы и алгоритмы автоматизированного синтеза архитектур многофункциональных конвейерных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Копейкин, 1994. - 16 с. - Текст : непосредственный.Ершов Н.М. Математические модели и методы обработки информации многопроцессорными вычислительными системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.16 / Н. М. Ершов, 1995. - 12 с. - Текст : непосредственный.Гольцева Л.В. Аппликативная вычислительная система с интенсиональными отношениями : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Л. В. Гольцева, 1995. - 20 с. - Текст : непосредственный.
Показать все результаты11th symposium on reliable distributed systems,Oct.5-7,1992,Houston(Tx.) : Proc. / Symposium on reliable distributed systems (11 ; 1992 ; Houston,Tx.) , 1992. - XI,238 p. p. - Текст : непосредственный.Proceeding of the 12th international conference on distributed computing systems,June 9-12,1992,Yokohama / International conference on distributed computing systems (12 ; 1992 ; Yokohama) , 1992. - XXII,725 p. p. - Текст : непосредственный.Second workshop on the management of replicated data,Nov.12-13,1992,Monterey(Ca) : Proc. / Workshop on the management of replicated data (2 ; 1992 ; Monterey,Ca) , 1992. - X,108 p. p. - Текст : непосредственный.The 1992 IEEE workshop on fault-tolerant parallel and distributed systems,July 6-7,1992,Amherst(Ma) : Digest of papers / Workshop on fault-tolerant parallel and distributed systems (1992 ; Amherst,Ma) , 1992. - VIII,233 p. p. - Текст : непосредственный.Proceedings of the 1st international symposium on high-performance distributed computing,Sept.9-11,1992,Syracuse(NY) / HPDC-1, 1992. - X,285 p. p. - Текст : непосредственный.Proceedings of the 9th symposium on reliable distributed systems,Huntsville(Al),9-11 Oct.1990 / Symposium on reliable distributed systems (9th ; 1990 ; Huntsville,Al) , 1990. - 186 мкф. - Текст : непосредственный.Proceedings of the 10th international conference on ..,May 28-June 1,1990,Paris / International conference on distributed computing systems (10 ; 1990 ; Paris) , 1990. - XII,600 p. мкф. - Текст : непосредственный.Proceedings of the 3rd workshop on future trends of distributed computing systems,Apr.14-16,1992,Taipei / Sponsored by IEEE computer soc.techn.comm.on distributed processing, 1992. - XIII,426 p. p. - Текст : непосредственный.IEEE workshop on experimental distributed systems,Oct.11-12,1990,Huntsville(Al) : Proc. / Workshop on experimental distributed systems (2 ; 1990 ; Huntsville,Al) , 1992. - XII,119 p. p. - Текст : непосредственный.Second IEEE workshop on future trends of distributed computing systems,Sept.30-Oct.2,1990,Cairo : Proc. / Sponsored by IEEE computer soc.techn.comm.on distributed processing, 1990. - XII,512 S. S. - Текст : непосредственный.High-performance distributed computing : Papers presented at the 2nd High-performance distributed computing,held in Spokane(Wa),in July 1993 / HPDC-2, 1994. - 231-392 p. p. - Текст : непосредственный.Parallel and distributed computing : Theory and practice.First Canada-France conf.,Montreal,May 19-21 1994:Proc. / сост.ed. M. Cosnard, 1994. - VI,278 p. p. - Текст : непосредственный.Interactive distributed multimedia systems and services : European workshop IDMS'1996,Berlin,4-6 March 1996 / IDMS'96, 1996. - XI,333 p. p. - Текст : непосредственный.VLSI:algorithms and architectures : Proc.of the Intern.workshop on parallel computing and VLSI,Amalfi,May 23-25,1984 / Ed.: P. Bertolazzi, F. Luccio, 1985. - XI,387 p. p. - Текст : непосредственный.Proceedings of workshop distributed computing and network Tsukuba,27-28 Feb.1993 / Workshop distributed computing and network (1992 ; Tsukuba) , 1993. - 285 p. - Текст : непосредственный.Entwurf und Betrieb verteilter Systeme : Fachtagung der Sonderforschungsberichte 124 und 182 Dagstuhl,19-21 Sept.1990:Proc. / hrsg. T. Harder, 1990. - XII,283 S. S. - Текст : непосредственный.Distributed memory computing : 2nd. European conf.,Munich,Apr.22-24,1989: Proc. / EDMCC2, 1991. - XI,506 p. p. - Текст : непосредственный.Proceedings, 10-12 Oct.1988,Columbus(Oh) / Symposium on reliable distributed systems (7 ; 1988 ; Columbus,Oh.) , 1988. - 215 p. - Текст : непосредственный.Proceedings, June 13-17, 1988,San Jose(Ca) : Mfiche(6) / International conference on distributed computing systems (8 ; 1988 ; San Jose,Ca.) , 1988. - 570 мкфш. - Текст : непосредственный.Proceedings of the 7th annual ACM symposium on .., Toronto, Aug.15-17, 1988 / Symposium on principles of distributed computing (7 ; 1988 ; Toronto) , 1988. - VI, 303 p. 303 p. - Текст : непосредственный.
Показать все результатыПросмотр издания