Полное описание
Logic and computer science : lectures of the CIME 1st session, Montecatini Terme, June 20-28, 1988 / S.Homer,A.Nerode,R.A.Platek и др. - berlin [etc.] : Springer, 1990. - 162 p. : ill. - (Lecture notes in mathematics ; n1429). - ISBN 3-540-52734-6. - Текст : непосредственный. Перевод заглавия: Логика и теория вычислительных машин и систем:Лекции на 1-ой сессии межд. летнего мат. центра, Италия, 1988
ГРНТИ УДК 50.07 510.285(063)
Рубрики: Математическая логика -- Применение в вычислительной технике
Доп. точки доступа: Homer, S.
Nerode, A.
Platek, R.A.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/6758/1429)
Шифр в сводном ЭК: 1ff9a0e520e255a5d2af016fcb8f4b18
Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Homer S. Computability and complexity theory / S. Homer, A. L. Selman, 2011. - XVI, 298 p. - Текст : непосредственный. Logic and computer science : Lectures of the CIME 1st session, Montecatini Terme, June 20-28, 1988 / S.Homer,A.Nerode,R.A.Platek и др., 1990. - 162 p. - Текст : непосредственный. Homer S. Computability and Complexity Theory : учебник / by Steven Homer, Alan L. Selman., 2011 r=on-line (Введено оглавление). - Текст : электронный. Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный. Algebraic geometry : материалы временных коллективов / Ed. S. Bloch, 1991. - VIII,300 p. p. - Текст : непосредственный. Potential analysis of stable processes and its extensions / K. Bogdan, T. Byczkowski, T. Kulczycki [et al.], 2009 r=on-line. - Текст : электронный. Singularity theory and its applications : Symp.,Warwick 1989 / Ed.:D.Mond, J.Motaldi. Pt. 1 : Geometric aspects of singularities, 1991. - VIII,405 p. - Текст : непосредственный. Singularity theory and its applications : Symp.,Warwick 1989 / Ed.:D.Mond, J.Motaldi. Pt. 2 : Singularities,bifurcations and dynamics, 1991. - VIII,322 p. - Текст : непосредственный. Dovermann K.H. Equivariant surgery theories and their periodicity properties : материал технической информации / K. H. Dovermann, R. Schultz, 1990. - VI, 227 p. 227 p. - Текст : непосредственный. Dembo A. Lectures on probability theory and statistics / A. Dembo, T. Funaki, 2005 r=on-line. - Текст : электронный. Mochizuki T. Donaldson type invariants for algebraic surfaces / T. Mochizuki, 2009 r=on-line. - Текст : электронный. Hamiltonian reduction by stages / J. E. Marsden, G. Misiolek, J. Ortega [et al.], 2007 r=on-line. - Текст : электронный. Kutyniok G. Affine density in wavelet analysis / G. Kutyniok, 2007 r=on-line. - Текст : электронный. Cannas da Silva A. Lectures on symplectic geometry / A. Cannas da Silva, 2001 r=on-line. - Текст : электронный. Pseudo-differential operators / H. G. Feichtinger, B. Helffer, L. Rodino [et al.], 2008 r=on-line. - Текст : электронный. Mixed finite elements, compatibility conditions, and applications / D. Boffi, R. S. Falk, F. Brezzi [et al.], 2008 r=on-line. - Текст : электронный. Multiscale problems in the life sciences / J. Banasiak, V. Capasso, M. A. Chaplain [et al.], 2008 r=on-line. - Текст : электронный. Haran S.M. Arithmetical investigations / S. M. Haran, 2008 r=on-line. - Текст : электронный. Jannsen U. Mixed motives and algebraic K-theory : сборник научных трудов / U. Jannsen ; Ed. U. Jannsen, 1990. - XI,246 p. p. - Текст : непосредственный. Cinquante ans de polynomes : материалы временных коллективов / Ed.: M. Langevin, M. Waldschmidt, 1990. - VII,235 p. p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Федотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 2012. - 110 с. - Текст : непосредственный. Theoretical aspects of computing - ICTAC 2006 / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. FSTTCS 2005: foundations of software technology and theoretical computer science / SpringerLink (Online service), 2005 r=on-line Graph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-line Computational science and high performance computing III / SpringerLink (Online service), 2008 r=on-line Андреев Н.Е. Исследование и реализация эффективных методов анализа производительности параллельных программ / Н. Е. Андреев, 2011. - 18 с. - Текст : непосредственный. STOC/FOCS bibliography : материалы временных коллективов / Ed. D. S. Johnson, 1991. - 313 p. - Текст : непосредственный. Микони С.В. Общие диагностические базы знаний вычислительных систем / С. В. Микони, 1992. - 236 c. - Текст : непосредственный. Computational logic : сборник научных трудов / Ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный. Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный. Computational logic and proof theory : сборник научных трудов / Ed. G. Gottlob, 1993. - XI,348 p. p. - Текст : непосредственный. Software and System Modeling. - выходит с 2002г. - Текст : электронный. Fundamentals of computation theory : материалы временных коллективов / Ред.Ed. L. Budach, 1991. - XII, 426 p. 426 p. - Текст : непосредственный. Journal Computer Science Technology. - Журнал. - Текст : непосредственный. Category theory and computer science : сборник научных трудов / Ed. D. H. Pitt, 1989. - VI,365 p. p. - Текст : непосредственный. Паршин Д.Я. Математические основы электротехники и автоматики : выставочные материалы / Д. Я. Паршин, 2013. - 135 с. - Текст : непосредственный. Теоретические вопросы вычислительной техники и программного обеспечения : сборник научных трудов / Московский ин-т радиотехники, электроники и автоматики, 2003. - 223 с. - Текст : непосредственный. Данилин Н.С. Руководство по поиску неисправностей и ремонту компьютеров IBM PC / Н. С. Данилин, В. П. Улитенко, А. А. Крипак, 1992. - 256 с. - Текст : непосредственный. Пивоварчик А.А. Математическое программирование : выставочные материалы / А. А. Пивоварчик, 1997. - 300 с. - Текст : непосредственный. Concurrency. - Журнал, 1995г. 7 № 3. Показать все результаты Computational logic : сборник научных трудов / Ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный. Computational logic and proof theory : сборник научных трудов / Ed. G. Gottlob, 1993. - XI,348 p. p. - Текст : непосредственный. Computer science logic : материалы временных коллективов / Ed. E. Borger, 1991. - VIII,399 p. p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Computer science logic : 7th workshop,CSL'93,Swansea,United Kingdom,Sept.13-17 1993:Sel.papers / CSL'93, 1994. - VIII,336 p. p. - Текст : непосредственный. Logic of computation : Proc.of the NATO Advanced study inst.on logic of computation, held in Marktoberdorf, Germany,July 25-Aug.6,1995 / Ed. H. Schwichtenberg, 1997. - VI,394,/8/ p. p. - Текст : непосредственный. Deontic logic in computer science : 10th International сonference, DEON 2010, Fiesole, Italy, July 7-9, 2010: proceedings / eds. G. Governatori, G. Sartor, 2010 r=on-line. - Текст : электронный. Proceedings of the 5th symposium on logic in computer science,June 1990,Philadelphia, Pa : Mfiche (10) / Symposium on logic in computer science (5 ; 1990 ; Philadelphia, Pa) , 1990. - 509 мкфш. - Текст : непосредственный. Symposium on logic in computer science : Proc., June 16-18 1986,Cambridge(Ma) / Symposium on logic in computer science (1986 ; Cambridge(Ma)) , 1986. - 383 p. - Текст : непосредственный. Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings / ed. S. Artemov, 2007 r=on-line. - Текст : электронный. Typed lambda calculi and applications : 8th International conference,TLCA 2007, Paris, France,June 26-28, 2007: proceedings / ed. S. Rocca, 2007 r=on-line. - Текст : электронный. Logic, language, information and computation : 14th International workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007: proceedings / ed. D. Leivant, 2007 r=on-line. - Текст : электронный. Deontic logic in computer science : 9th International conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008: proceedings / ed. J. Carbonell, 2008 r=on-line. - Текст : электронный. Computer science logic : 22nd International workshop, CSL 2008, 17th Annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008: proceedings / ed.: M. Kaminski, S. Martini, 2008 r=on-line. - Текст : электронный. Logical foundations of computer science : international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009: proceedings / eds. S. Artemov, A. Nerode, 2009 r=on-line. - Текст : электронный. Logic at botik'89 : Symp.on logical foundations of computer science Pereslavl-Zalessky, July 3-8, 1989Proc. / сост.ed. A. R. Meyer, сост.ed. М. А. Тайцлин, 1989. - X,289 p. p. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
