Полное описание
>
Algorithms and complexity : second Italian conf.,CIAC'94,Rome,Febr.23-25 1994:Proc. / CIAC'94. - Berlin[etc.] : Springer , 1994. - VIII,222 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; 778). - ISBN 3-540-57811-0 : 21286 р. - Текст : непосредственный.
Библиогр.в конце статей
| ГРНТИ | УДК | |
| 27.03.45 | 510.53(062) |
Рубрики:
Алгоритмы -- Съезды и конференции
Сложность вычислений -- Съезды и конференции
Доп. точки доступа:
Bonuccelli, M.\ed.\
>
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
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. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный.Ашаев И.В. Алгоритмическая вычислимость над произвольными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев, 1996. - 11 с. - Текст : непосредственный.Бадаев С.А. Минимальные нумерации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев, 1996. - 18 с. - Текст : непосредственный.Коровина М.В. Обобщенная вычислимость над полем действительных чисел : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина, 1996. - 12 с. - Текст : непосредственный.Найденко В.Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко, 1997. - 16 с. - Текст : непосредственный.Ганова Р.В. Нетрадиционные версии обобщенной вычисляемости с оракулами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова, 1998. - 13 с. - Текст : непосредственный.Хисамиев А.Н. Определимость в наследственно конечных допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев, 1999. - 12 с. - Текст : непосредственный.Стрыгин В.З. Полиномиальные алгоритмы решения переборных задач : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин, 2000. - 44 с. - Текст : непосредственный.Дудаков С.М. Вычислительная сложность некоторых задач математической логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. М. Дудаков, 2000. - 17 с. - Текст : непосредственный.Калимуллин И.Ш. Структурные свойства верхних полурешеток степеней по перечислимости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин, 2001. - 9 с. - Текст : непосредственный.Витер Д.А. Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Д. А. Витер, 2002. - 12 с. - Текст : непосредственный.Мучник А.А. Решение некоторых задач теории алгоритмов с использованием игровых методов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. А. Мучник, 2001. - 10 c. - Текст : непосредственный.Солон Б.Я. Нетотальные степени перечислимости : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Б. Я. Солон, 2002. - 32 с. - Текст : непосредственный.Мизин Д.А. Алгоритмы, основанные на прикладной символической динамике : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Д. А. Мизин, 2003. - 14 с. - Текст : непосредственный.Стукачев А.И. Вычислимость в допустимых множествах : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. И. Стукачев, 2002. - 15 с. - Текст : непосредственный.Ишмухаметов Ш.Т. Минимальные покрытия тьюринговых степеней : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов, 2003. - 26 с. - Текст : непосредственный.
Показать все результатыAlgorithms and complexity : Second Italian conf.,CIAC'94,Rome,Febr.23-25 1994:Proc. / CIAC'94, 1994. - VIII,222 p. p. - Текст : непосредственный.SWAT'90 : Proc.of the 2nd scandinavian workshop, Bergen, July 11-14, 1990 / ed. J. R. Gilbert, ed. R. Karlsson, 1990. - 417 p. - Текст : непосредственный.Algorithms and complexity : Itallian conf. on algorithms and complexity, Mar.1-3, 2000, Rome / CIAC 2000, 2000. - VIII,315 p. p. - Текст : непосредственный.Algorithm theory : 7th Scandinawian workshop on algorithm theory: Proc., Bergen, July 5-7, 2000 / SWAT 2000, 2000. - 564 p. - Текст : непосредственный.Algorithm theory - SWAT 2008 : 11th Scandinavian workshop on algorithm theory, gothenburg, Sweden, July 2-4, 2008: proceedings / ed. J. Gudmundsson, 2008 r=on-line.Algorithms - ESA 2008 : 16th annual european symposium, Karlsruhe, Germany, September 15-17, 2008: proceedings / ed. D. Hutchison [et al.], 2008 r=on-line.Approximation and online algorithms : 6th international workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008: revised papers / eds. E. Bampis, M. Skutella, 2009 r=on-line.Approximation and online algorithms : 2nd Intern. workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004: rev. sel. papers / ed. : G. Persiano, R. Solis-Oba, 2005 r=on-line.Experimental and efficient algorithms : 4th international workshop, WEA 2005 Santorini Island, Greece, May 10-13, 2005: proceedings / ed. S. Nikoletseas, 2005 r=on-line.Algorithms - ESA 2005 : 13th annual european symposium, Palma de Mallorca, Spain, October 3-6, 2005: proceedings / ed.: G. Brodal, S. Leonardi, 2005 r=on-line.Approximation and online algorithms : third International workshop,WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005: rev. papers / ed. : T. Erlebach, G. Persiano, 2006 r=on-line.Experimental algorithms : 5th international workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006 : proceedings / ed.: M. Serna, 2006 r=on-line.Algorithm theory - swat 2006 : 10th scandinavian workshop on algorithm theory, Riga, Latvia, July 6-8, 2006 : proceedings / eds.: L. Arge, R. Freivalds, 2006 r=on-line.Algorithms - ESA 2006 : 14th annual European symposium, Zurich, Switzerland, September 11 – 13, 2006 : proceedings / ed. Y. Azar, T. Erlebach, 2006 r=on-lineApproximation and online algorithms : 4th international workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006 : revised papers / eds. T. Erlebach, C. Kaklamanis, 2007 r=on-line.Experimental algorithms : 6th international workshop, WEA 2007, Rome, Italy, June 6-8, 2007 : proceedings / ed. C. Demetrescu, 2007 r=on-line.Combinatorics, algorithms, probabilistic and experimental methodologies : 1st international symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007 : revised selected papers / ed. B. Chen [et al.], 2007 r=on-line.Algorithms - ESA 2007 : 15th annual European symposium, Eilat, Israel, October 8-10, 2007 : proceedings / L. Arge [et al.], 2007 r=on-lineExperimental algorithms : 7th international workshop, WEA 2008 Provincetown, Ma, USA, May 30-June 1, 2008 : proceedings / ed. C. C. McGeoch, 2008 r=on-line.Algorithms, fractals, and dynamics : proc. of Hayashibara forum '92: Intern symp. on new bases for eng. science, algorithms, dynamics and fractals, held Nov. 23-28, 1992, in Okayama, Japan; and of a symp. on algorithms, fractals and dynamics, held Nov. 30-Dec. 2, 1992 / International symposium on new bases for engineering science, algorithms, dynamics and fractals (1992; Okayama); Symposium on algorithms, fractals and dynamics (1992; Kyoto), 1995. - VIII, 227 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