Сводный каталог книг

[Текст] : монография / В.А. Непомнящий, О.М.Рякин; Под ред.А.П.Ершова. - Москва : Радио и связь, 1988. - 256 с. : ил + табл. - Библиогр.: с.252-254. - ISBN 5-256-00156-6 : 0.80 р.

УДК	УДК 681.3.06

ББК З973.2-018.14

Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Особое внимание уделяется автоматизации наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей. Для программистов; может быть полезна инженерам, специализирующимся в области вычислительной техники и прикладной математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Рякин, Олег Михайлович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : в двух частях / Ф. Бауэр, Г.Гооз; Пер. с неМосква МоскваК. Валиева, В.Г. Кербеля и др.; Под ред. А.П. Ершова. - 2-е изд., перераб. и доп. - Москва : Мир. - Пер.загл.: Informatik/ F.L. Bauer, G.Goos. - 1990. - 324 с. : ил., табл. - Библиогр.: с. 681-684. - Предм. указ.: c. 704-733. - ISBN 5-03-002100-0 : 1.60 р.

УДК

681.142.2

ББК 22.19 + 32.97

Аннотация: Учебный курс, представляющий собой перевод с 3-го, полностью переработанного и расширенного издания, написанного известными специалистами (ФРГ). Второе немецкое издание было переведено на русский (М.: Мир, 1976). Изложение отличается глубокой методической проработанностью материала и применением концептуального подхода к преподаванию основ информатики. Фундаментальные понятия программирования вводятся в книге как исходные, получают затем формализацию и раскрываются в виде конструкций языков программирования разного уровня. Много содержательных и изящных примеров решения конкретных задач с использованием алгола-68 и паскаля. В ч. 1 входят предисловия и гл. 1-4. Для студентов, изучающих программирование, научных работников различных специальностей, использующих ЭВМ в своей работе.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бауэр, Ф.Л.; Гооз, Г.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : [Сб. ст.] / АН СССР, Вычисл. центр. - Москва : Наука, 1985. - 80 с. : ил. - (Алгоритмы и алгоритмические языки). - Библиогр: в конце ст. - 0.35 р.

УДК

519.682

Аннотация: Сборник содержит две статьи. В первой дано описание нового алгоритмического языка Модула-2, разработанного Н. Виртом. Существует уже несколько реализаций этого языка, в том числе и для прототипов эксплуатируемых у нас машин. Вторая статья посвящена атрибутным грамматикам, получающим все большее применение при реализации языков программирования и в системах построения трансляторов. Для специалистов в области программирования.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Пер. с англ. / Генри Уоррен (мл.). - Испр. изд. - Москва : Вильямс, 2004. - 284 с. : ил. - Предм. указ.: с.283-284. - Пер. изд. : Hacker's delight / H.S. Warren. - ISBN 5-8459-0572-9 : 232.00 р.

УДК

004.42^V3

ББК З973.2-018

Аннотация: В этой книге слову "хамер" возращено его первозданное значение - человека увлеченного, талантливого программиста, способного к созданию чрезвычайно эффективного и элегантного кода. В книге воплощен сорокалетний стаж ее автора в области разработки компиляторов и архитектуры компьютеров. Здесь вы найдете множество приемов для работы с отдельными битами, байтами, вычисления различных целочисленных функций; большей части материала сопутствует строгое математическое обоснование. Каким бы ни был ваш уровень профессиональной подготовки - вы обязательно найдете в этой книге новое для себя; кроме того, книга заставит вас посмотреть на уже знакомые вещи с новой стороны. Не в меньшей степени эта книга пригодится и начинающему программисту, который может просто воспользоваться готовыми советами из книги, применяя их в своей повседневной практике.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Warren, H. S.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учеб. пособие для бакалавров по направлению 552800 "Информатика и вычисл. техника" , а также для подгот. дипломир. инженеров направления 654600 "Информатика и вычисл. техника" / А.В. Редькина ; М-во образования Рос. Федерации, Краснояр. гос. техн. ун-т. - Красноярск : КГТУ, 2003. - 312 с. : ил. - Библиогр.: с. 308-309. - ISBN 5-7636-0538-1 : 8.50 р.

УДК	004.438(075.8)^V3

ББК З973.26-018.1я73

