Приложение
для AndroidПолное описание
Theoretical computer science : exploring new frontiers of theoretical informaticsIntern. conf. IFIP TCS 2000, Sendai, Japan, Aug.17-19, 2000Proc. / IFIP TCS 2000. - Berlin[etc.] : Springer, 2000. - XV,630 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n1872). - ISBN 3-540-67823-9 : 2679.61 р. - Текст : непосредственный.
Библиогр. в конце ст. Указ.: с.629-630
| ГРНТИ | УДК | |
| 50.07 | 004-027.21(062) |
Рубрики:
Информатика теоретическая -- Съезды и конференции
Кл.слова (ненормированные): информатика
Доп. точки доступа:
Leeuwen, J.van \ed.\
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Theoretical Computer Science. - Журнал. - Текст : непосредственный.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. - Текст : непосредственный.
Показать все результаты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.
Показать все результатыЗаказ фрагмента документа ₽