ГПНТБ России - Полное описание

Полное описание

007.51(063)/D69-889306
Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4323). - URL: http://dx.doi.org/10.1007/978-3-540-69554-7. - ISBN 978-3-540-69554-7.

ГРНТИ	УДК
50.39.29	004.7.031.42(062)

Рубрики:
Вычислительные системы интерактивные -- Съезды и конференции

Доп. точки доступа:
Doherty, G.\ed.\
SpringerLink (Online service)
Экз-ры полностью 007.51(063)/D69-889306
http://dx.doi.org/10.1007/978-3-540-69554-7

Показать все результаты

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-line True 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.

Показать все результаты

Показать все результаты

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.Interactive systems. design, specification, and verification : 15th International workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008: revised papers / ed.: N. C. N. Graham, P. Palanque, 2008 r=on-line.Engineering interactive systems : second Conference on human-centered software engineering, HCSE 2008, and 7th International workshop on task models and diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008: proceedings / ed.: P. Forbrig, F. PaternГІ, 2008 r=on-line.Engineering human computer interaction and interactive systems : joint working conferences EHCI-DSVIS 2004 Hamburg, Germany, July 11-13, 2004: revised selected papers / ed. R. Bastide [et al.], 2005 r=on-line.Distributed applications and interoperable systems : 5th IFIP WG 6.1 international conference, DAIS 2005, Athens, Greece, June 15-17, 2005: proceedings / eds. L. Kutvonen, N. Alonistioti, 2005 r=on-line.Interactive systems. design specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / eds.: S. Gilroy, M. Harrison, 2006 r=on-line.Distributed applications and interoperable systems : 6th IFIP WG 6.1 international conference, DAIS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / eds.: F. Eliassen, A. Montresor, 2006 r=on-line.Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / eds.: J. Indulska, K. Raymond, 2007 r=on-line.Distributed applications and interoperable systems : 8th IFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008 : proceedings / eds. R. Meier, S. Terzis, 2008 r=on-line.Engineering interactive systems : EIS 2007 joint working conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : selected papers / ed. J. Gulliksen [et al.], 2008 r=on-line.EICS'09 : proc. of the ACM SIGCHI symp. on Engineering interactive computing systems, Jul. 15-17, 2009, Pittsburgh, Pa, USA / Association for computing machinery (New York, NY); Symposium on engineering interactive computing systems (2009; Pittsburgh, Pa), 2009. - X, 337 p. - Текст : непосредственный.Distributed applications and interoperable systems : 9th IFIP WG 6.1 international conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009 : proceedings / eds. T. Senivongse [et al.], 2009 r=on-line.Active media technology : 5th international conference, AMT 2009, Beijing, China, October 22-24, 2009: proceedings / ed. J. Liu [et al.], 2009 r=on-line.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, 2010 r=on-line.Active media technology : 6th international conference, AMT 2010, Toronto, Canada, August 28-30, 2010 : proceedings / ed.: A. An [et al.], 2010 r=on-line.

Просмотр издания

Полное описание

Заглавие3456

Коллектив/Мероприятие11877

Тематический рубрикатор (ГРНТИ)1007

УДК/ББК15