Приложение
для AndroidПолное описание
Embedded and ubiquitous computing - EUC 2005 workshops : UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005 : proceedings / ed. Y. Dai [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3823). - URL: http://dx.doi.org/10.1007/11596042. - ISBN 978-3-540-32296-2.
| ГРНТИ | УДК | |
| 50.39.29 | 004.031.6(062) | |
| 81.95.55 | 004.78(063) |
Рубрики:
Вычислительные системы встроенные -- Съезды и конференции
Система человек-компьютер -- Съезды и конференции
Доп. точки доступа:
Dai, Y.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/11596042
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.
Показать все результатыТоом А.И. Психологическая комфортность диалога между человеком и компьютером : Автореферат диссертации на соискание ученой степени канд.психолог.наук / А. И. Тоом, 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 с. - Текст : непосредственный.
Показать все результатыProceedings, Saint Peterburg, Russia, August 2-6, 1994. Vol. 1, 1994. - 299 p. - Текст : непосредственный.Proceedings, Saint Peterburg, Russia, August 2-6, 1994. Vol. 2, 1994. - 204 p. - Текст : непосредственный.Human-Computer Interaction.Human aspects of business computing : The 6th international conference,EWHCI'96 Moscow, Russia, august 12-16, 1996Proceedings / International centre for scientific and technical information, 1996. - 341 c. - Текст : непосредственный.Engineering for human-computer interaction : Proc.of the IFIP TC2/WG2.7 working conf.on engineering for human-computer interaction,Yellowstone Park(Mt),Aug.1995 / Ed.: L. J. Bass, C. Unger, 1996. - VIII,373 p. p. - Текст : непосредственный.East-West International Conference on Human-Computer Interaction : EWHCI'93: Proceedings. Vol. 1, 1993. - 256 с. - Текст : непосредственный.East-West International Conference on Human-Computer Interaction : EWHCI'93: Proceedings. Vol. 2, 1993. - 273 с. - Текст : непосредственный.East-West International Conference on Human-Computer Interaction : EWHCI'93: Proceedings. Vol. 3, 1993. - 146 с. - Текст : непосредственный.East-West international conference on Human-Computer Interaction : Proceedings of the EWHCI'92 held in St.-Petersburg, Russia, 4-8 August, 1992. Part 1, 1992. - XV, 255 p. 255 p. - Текст : непосредственный.Engineering for human-computer interaction : Proc.of the IFIP TC 2/WG 2.7 working conf.on engineering for human computer interaction,Aug.21-25, 1989,Napa Valley(Ca) / ed. G. Cockton, 1990. - IX,530 p. p. - Текст : непосредственный.Mental models and human-computer interaction 1 : Papers of the 6th interdisciplinary workshop in informatics and psychology held in Scharding in June 1987 / Comp.: D. Ackermann, M. J. Tauber, 1990. - XV,387 p. p. - Текст : непосредственный.Proceedings / Ed.:G.Salvendy, M.J.Smith. N 2 : Designing and using human-computer interfaces and knowledge based systems, 1989. - XI,900 p. p. - Текст : непосредственный.LCTES'08 : proc. of the 2008 ACM SIGPLAN-SIGBED conf. on languages, compilers, and tools for embedded systems, Tucson, Az, USA, June 12-13, 2008 / Conference on languages, compilers, and tools for embedded systems (2008; Tucson, Az), 2008. - VIII, 171 p. - Текст : непосредственный.Embedded systems week 2007 : [conference], Sept. 30-Oct. 3, 2007, 2007. - 1 o=электрон. опт. диск (CD-ROM).Lecture notes in computer science / ed. G. Goos [et al.]. 5114 : Embedded computer systems: architectures, modeling, and simulation : proc. of the 8th Intern. workshop, SAMOS 2008, Samos, Greece, Jul. 21-24, 2008 / eds.: M. Berekovic [et al.], 2008. - XVI, 300 p. - Текст : непосредственный.ASSETS'08 : the 10th Intern. ACM SIGACCESS conf. on computers and accessibility, Halifax, Nova Scotia, Canada, Oct. 13-15, 2008 / Association for computing machinery, 2008. - 1 o=электрон. опт. диск (CD-ROM).Lecture notes in computer science / ed. G. Goos [et al.]. 5623 : Internationalization, design and global development : proc. of the 3rd Intern. conf., IDGD 2009 held as part of HCI Intern. 2009, San Diego, Ca, USA, Jul. 19-24, 2009 / International conference on internationalization, design and global development (3rd; 2009; San Diego, Ca); International conference on human-computer interaction (13th; 2009; San Diego, Ca), 2009. - XIX, 526 p. - Текст : непосредственный.ASSETS'07 : proc. of the ninth Intern. ACM SIGACCESS conf. on computers and accessibility, Tempe, Az, USA, Oct. 15-17, 2007 / Association for computing machinery (New York, NY); International conference on computers and accessibility (9th; 2007; Tempe, Az), 2007. - XI, 269 p. - Текст : непосредственный.Pervasive computing : 5th International conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007: proceedings / ed. A. LaMarca [et al.], 2007 r=on-line.High performance embedded architectures and compilers : second International conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007: proceedings / ed. K. Bosschere [et al.], 2007 r=on-line.Transactions on high-performance embedded architectures and compilers I / ed. P. StenstrГ¶m, 2007 r=on-line.
Показать все результатыПросмотр издания