Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Елементи та вузли ЕОМ дискретної дії

Арифметичні пристрої. Логічні схеми

Документи:

• Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : автореф. дис. ... д-ра фіз.- мат. наук : 01.05.01 / Шкільняк С.С. ; КНУТШ. — Київ, 2010. — 32 с.
• Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк С.С. ; КНУТШ. — Київ, 2010. — 347л. + Додаток : л.310-347.
• Формалізація логічного проектування процесорів [Текст] : Автореф... канд. фіз.-мат.наук: 01.05.01 / Міщенко О.А.; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 1997. — 16л.
• Формалізація моделі "сутність-зв"язок" [Текст] : монографія / Д.Б. Буй, Л.М. Сільвейструк ; КНУТШ. — Київ : Київський університет, 2011. — 175, [1] с. : іл., табл.
• Цифровые устройства и микропроцессорные системы.Задачи и упражнения [Текст] : Учебное пособие для вузов / Л.М. Гольденберг, В.А. Малеев, Г.Б. Малько. — Москва : Радио и связь, 1992. — 256с.
• Circuite logice [Текст] : sinteza, automata, Circuite multiprag / Nicolae N. Necula ; Comista de cibernetica, In-tul de matematica monografii asupra teoriei algebrice a mecanismelor automate. — Bucuresti : Ed. Academiei Republicii Socialiste Romania, 1972. — 183 p.
• Inductive logic programming [Текст] : Techniques and applications / Nada Lavrac, Saso Dzeroski. — New York a. o. : Horwood, 1994. — XIX, 293 s.
• Introduction to logic design [Текст] / Alan B. Marcovitz. — 2nd ed. — Boston a.o. : McGraw-Hill, 2005. — 15,652p. : ill. + 1 CD-ROM.
• Meta-logics for logic programming [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / M.B. Kalsbeek; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1995. — 150, [4] p.
• Programowalne sterowniki PLC w systemach sterowania przemyslowego [Текст] / Politechnika Radomska im. K.Pulaskiego. — Radom : Politechnika Radomska, 2001. — 188s.
• Transformation and analysis of (constraint) logic programs [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / S. Etalle; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1995. — VIII, 199 p.

1    2