Расширенный поиск

Колдаев В. Д.
   Численные методы и программирование : учебное пособие для среднего проф. образования / Колдаев В. Д. ; ред. Колдаев В. Д. - М. : ИД "ФОРУМ" : ИНФРА-М, 2008. - 335 с. - (Профессиональное образование). - ISBN 978-5-16-003148-4.

Игошин В. И.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1.

Судоплатов С. В., Овчинникова Е. В.
   Математическая логика и теория алгоритмов : учебник / Судоплатов С. В., Овчинникова Е. В. ; Новосибирский государственный технический университет. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2008. - 223 с. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4.

Шклярский Д. О., Ченцов Н. Н., Яглом И. М.
   Избранные задачи и теоремы элементарной математики. Арифметика и алгебра / Шклярский Д. О., Ченцов Н. Н., Яглом И. М. - 6-е изд. - М. : Физматлит, 2001. - 479 с. - (Библиотека математического класса).

Гурова Л. М., Зайцева Е. В.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Гурова Л. М., Зайцева Е. В. ; Моск. гос. горный ун-т. - М. : Изд-во Московского государственного горного университета, 2006. - 261 с. - (Высшее горное образование). - Библиогр.: с. 259. - ISBN 5-7418-0451-9. - ISBN 918-5-7418-0451-3.

Максина Е. Л., Березина Н. А., Лапухина Т. Ю.
   Справочник по техническим дисциплинам: высшая математика, физика, химия / Максина Е. Л., Березина Н. А., Лапухина Т. Ю. - Ростов-на-Дону : Феникс, 2008. - 380 с. - (Справочник). - ISBN 978-5-222-12410-9.

Набебин А. А., Кораблин Ю. П.
   Математическая логика и теория алгоритмов : учеб. пособие / Набебин А. А., Кораблин Ю. П. - М. : Научный мир, 2008. - 343 с. - Библиогр.: с. 334. - ISBN 978-5-91522-001-9.

Бунина Е. И., Голубков А. Ю.
   Введение в теорию формальных языков : учеб. пособие для вузов / Бунина Е. И., Голубков А. Ю. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2006. - 93 с. : ил. - Библиогр.: с. 91. - ISBN 5-7038-2880-5.

Титов К. В.
   Численные методы решения задач диффузии : метод. указания к компьютерному практикуму по курсу "Уравнения математической физики" / Титов К. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2009. - 44 с. : ил. - Библиогр. в конце брош.

Подколзин А. С.
   Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / Подколзин А. С. - М. : Физматлит, 2008. - 1022 с. - Библиогр.: с. 1021-1022. - ISBN 978-5-9221-1045-7.