Пошуковий запит: (<.>U=З973-047.20$<.>) |
Загальна кількість знайдених документів : 30
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. | ІВ192824
Symposium on logic in computer science (9 ; 1994 ; Paris). Symposium on logic in computer science, July 4-7, 1994, Paris, France [Text] : proceedings / IEEE computer soc. techn. comm. on math. foundations of computing, INRIA. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1994. - XII,517 p.:ill. - Альтернативное название : LICS'94. - ISBN 0-8186-6310-3 ìá «í¬½. ¡áºóá Ninth annual IEEE symposium on logic in computer science
Рубрики:
Географічні рубрики:
Видання зберігається у :
| |
|
| | |
|
2. | ІВ218644
Avenhaus, Jürgen. Reduktionssysteme [Text] : Rechnen und Schließen in gleichungsdefinierten Strukturen / Jürgen Avenhaus. - Berlin ; Heidelberg ; New York : Springer-Verlag, 1995. - 251 S. : Abb. - (Springer - Lehrbuch). - Бібліогр.: с. 215-222. - ISBN 3-540-58559-1
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | ВА590543
Кметь, Аркадий Борисович. Интегральная токовая логика [Текст] / А. Б. Кметь ; НАН Украины, Физ.-механ. ин-т им. Г. В. Карпенко. - Л. : Олис Плюс, 1998. - 186 с. - ISBN 966-02-0486-8
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | ВА589708
Логические основы и схемотехника цифровых ЭВМ [Текст] : практикум / В. И. Жабин [и др.]. - К. : ТОО "Век+", 1999. - 125 с. - (Компьютерная инженерия). - ISBN 966-7140-05-9
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | ДС66623
Завадський, Ігор Олександрович. Дослідження логічних схем з використанням шинних та комутаційних елементів [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Завадський Ігор Олександрович ; Міжнар. наук.-навч. центр інформ. технологій та систем. - К., 2000. - 157 арк. - Бібліогр.: арк. 150-157.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
6. | ВА603806
Кондратенко, Наталія Романівна. Дискретна математика. Мінімізація логічних функцій у класі ДНФ [Текст] : навч. посіб. для студ. бакалаврського напрямку "Комп'ютерна інженерія" та "Комп'ютерні науки" / Н. Р. Кондратенко ; Вінницький держ. технічний ун-т. - Вінниця : ВДТУ, 2000. - 108 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | РА310663
Завадський, Ігор Олександрович. Дослідження логічних схем з використанням шинних та комутаційних елементів [Текст] : автореф. дис... канд. физ.-мат. наук: 01.05.01 / Завадський Ігор Олександрович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2000. - 20 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | ВА649995
Лыскова, В. Ю.. Логика в информатике [Текст] : метод. пособие / В. Ю. Лыскова, Е. А. Ракитина. - М. : Лаборатория Базовых Знаний, 2001. - 158 с.: рис., табл. - (Серия "Информатика"). - Библиогр.: с. 158. - ISBN 5-93208-105-8
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | ДС76555
Колесников, Дмитрий Олегович. Предикатные модели логико-математических понятий и их применение в системах искусственного интеллекта [Текст] : дис... канд. техн. наук: 05.13.23 / Колесников Дмитрий Олегович ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 155 л. - Библиогр.: л. 125-134
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
10. | ІВ207877
Miczo, Alexander. Digital logic testing and simulation [Text] / A. Miczo. - 2. ed. - Hoboken, New Jersey : Wiley-interscience. A John Wiley & Sons, 2003. - XXII, 668 p.: fig. - Бібліогр.: v kinci gl. - ISBN 0-471-43995-9
Рубрики:
Видання зберігається у :
| |
|
| | |
|
11. | РА323215
Колесников, Дмитро Олегович. Предикатні моделі логіко-математичних понять та їх застосування в системах штучного інтелекту [Текст] : автореф. дис... канд. техн. наук: 05.13.23 / Колесников Дмитро Олегович ; Харківський національний ун-т радіоелектроніки. - Х., 2003. - 19 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
12. | ВА642496
Рамський, Юрій Савіянович. Логічні основи інформатики [Текст] : навч. посібник для студ. фіз.-мат. спец. вищих пед. навч. закл. / Ю. С. Рамський. - К. : НПУ ім. М. П. Драгоманова, 2003. - 286 с. - Бібліогр.: с. 266-269. - ISBN 966-660-120-6
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
13. | ІВ208711/CDR689
Marcovitz, Alan B.. Introduction to logic design [Text] / A. B. Marcovitz. - 2. ed. - Boston[etc.] : McGraw-Hill. McGrow-Hill Higher Education, 2005. - XV, 652 p.: fig. + CD-ROM. - ISBN 0-07-286516-4 Z dodatkom CDR689
Рубрики:
Видання зберігається у :
| |
|
| | |
|
14. | CDR689/ІВ208711
Marcovitz, Alan B.. Introduction to logic design: [Elektronnyj resurs] [Text] : CD-ROM to accompany / A. B. Marcovitz. - 2. ed. - [Boston][etc.] : McGraw-Hill, 2005. - 1 elektron. opt. dysk CD-ROM. - ISBN 0-07-286518-0 Dodatok do knygy iB208711.
Рубрики:
Видання зберігається у :
| |
|
| | |
|
15. | ВА710013
Теория тестирования логических устройств [Текст] / В. Б. Кудрявцев [и др.] ; ред. В. А. Садовничий. - М. : ФИЗМАТЛИТ, 2006. - 156 с. - Библиогр.: с. 154-156. - ISBN 5-9221-0727-5
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
16. | ДС107498
Вечирская, Ирина Дмитриевна. Линейные логические преобразования и их применение в искусственном интеллекте [Текст] : дис... канд. техн. наук: 05.13.23 / Вечирская Ирина Дмитриевна ; Харьковский национальный ун-т радиоэлектроники. - Х., 2007. - 162 л. - Библиогр.: л. 151-159
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | РА355926
Вечірська, Ірина Дмитрівна. Лінійні логічні перетворення та їх застосування в штучному інтелекті [Текст] : автореф. дис... канд. техн. наук: 05.13.23 / Вечірська Ірина Дмитрівна ; Харківський національний ун-т радіоелектроніки. - Х., 2007. - 20 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
18. | ВА759826
Скобелев, Владимир Геннадиевич. Компьютерное моделирование логических процессов [Текст] : учеб. пособие / В. Г. Скобелев ; Донец. нац. ун-т. - Донецк : ДонНУ, 2011. - 206 с. : рис., табл. - Бібліогр.: с. 205-206. - 100 прим. - ISBN 978-966-639-432-6
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
19. | ВА753076
Аноприенко, Александр Яковлевич. Постбинарный компьютинг и интервальные вычисления в контексте кодо-логической эволюции [Текст] : монография / А. Я. Аноприенко, С. В. Иваница ; Донец. нац. техн. ун-т. - Донецк : УНИТЕХ, 2011. - 246 с. : рис., табл. - Бібліогр.: с. 221-243. - 500 прим. - ISBN 978-966-8248-20-7
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
20. | Р122710
Методичні вказівки до виконання розрахункового завдання з курсу "Комп'ютерна логіка. Логіка дискретних автоматів" [Текст] : для студ. ден. та заоч. форм навчання напрямку 6.050102 "Комп'ютерна інженерія" / Нац. техн. ун-т "Харк. політехн. ін-т" ; [уклад. С. Ю. Гавриленко]. - Х. : НТУ "ХПІ", 2012. - 44 с. : рис., табл. - Бібліогр.: с. 44. - 50 прим.
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |