Приложение
для AndroidПолное описание
Журнал
Association for computing machinery (New York, NY). ACM Transactions on Computational Logic/ Association for computing machinery (New York, NY), Association for computing machinery (New York, NY). - New York, NY : [s. n.], 2000 - . - Выходит ежеквартально. - ISSN 1529-3785. - URL: https://dl.acm.org/citation.cfm?id=J773, https://dl.acm.org/citation.cfm?id=J773&CFID=825079736&CFTOKEN=12396258. - Загл. с экрана. - Текст : непосредственный.
ГРНТИ
28.23.17
28.23.25
50.01.05
50.05
27.41
УДК
004.312
Аннотация: Статьи по исследованиям, связанным с все возрастающей ролью использования логики в области информатики, включая искусственный интеллект, сложность вычислений, системы баз данных и языки программирования, а также в новых областях: машинное обучение, системы баз данных, верификация и спецификация программ и др.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): V5071)
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): vr=A531684)Записей номеров в Каталоге: 22
ACM Transactions Database Systems / ACM. - Журнал выходит с 1976г. - Текст : непосредственный. ACM Computing Surveys / ACM. - Журнал выходит с 1947г. - Текст : непосредственный.ACM Transactions Programming Languages <& >Systems / ACM. - Журнал. - Текст : непосредственный. Communications ACM / ACM. - Журнал. - Текст : непосредственный. Computing Reviews / ACM. - Журнал. - Текст : непосредственный.ACM Transactions on Algorithms / Association for Computing Machinery (New York, NY). - Журнал выходит с 2005г. r=on-line. - Текст : непосредственный.ACM Transactions on Autonomous and Adaptive Systems / Association for Computing Machinery (New York, NY). - Журнал выходит с 2006г. r=on-line. - Текст : непосредственный.ACM Transactions on Multimedia Computing, Communications and Applications / Association for Computing Machinery (New York, NY). - Журнал выходит с 2005г. - Текст : непосредственный.SIGGRAPH 2008 : материалы временных коллективов / Association for computing machinery (New York, NY), 2008. - Pag. var. - Текст : непосредственный.ACM Journal on Emerging Technologies in Computing Systems / Association for Computing Machinery (New York, NY). - Журнал выходит с 2005г. r=on-line. - Текст : непосредственный.ACM Transactions on Architecture and Code Optimization / Association for Computing Machinery (New York, NY). - Журнал выходит с 2005г. - Текст : непосредственный.ACM Transactions on Sensor Networks / Association for Computing Machinery (New York, NY). - Журнал выходит с 2005г. r=on-line. - Текст : непосредственный.ACM Transactions on Knowledge Discovery from Data / Association for Computing Machinery (New York, NY). - Журнал выходит с 2007г. - Текст : непосредственный.ACM Transactions on The Web / Association for Computing Machinery (New York, NY). - Журнал выходит с 2007г. - Текст : непосредственный.ACM Transactions on Applied Perception / Association for Computing Machinery (New York, NY). - Журнал выходит с 2004г. r=on-line. - Текст : непосредственный.ACM Transactions Information and Systems Security / ACM. - Журнал выходит с 1998г. - Текст : непосредственный. ACM Journal of Computer Documentation / Association for computing machinery (New York, NY), Association for computing machinery (New York, NY). - Журнал выходит с 2000г. - Текст : непосредственный.ACM Transactions Design Automation Electronic Systems / Association for computing machinery (New York, NY), Association for computing machinery (New York, NY). - Журнал выходит с 1996г. - Текст : непосредственный. ACM Transactions on Computational Logic / Association for computing machinery (New York, NY), Association for computing machinery (New York, NY). - Журнал выходит с 2000г. r=on-line. - Текст : непосредственный.ACM Transactions Information Systems / ACM. - Журнал выходит с 1983г. - Текст : непосредственный.
Показать все результатыBASIC, 1992. - 97 с. - Текст : непосредственный.Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный.Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Коварцев А.Н. Численные методы / А. Н. Коварцев, 1998. - 133 с. - Текст : непосредственный.Хеслоп Б. НТМL с самого начала / Б. Хеслоп, Л. Бадник, 1997. - 406 с. - Текст : непосредственный.Янг М.Дж. Microsoft Visual C++ 4 для профессионалов / М. Дж. Янг, 1997. - 702 c. - Текст : непосредственный.Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Емелина Е.И. Основы программирования на языке Паскаль / Е. И. Емелина, 1997. - 207 с. - Текст : непосредственный.Журнал вычислительной математики и математической физики / Российская академия наук. - Журнал выходит с 1961г. - Текст : непосредственный.Фальк В.Н. Теория направленных отношений и ее приложения : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Н. Фальк, 2001. - 40 с. - Текст : непосредственный.Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный.Килов Х.И. Фортран для БЭСМ-4 (МИФ), 1973. - 157 с. - Текст : непосредственный.Любанович Б. Простой Python. Современный стиль программирования : монография / Б. Любанович, 2017. - 476 с. - Текст : непосредственный.Фортран 77 ЕС ЭВМ / З. С. Брич, О. Н. Гулецкая, Д. В. Капилевич, 1989. - 351 с. - Текст : непосредственный.Фаронов В.В. Турбо Паскаль. Практика программирования / В. В. Фаронов, 2001. - 415 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный.
Показать все результатыЮшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Кангин В.В. Multiprog и UltraLogik - системы программирования промышленных контроллеров / В. В. Кангин, М. В. Кангин, Д. Н. Ямолдинов, 2008. - 112 с. - Текст : непосредственный.Springer series in advanced microelectronics / ed.: K. Itoh [et al.]. 18 : Microcontrollers in practice / M. Mitescu, I. Susnea, 2005. - XV, 250 p. - Текст : непосредственный.Springer series in advanced microelectronics / ed.: K. Itoh, T. Lee [at al.]. 18 : Microcontrollers in practice / M. Mitescu, I. Susnea, 2005. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Mahapatra S. Hybrid CMOS single-electron-transistor device and circuit design / S. Mahapatra, A. M. Ionescu, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Быстрицкий А.В. Проектирование структуры межсоединений программируемых логических интегральных схем / А. В. Быстрицкий, 2012. - 16 с. - Текст : непосредственный.Кузелин М.О. Современные семейства ПЛИС фирмы XILINX / М. О. Кузелин, Д. А. Кнышев, В. Ю. Зотов, 2004. - 440 с. - Текст : непосредственный.Медведева М.В. Клеточная самоорганизация программируемых отказоустойчивых мультимикроконтроллеров / М. В. Медведева, М. В. Медведева, А. В. Медведев, В. А. Колосков, Ф. А. Старков, 2000. - 200 с. - Текст : непосредственный.Хлопотов И.А. Методы анализа и синтеза многофункциональных программируемых аналого-цифровых "систем на кристалле" : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / И. А. Хлопотов, 2006. - 19 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Инютин С.А. Арифметико-логические основы вычислительных систем / С. А. Инютин, 2001. - 117 с. - Текст : непосредственный.Власов Г.С. Аналогово-цифровые преобразователи технических систем управления и информации / Г. С. Власов, 2002. - 152 с. - Текст : непосредственный.Элементы проектирования микропроцессорных устройств и систем : учебное пособие / С. В. Тюрин, В. А. Кондусов, А. В. Турецкий, А. В. Кудрявцев, 2008. - 89 с. - Текст : непосредственный.Мальцев П.П. Цифровые интегральные микросхемы / П. П. Мальцев, П. П. Мальцев, Н. С. Долидзе, М. И. Критенко, 1994. - 240 c. - Текст : непосредственный.Цифровые интегральные микросхемы : Справочник / Сост.:В.Ю.Толкачев, Т.А.Кузьмина. Т. 2 : Логические быстродействующие биполярные микросхемы, триггеры и коммутаторы, 1994. - 288 с. - Текст : непосредственный.Музыченко О.Н. Универсальные методы синтеза логических схем : учеб. пособие. Кн.1, 2005. - 149 с. - Текст : непосредственный.Баранов В.Н. Применение микроконтроллеров AVR: схемы, алгоритмы, программы / В. Н. Баранов, 2006. - 288 с. - Текст : непосредственный.Битар Б. Логические программируемые элементы : препринт / Б. Битар, 1993. - 22 с. - Текст : непосредственный.
Показать все результатыACM Transactions on Computational Logic / Association for computing machinery (New York, NY), Association for computing machinery (New York, NY). - Журнал выходит с 2000г. r=on-line. - Текст : непосредственный.ACM Transactions on Computational Logic. - Журнал, 2007г. 8 № 2.ACM Transactions on Computational Logic. - Журнал, 2007г. 8 № 3.ACM Transactions on Computational Logic. - Журнал, 2004г. 5 № 2.ACM Transactions on Computational Logic. - Журнал, 2000г. 1 № 2.ACM Transactions on Computational Logic. - Журнал, 2001г. 2 № 1.ACM Transactions on Computational Logic. - Журнал, 2008г. 9 № 2.ACM Transactions on Computational Logic. - Журнал, 2008г. 9 № 3.ACM Transactions on Computational Logic. - Журнал, 2009г. т. 10 № 4.ACM Transactions on Computational Logic. - Журнал, 2009г. т. 10 № 2.ACM Transactions on Computational Logic. - Журнал, 2009г. т. 10 № 1.ACM Transactions on Computational Logic. - Журнал, 2003г. 4 № 3.ACM Transactions on Computational Logic. - Журнал, 2010г. т. 11 № 1.ACM Transactions on Computational Logic. - Журнал, 2007г. 8 № 1.ACM Transactions on Computational Logic. - Журнал, 2008г. 9 № 4.ACM Transactions on Computational Logic. - Журнал, 2003г. 4 № 1.ACM Transactions on Computational Logic. - Журнал, 2003г. 4 № 4.ACM Transactions on Computational Logic. - Журнал, 2004г. 5 № 1.ACM Transactions on Computational Logic. - Журнал, 2010г. т. 11 № 2.ACM Transactions on Computational Logic. - Журнал, 2003г. 4 № 2.
Показать все результаты