Полное описание
>
Graph-theoretic concepts in computer science : 32nd international workshop, WG 2006, Bergen, Norway, June 22-24, 2006 : revised papers / ed. F. Fomin. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4271). - URL: http://dx.doi.org/10.1007/11917496. - ISBN 978-3-540-48382-3.
| ГРНТИ | УДК | |
| 27.45.17 | 519.17(062) | |
| 50.07 | 004.02(062) |
Рубрики:
Графов теория -- Применение в вычислительной технике -- Съезды и конференции
Доп. точки доступа:
Fomin, F.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/11917496
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.
Показать все результатыTOFTS-MI.Тестовая и диагностическая программа периферийного оборудования : Операционное руководство.Гл.6.Подсистема В/В / ВЦП. - 150 с. - Текст : непосредственный.Программируемые рабочие станции для проверок с платой 227Х фирмы ГенРэд. Описания языка испытания (версия 8.2). Гл.6 / ВЦП. - 162 c. - Текст : непосредственный.Черноуцан В.П. Применение естественной избыточности кодов для контроля вычислительных структур : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. П. Черноуцан, 1990. - 15 с. - Текст : непосредственный.Коржик В.П. Графы токов и их применение для построения специальных вложений графов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. П. Коржик, 1990. - 15 с. - Текст : непосредственный.Кириллов А.Н. Представления квантовых групп,q-ортогональные полиномы,комбинаторика и инварианты зацеплений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.03 / А. Н. Кириллов, 1990. - 15 с. - Текст : непосредственный.Шапилов В.Д. Исследование и разработка систем тестового технического диагностирования цифровых узлов высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Д. Шапилов, 1991. - 22 с. - Текст : непосредственный.Саидов А.А. Исследование и разработка интерактивной системы моделирования цифровых устройств для диагностики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. А. Саидов, 1991. - 16 с. - Текст : непосредственный.Раков С.В. Автоматизированные методы верификации структуры и анализа тестов цифровых микропроцессорных устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. В. Раков, 1991. - 16 с. - Текст : непосредственный.Микони С.В. Методы и алгоритмы автоматизированного диагностирования вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.14,05.13.16 / С. В. Микони, 1991. - 38 с. - Текст : непосредственный.Вабищевич А.М. Отображение и реализация задач анализа топологии сетевых графов на супер-ЭВМ векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. М. Вабищевич, 1991. - 16 с. - Текст : непосредственный.Вершинин С.В. Последовательная идентификация дефектов программно-управляемых систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05,05.13.12 / С. В. Вершинин, 1991. - 22 с. - Текст : непосредственный.Кащеев Н.И. Разработка методов и алгоритмов диагностирования дискретных устройств по их непрерывным моделям : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Н. И. Кащеев, 1991. - 14 с. - Текст : непосредственный.Ильченко С.Н. Методы построения тестовых последовательностей для константных и временных неисправностей элементов цифровых устройств на основе их статического и динамического функционального моделирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. Н. Ильченко, 1991. - 21 с. - Текст : непосредственный.Колчанов И.В. Исследование и разработка принципов построения функционально совместимых устройств автоматизации испытания микросборок памяти на цилиндрических магнитных доменах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / И. В. Колчанов, 1992. - 19 с. - Текст : непосредственный.Беляевский В.В. Специальные матрицы графов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. В. Беляевский, 1992. - 14 с. - Текст : непосредственный.Силла Абрахам.Изучение зависимости структуры графа от степенных инвариантов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Силла Абрахам, 1992. - 17 с. - Текст : непосредственный.Щербакова Г.Ю. Термофункциональное гипермоделирование и повышение стабильности электронных устройств с многоэлементной структурой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Г. Ю. Щербакова, 1992. - 16 с. - Текст : непосредственный.Андрюшаев А.М. Анализ и синтез тестов в динамической диагностике цифровых схем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / А. М. Андрюшаев, 1992. - 22 с. - Текст : непосредственный.Дорофеева О.С. Функциональное диагностирование вычислительных процессов на основе стандартных схем программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. С. Дорофеева, 1992. - 16 с. - Текст : непосредственный.Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный.
Показать все результатыGraphs and scheduling : This spec. iss. is devoted to the ESSO XIII conf., the 13th annu. meet. of the european chapter on combinatorial optimization, Capri (Italy), May 18-20, 2000 / Ed.: G. Improta, S. Martello, 2002. - 219-433 p. p. - Текст : непосредственный.Informetrics 89/90 : Sel.of papers submitted for the 2 intern.conf.on bibliometrics, scientometrics and informetrics London, Ontario, Canada, 5-7 July 1989 / сост.ed. L. Egghe, сост.ed. R. Rousseau, 1990. - VIII,401 p. p. - Текст : непосредственный.Applications of graph transformations with industrial relevance : Intern.workshop on applications of graph transformations with industrial relevance, Kerkrade, Sep.1-2, 1999 / AGTIVE'99, 2000. - XV,490 p. p. - Текст : непосредственный.Graph drawing : 7th Intern. symp.,GD'99,Stirin Castle,Czech rep.,Sept.1999Proc. / GD'99, 1999. - XIII,422 p. p. - Текст : непосредственный.Theory and application of graph transformations : 6th Intern. workshop, TAGT'98,Paderborn, Germany, Nov.16-20, 1998Selected papers / TAGT'98, 2000. - IX,490 p. p. - Текст : непосредственный.Selected papers presented at the 8th on international conference on scientometrics and informetrics, Sydney, 16-20 Jul. 2001 / International сonference on scientometrics and informetrics (Sydney) , 2002. - 154 p. - Текст : непосредственный.Journal impact measures: thier role in research policy and scientific information management : Selected papers presented at the 8th intern.conf.on scientometrics and informetrics, Sydney, 17 Jul.2001 / Ed.: W.Gl@:anzel, H.Moed, 2002. - 172-279 p. p. - Текст : непосредственный.Selected papers at the 8th on international conference on cientometrics and informetrics, Sydney, 16-20 Jul.2001 / International conference on cientometrics and informetrics (Sydney) , 2002. - 320-497 p. p. - Текст : непосредственный.Graphs and scheduling : 12th meet.of the european chapter on combinatorial optimization, 27-29 May 1999, Bendor / ECCO XII. - 232-458 p. p. - Текст : непосредственный.Graph drawing : 14th International symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006: revised papers / ed.: M. Kaufmann, D. Wagner, 2007 r=on-line.Applications of graph transformations with industrial relevance : third International symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007: revised selected and invited papers / ed. A. SchГјrr [et al.], 2008 r=on-line.Computational geometry and graph theory : international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007: revised selected papers / ed. H. Ito [et al.], 2008 r=on-line. - Текст : электронный.Graph-theoretic concepts in computer science : 34th International workshop, WG 2008, Durham, UK, June 30 – July 2, 2008: revised papers / ed. H. Broersma [et al.], 2008 r=on-line.Graph transformations : 4th International conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008: proceedings / ed. H. Ehrig [et al.], 2008 r=on-line.Graph drawing : 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008: revised papers / eds. I. Tollis, M. Patrignani, 2009 r=on-line.Combinatorial geometry and graph theory : Indonesia-Japan joint conf., IJCCGGT 2003, Bandung, Indonesia, Sept. 13-16, 2003: revised selected papers / ed. J. Akiyama [et al.], 2005 r=on-line.Graph drawing : 12th Intern. symp., GD 2004, New York, Sept. 29-Oct. 2, 2004: rev. sel. papers / ed. J. Pach, 2005 r=on-line.Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / eds. J. Fiadeiro [et al.], 2005 r=on-line.Graph-theoretic concepts in computer science : 1st international workshop, WG 2005, Metz, France, June 23-25, 2005 : revised selected papers / ed. D. Kratsch, 2005 r=on-lineGraph drawing : 13th International symposium, GD 2005 Limerick, Ireland, September 12-14, 2005: revised papers / ed. : P. Healy, N. Nikolov, 2006 r=on-line.
Показать все результатыПросмотр издания