Приложение
для AndroidПолное описание
Fifth IFIP international conference on theoretical computer science - TCS 2008 / eds.: G. Ausiello [et al.]. - Electronic text data. - Boston, MA : Springer Science + Business Media LLC, 2008. - (IFIP International federation for information processing, ISSN 1571-5736 ; 273). - URL: http://dx.doi.org/10.1007/978-0-387-09680-3. - ISBN 978-0-387-09680-3.
| ГРНТИ | УДК | |
| 50.07 | 004-027.21(062) |
Рубрики:
Вычислительная техника -- Съезды и конференции
Доп. точки доступа:
Ausiello, G.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-0-387-09680-3
Mobile information systems : IFIP TC8 Working conference on mobile information systems (MOBIS) 15-17 September 2004 Oslo, Norway / ed. E. Lawrence [et al.], 2005 r=on-line.Mobile and wireless communication networks : IFIP TC6/WG6.8 Conference on mobile and wireless communication Networks (MWCN 2004) October 25-27, 2004, Paris, France. Elizabeth M. Belding-Royer, Khaldoun Agha, Guy Pujolle / SpringerLink (Online service), 2005 r=on-line.Intelligent information processing II : IFIP TC12/WG12.3 International conference on itelligent iformation pocessing (IIP2004) October 21-23, 2004, Beijing, China / eds. Z. Shi, Q.He, 2005 r=on-line.Optical networks and technologies : IFIP TC6 / WG6.10 first Optical Networks & technologies conference (OpNeTec), October 18-20, 2004, Pisa, Italy / ed. K. Kitayama [et al.], 2005 r=on-line.Technology enhanced learning : IFIP TC3 technology enhanced learning workshop (TeL-04), World computer congress, August 22-27, 2004, Toulouse, France / ed. J. Courtiat et al, 2005 r=on-line.Formal aspects in security and trust : IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), World computer congress, August 22-27, 2004, Toulouse, France / ed. T. Dimitrakos, F. Martinelli, 2005 r=on-line.History of nordic computing : IFIP WG9.7 first working conference on the history of nordic computing (HiNC1), June 16-18, 2003, Trondheim, Norway / ed. J. Bubenko et al., 2005 r=on-line.Perspectives and policies on ict in society : An IFIP TC9 (computers and society) handbook / ed. J. Berleur, C. Avgerou, 2005 r=on-line.Business agility and information technology diffusion : IFIP TC8 WG 8.6 international working conference May 8-11, 2005, Atlanta, Georgia, U.S.A. / SpringerLink (Online service), 2005 r=on-line.Security and privacy in the age of ubiquitous computing : IFIP TC11 20th International information security conference May 30 - June 1, 2005, Chiba, Japan. / SpringerLink (Online service), 2005 r=on-line.Challenges of expanding internet: e-commerce, e-business, and e-government : 5th IFIP conference e-commerce, e-business, and e-government (I3E-2005), October 28-30, 2005, Poznan, Poland. / SpringerLink (Online service), 2005 r=on-line.Security management, integrity, and internal control in information systems : IFIP TC-11 WG 11.1 & WG 11.5 joint working conference / eds. P. Dowland [et al.], 2005 r=on-line.E-Training practices for professional organizations : IFIP TC3/WG3.3 fifth working conference on eTRAIN practices for professional organizations (eTrain 2003) July 7-11, 2003, Pori, Finland. / SpringerLink (Online service), 2005 r=on-line.System modeling and optimization : proceedings of the 21st IFIP TC7 conference held in July 21st-25th, 2003, Sophia Antipolis, France / ed. J. Cagnol, J. ZolГ©sio, 2005 r=on-line.The information society: emerging landscapes : IFIP international conference on landscapes of ICT and social accountability, Turku, Finland, June 27-29, 2005 / ed. C. Zielinski [et al.], 2006 r=on-line.Challenges in ad hoc networking : fourth annual mediterranean ad hoc networking workshop, June 21-24, 2005, ГЋle de Porquerolles, France / ed. K. Agha [et al.], 2006 r=on-line.Precision assembly technologies for mini and micro products : proceedings of the IFIP TC5 WG5.5 third International precision assembly seminar (IPAS -2006), 19-21 February 2006, Bad Hofgastein, Austria. / SpringerLink (Online service), 2006 r=on-line.System modeling and optimization : proceedings of the 22nd IFIP TC7 conference held from July 18-22, 2005, in Turin, Italy / ed. F. Ceragioli [et al.], 2006 r=on-line.VLSI-SOC: from systems to chips : IFIP TC 10/ WG 10.5 twelfth International conference on very large scale integration of system on chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany. / SpringerLink (Online service), 2006 r=on-line.Security and privacy in dynamic environments : proceedings of the IFIP TC-11 21st International information security conference (SEC 2006), 22-24 May 2006, Karlstad, Sweden. / SpringerLink (Online service), 2006 r=on-line.
Показать все результаты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 с. - Текст : непосредственный.Шапилов В.Д. Исследование и разработка систем тестового технического диагностирования цифровых узлов высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук: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.05,05.13.12 / С. В. Вершинин, 1991. - 22 с. - Текст : непосредственный.Кащеев Н.И. Разработка методов и алгоритмов диагностирования дискретных устройств по их непрерывным моделям : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Н. И. Кащеев, 1991. - 14 с. - Текст : непосредственный.Ильченко С.Н. Методы построения тестовых последовательностей для константных и временных неисправностей элементов цифровых устройств на основе их статического и динамического функционального моделирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. Н. Ильченко, 1991. - 21 с. - Текст : непосредственный.Колчанов И.В. Исследование и разработка принципов построения функционально совместимых устройств автоматизации испытания микросборок памяти на цилиндрических магнитных доменах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / И. В. Колчанов, 1992. - 19 с. - Текст : непосредственный.Щербакова Г.Ю. Термофункциональное гипермоделирование и повышение стабильности электронных устройств с многоэлементной структурой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Г. Ю. Щербакова, 1992. - 16 с. - Текст : непосредственный.Андрюшаев А.М. Анализ и синтез тестов в динамической диагностике цифровых схем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / А. М. Андрюшаев, 1992. - 22 с. - Текст : непосредственный.Дорофеева О.С. Функциональное диагностирование вычислительных процессов на основе стандартных схем программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. С. Дорофеева, 1992. - 16 с. - Текст : непосредственный.Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный.Описание и руководство по работе интерфейсного тестера модели DIT-24 / ВЦП. - 26 c. - Текст : непосредственный.Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Линейный анализатор данных А-5 / ВЦП. - 94 c. - Текст : непосредственный.Тестовые кристаллы / ВЦП. - 15 c. - Текст : непосредственный.Орлов М.А. Системотехнические основы организации и разработки программно-аппаратных средств моделирования для комплексных САПР ИЭВТ : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05, 05.13.12 / М. А. Орлов, 1993. - 85 с. - Текст : непосредственный.
Показать все результатыTheoretical computer science : Exploring new frontiers of theoretical informaticsIntern. conf. IFIP TCS 2000, Sendai, Japan, Aug.17-19, 2000Proc. / IFIP TCS 2000, 2000. - XV,630 p. p. - Текст : непосредственный.Теоретическая информатика- 2000: от теории к практике : Труды междунар.конф., 2000. - 215 с. - Текст : непосредственный.STACS 2007 : 24th Annual Symposium on theoretical aspects of computer science, Aachen, Germany, February 22-24, 2007: proceedings / ed.: W. Thomas, P. Weil, 2007 r=on-line.FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International conference, New Delhi, India, December 12-14, 2007: proceedings / ed.: V. Arvind, S. Prasad, 2007 r=on-line.Rewriting techniques and applications : 19th International conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008: proceedings / ed. A. Voronkov, 2008 r=on-line.Theoretical aspects of computing - ICTAC 2008 : 5th International colloquium, Istanbul, Turkey, September 1-3, 2008: proceedings / ed. J. Fitzgerald [et al.], 2008 r=on-line.Fifth IFIP international conference on theoretical computer science - TCS 2008 / eds.: G. Ausiello [et al.], 2008 r=on-line.Theoretical aspects of computing - ICTAC 2004 : first International colloquium, Guiyang, China, September 20-24, 2004: revised selected papers / ed. : K. Araki, Z. Liu, 2005 r=on-line.Term rewriting and applications : 16th international conf. RTA 2005, Nara, Japan 19-21, 2005: proc. / ed. J. Giesl, 2005 r=on-line.Theoretical computer science : 9th italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005: proceedings / ed. M. Coppo [et al.], 2005 r=on-line.Theoretical aspects of computing - ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005: proceedings / ed.:D. Hung van, M. Wirsing, 2005 r=on-line.FSTTCS 2005: foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings / ed. : R. Ramanujam, S. Sen, 2005 r=on-lineSTACS 2006 : 23rd Annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006: proceedings / ed. : B. Durand, W. Thomas, 2006 r=on-line.LATIN 2006: theoretical informatics : 7th Latin american symposium, Valdivia, Chile, March 20-24, 2006: proceedings / ed. J. Correa [ et al.], 2006 r=on-line.Term rewriting and applications : 17th international conference, RTA 2006, Seattle, Wa, USA, August 12-14, 2006 : proceedings / ed. F. Pfenning, 2006 r=on-lineTheoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings / eds. K. Barkaoui [et al.], 2006 r=on-line.Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / ed. F. Baader, 2007 r=on-line.Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macau, China, September 26-28, 2007 : proceedings / ed. C. B. Jones [et al.], 2007 r=on-lineAlgebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers / ed. S. Bozapalidis, G. Rahonis, 2007 r=on-lineLATIN 2008: theoretical informatics : 8th Latin american symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / eds. E. S. Laber [et al.], 2008 r=on-line.
Показать все результатыПросмотр издания