Аннотация: Рассмотрены базовые конструкции языка C++, обработка массивов, структур и файлов. Большое внимание уделено различным аспектам использования функций, в том числе и рекурсивным, основным алгоритмам работы с динамическими списками и графами. Изложены основные положения объектно-ориентированного программирования и представлены примеры создания приложений для операционной системы Windows. Приведено большое количество примеров программ. Отладка программ произведена в среде Borland C++ 3.1, Visual C++ 6.0. Может быть рекомендовано к использованию как на первоначальном, так и на последующих этапах обучения. Предназначено для бакалавров, обучающихся по направлению 550000 - "Технические науки" (спец. 552800), подготовка дипломированных инженеров направления 654600 - "Информатика и вычислительная техника" (спец. 220100, 220200, 220300, 220400), также может использоваться всеми, кто хочет самостоятельно изучить язык C++.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Руководство / Пер. с англ. Е. Матвеева. - Санкт-Петербург ; Москва ; Нижний Новгород : Питер, 2005. - 479 с. : ил. - (Классика Computer Science). - Алф. указ.: с. 472-478. - Пер. изд. : Advanced C++ / J.O. Coplien. - ISBN 5-469-00189-X : 234.00 р.

УДК	004.438^V3

ББК З973.2-018

Аннотация: Эта книга написана для программистов, уже владеющим языком C++ и желающим поднять свою квалификацию на новый уровень. Давая представление о стиле и идиоматике языка, книга знакомит читателя с теми нетривиальными знаниями, которые опытные программисты C++ получают на личном опыте. Она показывает, что C++ использовать и для разработки простых абстракций данных, и для полноценной реализации абстрактных типов данных, и для объектно-ориентированного программирования различных стилей. Кроме того, в ней исследуются идиомы, не поддерживаемые напрямую на базовом уровне C++, например функциональное и фреймовое программирование, а также расширенные методы уборки мусора.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Coplien, J. O.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Пер. с англ. / Г. Шилдт. - 4-е изд. - Москва ; Санкт-Петербург ; Киев : Вильямс, 2007. - 704 с. : ил. - Предм. указ.: с. 681-699. - На тит. с. и пер. ошибочно: 4-е изд. - Пер. изд. : C: the complete reference / Herbert Schildt. - Berkeley etc. - ISBN 978-5-8459-1102-5. - ISBN 5-8459-1102-8 : 235.00 р.

УДК	004.438^V3

ББК З973.26-018.2.75

Аннотация: В данной книге, задуманной как справочник для программистов, работающих на языке C, подробно описаны все аспекты языка C и его библиотеки стандартных функций. Главный акцент сделан на стандарте ANSI/ISO языка C. Приведено описание как стандарта C89, так и C99. Особое внимание уделяется учету характеристик трансляторов, среды программирования и операционных систем, использующихся в настоящее время. Уже в самом начале подробно представлены все средства языка C, такие как ключевые слова, инструкции препроцессора и другие. Вначале описывается главным образом C89, а затем приводится подробное описание новых возможностей языка, введенных стандартом C99. Такая последовательность изложения позволяет облегчить практическое программирование на языке C, так как в настоящее время именно эта версия для большинства программистов представляется как "собственно C", к тому же это самый распространенный в мире язык программирования. Кроме того, эта последовательность изложения облегчает освоение C++, который является надмножеством C89. В книге много содержательных, нетривиальных примеров. Рассмотрены наиболее важные и распространенные алгоритмы и приложения, необходимые для каждого программиста, а также применение методов искусственного интеллекта и программирование для Windows 2000. Обсуждаются вопросы эффективности, переносимости и отладки программ. А в конце книги возможности языка C иллюстрируются на примере разработки его интерпретатора. Это, несомненно, самый лучший способ для осмысления, постижения и понимания чистоты и элегантности языка C.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Schildt, Herbert
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] : изложение на языке формул и алгоритмическом языке С# / А. П. Колесников. - Москва : URSS : Либроком, 2010. - 412 с. - Библиогр.: с. 411-412. - ISBN 978-5-397-01009-2 : 293.04 р.

ГРНТИ	27.41
УДК	519.6:004.438^V3

ББК В192.1

