| |
Поиск по названию
[3861] Писаренко Г. С.
Математическая логика в программировании: сб. ст. / Пер.с англ.Под ред.М.В.Захарьящева,Ю.И.Янова. - М. : Мир, 1991. - 408 с. - (Мат.обеспечение ЭВМ). - 7000 экз. - ISBN 5-03-001635-X : 6.00 р. Библиогр.:с.395-407.Держатели документа: ГПНТБ России
Доп.точки доступа: Захарьящев, М.В. сост.ред.
Экз-ры: хр(3), фо-9(1), фо17(1), фо18(1), фо19(1), фо20(1), фо24(1), фо25(1), фо26(1)
ГРНТИ: 50.05.03
УДК: 004.42.047
Рубрика: Программирование для ЭВМ логическое
[3862] Лобовиков В. О.
Математическая логика естественного права и политической экономии. Математическая философия экономики и права: монография / В.О. Лобовиков. - Екатеринбург : УрО РАН, 2005. - 658 с. - Библиогр.: с. 611-653 (550 назв.). - 300 экз. - ISBN 5-7691-1587-4 : Б. ц.Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 10.01 06.35.51
УДК: 34:51 330.4
Рубрика: Право / Математические методы Математическая экономика
[3863] Копылов И. П.
Математическая логика и теория алгоритмов: сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : Изд-во Ин-та математики СО РАН, 1993. - 201 c. : ил. - (Труды / Институт математики, ISSN 02080060 ; т.25). - 500 экз. - ISBN 5-86134-004-8 : 2500 р. Библиогр.в конце стДержатели документа: ГПНТБ России
Доп.точки доступа: Ершов, Ю.Л. сост.ред.
Экз-ры: фмз(1), хр(2)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3864] Ефремов Г. О.
Математическая логика и машины/ Г.О.Ефремов. - М. : Знание, 1962. - 46 c. : ил. - (Новое в жизни, науке и технике. 9 серия.Физика и химия ; 10). - 40000 экз. - Б. ц. Библиогр.:с.45Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 27.03.19 50.09.31
УДК: 510(023) 004(023)
Рубрика: Железнодорожное строительство / Автоматизация
[3865] Таланов В. А.
Математическая логика и модели вычислений: учеб. пособие / В.А.Таланов. - Нижний Новгород : Изд-во Нижегор. ун-та, 1994. - 116 c. : ил. - 600 экз. - ISBN 5-230-04359-8 : Б. ц. В надзаг.: Нижегор. гос. ун-т им. Н.И.Лобачевского. Библиогр.: с.114 (6 назв.)Держатели документа: ГПНТБ России
Экз-ры: хр(2)
ГРНТИ: 27.03.19 27.41
УДК: 510 519.6
Рубрика: Математическая логика Вычислительная математика
[3866] Самойленко А. П.
Математическая логика и теория алгоритмов в примерах и задачах: учеб. пособие / А.П.Самойленко,О.А.Усенко;Под ред. Л.Ф.Беловой. - Таганрог : Изд-во Таганрогского гос. пед. ин-та, 2004. - 258 с. - 100 экз. - ISBN 5-87976-309-9 : Б. ц. Библиогр.: с. 251Держатели документа: ГПНТБ России
Доп.точки доступа: Усенко, О.А.
Экз-ры: хр(2), фо18(1)
ГРНТИ: 27.03
УДК: 510(076.1)
Рубрика: Математическая логика / Учебники и пособия Алгоритмы / Учебники и пособия
[3867] Гринченков Д. В.
Математическая логика и теория алгоритмов для программистов: учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - 2-е изд., испр. - Новочеркасск : ЮРГТУ(НПИ), 2008 (Новочеркасск) . - 177 с. : ил. - Библиогр.: с. 170-171 (21 назв.). - 200 экз. - ISBN 978-5-88998-798-7 : Б. ц. В надзаг.: Юж.-Рос. гос. техн. ун-т (Новочеркас. политехн. ин-т)Держатели документа: ГПНТБ России
Доп.точки доступа: Потоцкий, С. И.
Экз-ры: хр(2)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3868] Гринченков Д. В.
Математическая логика и теория алгоритмов для программистов: учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Новочеркасск : ЮРГТУ, 2006 (Новочеркасск) . - 176 с. - Библиогр.: с. 169-170 (21 назв.). - 100 экз. - ISBN 5-88988-702-X : Б. ц. В надзаг.:Юж.-Рос. гос. техн. ун-т (Новочерк. политехн. ин-т)Держатели документа: ГПНТБ России
Доп.точки доступа: Потоцкий, С.И.
Экз-ры: хр(2)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3869] Гуц А. К.
Математическая логика и теория алгоритмов: выставочные материалы / А. К. Гуц. - 2-е изд., доп. - М. : Кн. дом "ЛИБРОКОМ", 2009 (М.) . - 117 с. : ил. - Библиогр.: с. 114-117 (59 назв.). - ISBN 978-5-397-00056-7 : Б. ц.Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3870] Романов В. Ф.
Математическая логика и теория алгоритмов: задачник / В.Ф.Романов. - Владимир : Владимир. гос. ун-т, 2003. - 23 с. : ил. - 300 экз. - ISBN 5-89368-423-0 : Б. ц. В надзаг.: Владимир. гос. ун-т.Библиогр.: с. 22 (6 назв.)Держатели документа: ГПНТБ России
Экз-ры: хр(2)
ГРНТИ: 27.03.17 27.03.19
УДК: 510(076.1)
Рубрика: Математическая логика / Учебники и пособия Алгоритмы / Учебники и пособия
Объявление:
[3871] Гуц А. К.
Математическая логика и теория алгоритмов: монография / А.К.Гуц. - Омск : [б. и.], 2003. - 107 с. : ил. - 200 экз. - Б. ц. В надзаг.:Ом. гос. ун-т. Фак. компьютер. наук. Каф. кибернетики.Библиогр.: с. 105-107(52 назв.)Держатели документа: ГПНТБ России
Экз-ры: хр(2)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3872] Судоплатов С. В.
Математическая логика и теория алгоритмов: учеб. / С.В.Судоплатов,Е.В.Овчинникова. - М. : Инфра-М ; Изд-во НГТУ : Новосибирск, 2004. - 224 с. - (Высшее образование). - 3000 экз. - ISBN 5-16-001975-8 : Б. ц. В надзаг.:Новосиб. гос. техн. ун-т.Библиогр.: с.212-213 (45 назв.). Предм. указ.: с. 215-216Держатели документа: ГПНТБ России
Доп.точки доступа: Овчинникова, Е.В.
Экз-ры: хр(2)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3873] Набебин А. А.
Математическая логика и теория алгоритмов: учеб. пособие / А. А. Набебин, Ю. П. Кораблин. - М. : Науч. мир, 2008 (М.) . - 343 с. : ил. - Библиогр.: с. 334. - 1000 экз. - ISBN 978-5-91522-001-9 : Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Кораблин, Ю.П.
Экз-ры: хр(1)
ГРНТИ: 27.03.19 27.03.17
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3874] Гамова А. Н.
Математическая логика и теория алгоритмов: учеб. пособие / А. Н. Гамова. - 3-е изд., доп. - Саратов : Изд-во Сарат. ун-та, 2006 (Саратов) . - 84 с. - 300 экз. - ISBN 5-292-03595-5 : Б. ц. В надзаг.: Сарат. гос. ун-т им. Н. Г. Чернышевского.Держатели документа: ГПНТБ России
Экз-ры: хр(2)
ГРНТИ: 27.03.19 27.03.17
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3875] Хусаинов А. А.
Математическая логика и теория алгоритмов: учеб. пособие / А.А. Хусаинов, Н.Н. Михайлова. - Комсомольск-на-Амуре : ГОУ ВПО Комс.-на-Амуре гос. техн. ун-т, 2005. - 96 с. - Библиогр.: с. 95. - 100 экз. - ISBN 5-7765-0549-6 : Б. ц. В надзаг.:Ин-т новых информ. технологий, Комсомольск.-на-Амуре гос. техн. ун-тДержатели документа: ГПНТБ России
Доп.точки доступа: Михайлова, Н.Н.
Экз-ры: хр(1)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3876] Самохин А. В.
Математическая логика и теория алгоритмов: учеб. пособие / А.В.Самохин. - М. : МГТУ ГА, 2003. - 236 с. - 300 экз. - ISBN 5-86311-374-X : Б. ц. Библиогр.: с. 236Держатели документа: ГПНТБ России
Экз-ры: хр(2), фо18(1)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3877] Игошин В. И.
Математическая логика и теория алгоритмов: учеб. пособие / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008 (Саратов) . - 447 с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - 1500 экз. - ISBN 978-5-7695-4593-1 : Б. ц.Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3878] Игошин В. И.
Математическая логика и теория алгоритмов: учеб. пособие / В.И. Игошин. - М. : ИЦ Академия, 2004. - 447 с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - 5100 экз. - ISBN 5-7695-1363-2 : Б. ц.Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3879] Кожухов И. Б.
Математическая логика и теория алгоритмов: учеб. пособие / И.Б. Кожухов. - М. : [б. и.], 2004. - 146 с. - 150 экз. - ISBN 5-7256-0368-7 : Б. ц. В надзаг.:Моск. гос. ин-т электрон. техники (техн. ун-т)Держатели документа: ГПНТБ России
Экз-ры: хр(2), фо17(1)
ГРНТИ: 27.03
УДК: 510
Рубрика: Математическая логика Алгоритмы
[3880] Гурова Л. М.
Математическая логика и теория алгоритмов: учеб. пособие / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева. - М. : Изд-во Моск. гос. горного ун-та, 2006 (М.) . - 262 с. - (Высшее горное образование). - Библиогр.: с. 259. - 1000 экз. - ISBN 5-7418-0451-9 : Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Шурова, Л.М.; Зайцева, Е.В.
Экз-ры: хр(1)
ГРНТИ: 27.03.19 27.03.17
УДК: 510
Рубрика: Математическая логика Алгоритмы
Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 [194] 195 196 197 198 199 200 |
| |
|
