Приложение
для AndroidПолное описание
Steinbach, B. Logic functions and equations / B. Steinbach, C. Posthoff ; SpringerLink (Online service). - Dordrecht : Springer, 2009. - on-line. - URL: http://dx.doi.org/10.1007/978-1-4020-9595-5. - ISBN 978-1-4020-9595-5. - Текст : электронный.
| ГРНТИ | УДК | |
| 27.17.21 | 512.563 | |
| 50.07 | 004 |
Рубрики:
Алгебра логики
Вычислительная техника
Доп. точки доступа:
Posthoff, C.
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-1-4020-9595-5
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 512.563.6/S82-424320)
Шифр в сводном ЭК: 2e7b23a1c2cdd3358e76dc81de290932
Steinbach B. Logic functions and equations / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный.Posthoff C. Einfuhrung in die Programmierung mit Prolog / C.Posthoff,S.Schubert,D.R@:atz, 1990. - 90 S. - Текст : непосредственный.Steinbach B. Logic functions and equations : examples and exercises / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный.
Greiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный.Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный.Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный.Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line.Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line.Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.
Показать все результатыТруды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный.Федотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 2012. - 110 с. - Текст : непосредственный.Theoretical aspects of computing - ICTAC 2006 / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.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-lineПодзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Computational science and high performance computing III / SpringerLink (Online service), 2008 r=on-lineСеменова М.В. Разложения в полных решетках / М. В. Семенова, 2000. - 23 с. - Текст : непосредственный.Андреев Н.Е. Исследование и реализация эффективных методов анализа производительности параллельных программ / Н. Е. Андреев, 2011. - 18 с. - Текст : непосредственный.STOC/FOCS bibliography : материалы временных коллективов / Ed. D. S. Johnson, 1991. - 313 p. - Текст : непосредственный.Маренич Е.Е. Системы линейных уравнений над решетками / Е. Е. Маренич, В. Е. Маренич, 2007. - 122 с. - Текст : непосредственный.Микони С.В. Общие диагностические базы знаний вычислительных систем / С. В. Микони, 1992. - 236 c. - Текст : непосредственный.Computational logic : сборник научных трудов / Ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный.Егоров И.П. О математических структурах / И. П. Егоров, 2016. - 64 с. - Текст : непосредственный.Запатрин Р.Р. Полугрупповая координатизация решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный.
Показать все результатыЛизько Ю.В. Вычислительная техника / Ю. В. Лизько, Л. А. Мигунов, 1989. - 272 c. - Текст : непосредственный.Annual report of R & D activities in center for promotion of computational science and engineering and center for computational science & e-systems / Center for computational science & e-systems. Apr. 1, 2005-Mar. 31, 2006 , 2007. - VIII, 50 p. - Текст : непосредственный.Промышленность..Серия Новые информационные технологии, системы и средства автоматизированного управления : Обзор.информ. / УкрНИИНТИ Госплана УССР. Вып. 1(1989) : Проблемы разработки новых прогрессивных технологий при создании средств вычислительной техники, 1989. - 66 с. - Текст : непосредственный.Попков В.П. Интенсификация использования и обновления средств вычислительной техники / В. П. Попков, 1990. - 152 c. - Текст : непосредственный.Грузина Э.Э. Компьютерные науки : учебное пособие. Ч. 1, 2009. - 129 с. - Текст : непосредственный.Соболев А.Н. Физические основы перспективной вычислительной техники : учебное пособие / А. Н. Соболев, Б. Ф. Лаврентьев, 2007. - 207 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Сборник студенческих научных работ факультета компьютерных наук ВГУ. Вып. 10 / ред. Д. Н. Борисов, 2016. - 239 с. - Текст : непосредственный.Сборник студенческих научных работ факультета компьютерных наук ВГУ. Вып. 9 / под ред. Д. Н. Борисова, 2015. - 306 с. - Текст : непосредственный.Bulletin of the Novosibirsk Computing Center. Series: Computer Science. Iss. 38(2015) : IIS spec. iss. : vol. of the A. P. Ershov inst. of inform. systems, 2015. - VIII, 150 p. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Государственная программа использования высокопроизводительной вычислительной техники. - 28 c. - Текст : непосредственный.Воройский Ф.С. Информатика : словарь / Ф. С. Воройский, 2001. - 535 с. - Текст : непосредственный.Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика : науч. журн. № 3(2016), 2016. - 123 с. - Текст : непосредственный.Вычислительная техника, автоматика, радиоэлектроника, 1996. - 117 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Knowledge-driven computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Ананьева Е.И. Дискретная математика в вычислительной технике : учебное пособие / Е. И. Ананьева, 2008. - 228 с. - Текст : непосредственный.Scientific research of the institute of mathematics and computer science. 1 (7) 2008, 2008. - 205 p. - Текст : непосредственный.Медведев В.И. Учебное пособие по дисциплине "Введение в вычислительную технику" (Для студентов спец. 22.01) / В. И. Медведев, Т. Н. Кулакова, 1992. - 64 с. - Текст : непосредственный.
Показать все результатыМартин Д. Организация баз данных в вычислительных системах : монография / Д. Мартин, 1980. - 662 с. - Текст : непосредственный.Дроздов Е.А. Электронные вычислительные машины единой системы / Е. А. Дроздов, В. А. Комарницкий, А. П. Пятибратов, 1976. - 672 с. - Текст : непосредственный.Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.BASIC, 1992. - 97 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Семененко В.А. Справочник по электронной вычислительной технике / В. А. Семененко, Ю. В. Ступин, 1993. - 222 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Электронные устройства для "Sinclair ZX Spectrum" : монография, 1992. - 80 с. - Текст : непосредственный.Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный.Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный.Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный.Мурынин А.Б. Принципы оптимизации информативных признаков в задаче автоматического распознавания лица человека компьютерной системой / А. Б. Мурынин, В. И. Цурков, 1997. - 34 с.ил. - Текст : непосредственный.Ботыгин И.А. Универсальный дискретный интерфейс на базе микроконтроллера КМ 1816ВЕ51 / И. А. Ботыгин, В. К. Погребной, М. А. Сонькин, 1996. - 95 с. - Текст : непосредственный.Сборник задач по дисциплине "Математические основы информатики и моделирования" / Российская академия упр. (Москва), 1996. - 55 с. - Текст : непосредственный.Кенин А.М. IBM PC для пользователей или как научиться работать на компьютере / А. М. Кенин, Н. С. Печенкина, 1997. - 491 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.
Показать все результатыПросмотр издания