Аннотация: Предлагаемая вниманию читателя книга посвящена приложениям теории функциональных сплайнов к задачам численного анализа. Содержание книги излагается на двух языках: языке математических формул и алгоритмическом языке С#. Основным математическим аппаратом, используемым в книге для решения задач численного анализа, являются функциональные сплайны. В этом методе тривиально и эффективно применяются, например, сплайны 9-х и 11-х степеней, в то время как в классическом методе кусочно-многочисленных сплайнов такие объекты существуют лишь в теории. Результаты математических вычислений представлены не только формулами, но и программами, создающими на компьютере графические образы решений. Объектно-ориентированный стиль C# позволил объединить различные методы вычислений и разнообразные задачи в единые программные комплексы. Общение с программами происходит через окна Windows для ввода заданий и для вывода результатов в виде графиков и в виде чисел, характеризующих точность расчетов. В качестве дополнения к книге прилагаются тексты программ, работающих с оболочкой .NET Framework. Для студентов и аспирантов физико-математических специальностей, а также для научных работников и преподавателей, интересующихся современными методами численного анализа.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие для вузов по направлению 230100 "Информатика и вычислительная техника" / Д. Ш. Тенишев ; ред. Т. Б. Чистякова. - Санкт-Петербург : Профессия, 2010. - 403 с. : ил., табл. - Библиогр.: с. 401-403. - В надзаг.: Министерство образования и науки РФ; Государственное образовательное учреждение высшего профессионального образования Санкт-Петербургский технологический институт (Технический университет); Кафедра систем автоматизированного проектирования и управления. - ISBN 978-5-91884-017-7 : 495.00 р.

ГРНТИ

50.41

ББК З 973.2-018я73

Аннотация: Описываются современные технологии разработки программных систем и трансляции языков высокого уровня. Рассматриваются основные концепции объектно-ориентированного программирования с использованием языка С++, базовые и специфичные для автоматизированных систем (САПР, АСУ) структуры данных и алгоритмы. Даются методы проектирования и практической реализации многопоточных приложений, трансляторов языков высокого уровня, а также методы анализа и проектирования пользовательских интерфейсов. Излагаются основные положения технологий, используемых при разработке промышленного программного обеспечения. Учебное пособие предназначено для студентов, обучающихся по специальностям 230104 "Системы автоматизированного проектирования" и 230102 "Автоматизированные системы обработки информации и управления" направления подготовки дипломированных специалистов 230100 "Информатика и вычислительная техника", а также для бакалавров техники и технологии по направлению подготовки 230100 "Информатика и вычислительная техника". Может быть использовано в курсовом и дипломном проектировании при разработке лингвистического и программного обеспечения автоматизированных систем проектирования, обработки информации и управления.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Чистякова, Т. Б. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / С. С. Скиена. - 2-е изд. - Санкт-Петербург : БХВ-Петербург, 2011. - 719 с. : ил. - Предм. указ.: с. 713-719. - Библиогр.: с. 675-712. - Пер. изд. : The algorithm design manual / S. S. Skiena. - ISBN 978-5-9775-0560-4 : 510.00 р.

ГРНТИ

27.03

50.05

ББК З 973.2-018я7 + В127я7

Аннотация: Книга является наиболее полным руководством по разработке эффективных алгоритмов. Первая часть книги содержит практические рекомендации по разработке алгоритмов: приводятся основные понятия, дается анализ алгоритмов, рассматриваются типы структур данных, основные алгоритмы сортировки, операции обхода графов и алгоритмы для работы со взвешенными графами, примеры использования комбинаторного поиска, эвристических методов и динамического программирования. Вторая часть книги содержит обширный список литературы и каталог из 75 наиболее распространенных алгоритмических задач, для которых перечислены существующие программные реализации. Приведены многочисленные примеры задач. Книгу можно использовать в качестве справочника по алгоритмам для программистов, исследователей и в качестве учебного пособия для студентов соответствующих специальностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Skiena, S. S.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебный курс / П. Франка ; [пер. с англ. П. Бибиков]. - Санкт-Петербург ; Москва ; Харьков ; Минск : Питер, 2002. - 521 с. : ил. - (Учебный курс). - Алф. указ.: с. 516-521. - Пер. изд. : C++ : No experience required / P. Franca. - 5000 экз. - ISBN 5-314-00136-5 (в пер.). - ISBN 0252-112111-X (англ.) : 1.00 р.

ГРНТИ	50.41
УДК	004.438

ББК З 973.203.4-018.12Си

