Приложение
для AndroidПолное описание
Mathematical logic and theoretical computer science / сост.ed. D. W. Kueker. - [S. l. : s. n.], 1987. - 384 мкф. : ill. - (Lecture notes in pure and appl. mathematics) (Lecture notes in pure and applied mathematics ; vol.106). - Текст : непосредственный.
Библиогр.в книге
| ГРНТИ | УДК | |
| 50.07 | 510.285(086.2) |
Рубрики:
Математическая логика -- Применение в вычислительной технике
Доп. точки доступа:
Kueker, D.W.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): MR-101100)
Шифр в сводном ЭК: fd1e6c28b495946f1bd1424a75a34295
Nonlinear and convex analysis : Proc.in Honor by Ky Tan / ed. B. L. Lin, ed. S. Simons, 1987. - 310 p. - Текст : непосредственный.Mathematical logic and theoretical computer science / сост.ed. D. W. Kueker, 1987. - 384 мкф. - Текст : непосредственный.Brewer J.W. Linear systems over comutative rings / J.W.Brewer,J.W.Bunce,F.S. van Vleck, 1986. - 199 мкф. - Текст : непосредственный.Geometry and topology: manifolds, varieties and knots / сост.ed. C. McCrory, сост.ed. T. Shifrin, 1987. - 350 мкф. - Текст : непосредственный.
Федотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 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-lineGraph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-lineComputational 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.
Показать все результаты