Аннотация: Язык С++ является в настоящее время одним из самых распространенных языков программирования, но одновременно и одним из самых трудных для изучения. Книга "С++: учебный курс" поможет быстро, эффективно и с наименьшими затратами освоить все основные приемы создания приложений на С++. Для изучения всех возможностей языка требуются объемные руководства и справочники, но эта книга даст вам "стартовый толчок", поможет понять структуру языка, принципы объектно-ориентированного программирования, методику проектирования и создания приложений. Учебный материал, содержащийся в 26-ти уроках, основан на практических примерах и сопровождается исходным кодом программ. Для его освоения не требуется никакой предварительной подготовки. Книга может быть использована в качестве учебного пособия для студентов, изучающих язык С++.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бибиков, П. \пер.\; Franca, P.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] / Э. З. Любимский, В. В. Мартынюк, Н. П. Трифонов ; ред. Э. З. Любимский. - Москва : Наука. Главная редакция физико-математической литературы, 1980. - 607 с. : ил ; 22. - Предм. указ.: с. 603-607. - 60000 экз. - (в пер.) : 1.50 р., 1.50 р.
Допущено Министерством высшего и среднего специального образования СССР в качестве учебного пособия для студентов вузов, обучающихся по специальности "Прикладная математика"

ГРНТИ

27.41.77

ББК В185я73

Аннотация: Книга содержит изложение двухгодичного курса лекций для студентов факультета вычислительной математики и кибернетики МГУ. Курс соответствует новой программе для университетов. В книге нашли свое отражение те существенные изменения, которые произошли за последнее время как в практике использования ЭВМ, так и в общих подходах к вопросам программирования. Книга предназначена в качестве учебного пособия для студентов факультетов прикладной математики университетов и вузов с повышенной математической подготовкой.

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Мартынюк, Виктор Владимирович; Трифонов, Николай Павлович; Любимский, Эдуард Зиновъевич \ред.\
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)

[Текст] : [учеб. пособие для вузов по направлениям "Прикладная математика" и "Вычисл. машины, комплексы, системы и сети"] / В. В. Подбельский ; рец. Ю. Г. Дадаев. - 5-е изд. - Москва : Финансы и статистика, 2008. - 560 с. - Библиогр.: с. 538-539. - Указ. символов и предм.: с. 540-556. - ISBN 978-5-279-02204-5 (в пер.) : 500.00 р.

ГРНТИ	50.09
УДК	004.438(075.8)^V3

ББК З 973.203.4-018.12Си

Аннотация: Подробно рассмотрены синтаксис, семантика и техника программирования объектно- ориентированного языка С++, рассматриваемого как самостоятельный язык программирования.

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Дадаев, Ю.Г. \рец.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : пособие для начинающих / М. Б. Лебедев. - 2-е изд., испр. . - Москва : Додэка-XXI, 2010. - 592 с. : ил. ; 24 см. + 1 эл. опт. диск (CD-ROM). - (Программируемые системы). - Библиогр.: с. 590-591. - 1000 экз. - ISBN 978-5-94120-248-5 : 531.00 р.

ГРНТИ	50.41	50.41.25
УДК	004.312.46

ББК З 973.203.4-018.21я7

Аннотация: В книге изложены основные приемы работы в интегрированной среде разработки CodeVision AVR, предназначенной для разработки программного обеспечения и программирования микроконтроллеров AVR на языке Си. Автор постарался сделать описание программы CodeVision AVR максимально понятным: приводятся переводы всех меню и команд меню, диалоговых окон, а также различного рода предупреждений. Кроме того, для облегчения восприятия материала книга богато иллюстрирована и снабжена перекрестными ссылками. Книга рассчитана на читателей, изучающих основы микроконтроллерной техники, и может быть полезна студентам вузов соответствующих специальностей.

Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : справочное руководство / Николаи М. Джосаттис. - Москва ; Санкт-Петербург ; Киев : ООО "И. Д. Вильямс", 2014. - 1136 с. : ил. ; 25 см. - Перевод с английского. - Библиогр.: с. 1111-1115. - Предм. указ.: с. 1117-1129. - Пер. изд. : The C++standard library : A Tutorial and Reference / Nicolai M. Josuttis. - 1500 экз. - ISBN 978-5-8459-1837-6 (рус.) (в пер.). - ISBN 978-0-321-62321-8 (англ.) : 2380.00 р.

ГРНТИ	50.41
УДК	004.438^V3

ББК З 973.203.4-018.21я22 + З 973.203.4-018.12Си

Аннотация: Стандартная библиотека С++ содержит набор универсальных классов и интерфейсов, значительно расширяющих ядро языка С++. Однако эта библиотека не является самоочевидной. Для того чтобы полнее использовать возможности ее компонентов и извлечь из них максимальную пользу, необходим полноценный справочник, а не простое перечисление классов и их функций. В данной книге описывается библиотека как часть нового стандарта ANSI/ISO C++ (C++11). Здесь содержится исчерпывающее описание каждого компонента библиотеки, включая его предназначение и структуру; очень подробно описываются сложные концепции и тонкости практического программирования, необходимые для их эффективного использования, а также ловушки и подводные камни; приводятся точные сигнатуры и определения наиболее важных классов и функций, а также многочисленные примеры работоспособных программ. Основным предметом изучения в книге является стандартная библиотека шаблонов (STL), в частности контейнеры, итераторы, функциональные объекты и алгоритмы. В книге также рассматриваются новый стиль программирования на С++ и его влияние на стандартную библиотеку, включая лямбда-функции, диапазонные циклы for, семантику перемещения и вариативные шаблоны. Книге посвящен специальный веб-сайт www.cppstdlib.com, на котором, в частности, можно найти исходные коды программ.

www.cppstdlib.com


Доп.точки доступа:
Josuttis, Nicolai M.
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : вычислительный практикум / П. Н. Вабищевич. - Изд.стереотип. - Москва : ЛЕНАНД ; Москва : URSS, 2016. - 320 с. : граф., рис., табл. - Библиогр.: с. 318-319. - ISBN 978-5-9710-2706-5 (в пер.) : 808.00 р.

ГРНТИ

27.41

ББК В19с512я73

Аннотация: Настоящая книга посвящена отработке навыков практического применения численных методов при использовании алгоритмического языка Python. Рассматриваются прямые и итерационные методы линейной алгебры, спектральные задачи, системы нелинейных уравнений, задачи минимизации функций, задачи интерполирования функций, численного интегрирования, интегральные уравнения, краевые задачи и задачи с начальными данными для обыкновенных уравнений и уравнений с частными производными. На уровне пользователя применяются специализированные математические пакеты, на уровне разработчика проводится программирование базовых алгоритмов численного анализа. Часть материала посвящена информации о программном обеспечении, кратко описаны основные элементы языка Python и используемые пакеты. Книга рассчитана на студентов вузов, обучающихся по специальности "Прикладная математика", и специалистов по вычислительной математике и математическому моделированию.

Аннотация

Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

: учеб. пособие : В 2 ч. : пер. с нем. / Фридрих Л. Бауэр ; Ф. Л. Бауэр, Г. Гооз ; ред. А. П. Ершов. - 2-е изд., полностью перераб. и расшир. - М. : Мир, 1990 - . - ISBN 5-03-000298-7. / Г. Гооз. - 1990. - 324 с. : ил. - ISBN 5-03-002099-3 (в пер.) : 1.60 р.

ГРНТИ	20
УДК	З973

ББК Ч 23



Доп.точки доступа:
Бауэр, Фридрих Л.; Гооз, Герхард; Ершов, А. П. \ред. пер.\; Валиев, М. К. \пер.\
Экземпляры всего: 1
ИХХТ-АБ (1)
Свободны: ИХХТ-АБ (1)

[Текст] / Л. М. Романовская, Т. В. Русс, С. Г. Свитковский. - М. : Финансы и статистика, 1991. - 350 с. + 22 см. - Библиогр.: с. 307 (8 назв.). - ISBN 5-279-00506-1 (В пер.) : 31.25 р.

ГРНТИ	50.41
УДК	681.3.066

ББК З97



Доп.точки доступа:
Русс, Т.В.; Свитковский, С.Г. , ИБФ-ООН
Свободных экз. нет

[Текст] : научно-популярная литература / С. Н. Саутин, А. Е. Пунин. - Л. : Химия, 1991. - 142 с. : ил. - Библиогр.: с. 140. - ISBN 5-7245-0174-0 : 1.82 р.ББК З973.2 + Л11



Доп.точки доступа:
Пунин, Анатолий Евгеньевич , ИБФ-ООН
Свободных экз. нет