| Найдено документов - 19 | Найти похожие: "Индекс ББК" = 'З973.2-018-5-05' | Версия для печати |
Сортировать по:
1. Книга
Серебряков Владимир Алексеевич.
Теория и реализация языков программирования / Серебряков Владимир Алексеевич. - Москва : ФИЗМАТЛИТ, 2012. - 235 с. : ил., табл. - Библиогр.: с. 234-235 (27 назв.). - ISBN 978-5-9221-1417-2 : 300.00.
Теория и реализация языков программирования / Серебряков Владимир Алексеевич. - Москва : ФИЗМАТЛИТ, 2012. - 235 с. : ил., табл. - Библиогр.: с. 234-235 (27 назв.). - ISBN 978-5-9221-1417-2 : 300.00.
Шифры: З973.2 - С 32
Ключевые слова: Вычислительная техника, Компиляторы, Компьютеры, Программирование, Радиоэлектроника, Теория языков программирования, Трансляторы, Языки программирования
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: На основе лекций, прочитанных в МГУ и МФТИ, излагаются основные разделы теории языков , автоматов и разработки компиляторов. Рассматриваются такие средства автоматизации процесса разработки трансляторов, как LEX, YACC, СУПЕР, методы генерации оптимального кода. Для студентов, аспирантов программистских специальностей и профессионалов – программистов и разработчиков компиляторов.
2. Документ
Немытых Андрей Петрович.
Суперкомпилятор SCP4 : Общая структура / Немытых Андрей Петрович; А. П. Немытых. - Москва : URSS, 2007. - 150 с. - Библиогр.: с. 140-144. - ISBN 978-5-382-00365-8 : 100.00.
Суперкомпилятор SCP4 : Общая структура / Немытых Андрей Петрович; А. П. Немытых. - Москва : URSS, 2007. - 150 с. - Библиогр.: с. 140-144. - ISBN 978-5-382-00365-8 : 100.00.
Шифры: З973.2 - Н50
Ключевые слова: SCP4, суперкомпилятор, Компиляторы, Компьютеры, Преобразователи функциональных программ, Программирование, Суперкомпиляторы, Трансляторы
Экземпляры: Всего: 2, из них: к3-2
Подробнее
3. Документ
Ахо Альфред.
Компиляторы : Принципы, технологии, инструменты / Ахо Альфред; Альфред Ахо, Рави Сети, Джеффри Ульман; [Пер. и общ. ред. И. В. Красикова]. - Москва : Вильямс, 2003. - 767 с. : ил. - Перевод изд.: Compilers : Principles, Techniques, and tools / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. - Библиогр.: с.742-763. - Предм. указ.: с.764-767. - ISBN 5-8459-0189-8. - ISBN 0-201-10088-6 : 470.00.
Компиляторы : Принципы, технологии, инструменты / Ахо Альфред; Альфред Ахо, Рави Сети, Джеффри Ульман; [Пер. и общ. ред. И. В. Красикова]. - Москва : Вильямс, 2003. - 767 с. : ил. - Перевод изд.: Compilers : Principles, Techniques, and tools / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. - Библиогр.: с.742-763. - Предм. указ.: с.764-767. - ISBN 5-8459-0189-8. - ISBN 0-201-10088-6 : 470.00.
Авторы: Ахо Альфред, Сети Рави, Ульман Джеффри, Красиков И. В., Ставровский А. Б.
Шифры: З973.2 - А95
Ключевые слова: Компиляторы, Трансляторы, Компьютеры, Программирование для ЭВМ, Персональные компьютеры
Экземпляры: Всего: 1, из них: к3-1
Подробнее
4. Книга
Кларк Эдмунд М. (мл.).
Верификация моделей программ: Model Checking / Кларк Эдмунд М.; Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др.; Под ред. Р. Смелянского. - Москва : Московский центр непрерывного математического образования, 2002. - 416 с. : ил. ; 21 см. - Перевод изд.: Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron Pelrd. - Библиогр.: 376-399. - Предм. указ.: с.400-416. - ISBN 5-94057-054-2. - ISBN 0-262-03270-8 : 77.00.
Верификация моделей программ: Model Checking / Кларк Эдмунд М.; Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др.; Под ред. Р. Смелянского. - Москва : Московский центр непрерывного математического образования, 2002. - 416 с. : ил. ; 21 см. - Перевод изд.: Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron Pelrd. - Библиогр.: 376-399. - Предм. указ.: с.400-416. - ISBN 5-94057-054-2. - ISBN 0-262-03270-8 : 77.00.
Авторы: Кларк Эдмунд М., Грамберг Орна, Пелед Дорон, Захаров В., Кончаков Р., Царьков Д., Смелянский Р.
Шифры: З973.2 - К 47
Ключевые слова: Программирование для ЭВМ, Компьютеры, Компьютерные программы, Отладка компьютерных программ, Верификация моделей программ, Проверка правильности программ, Проверка правильности на модели, Модели компьютерных программ, Model checking, проверка правильности на модели
Экземпляры: Всего: 2, из них: к3-2
Подробнее
5. Документ
Хантер Робин.
Основные концепции компиляторов : [пер. с англ.] / Хантер Робин, В. Н. Горкавенко; Робин Хантер. - Москва и др. : Вильямс, 2002. - 252 с. - (Основы вычислительных систем). - Доп. тит. л. на англ. яз. - Библиогр.: с.247-248. - Предм. указ.: с.249252. - ISBN 5-8459-0360-2. - ISBN 0-1372-7835-7 : 125.00.
Основные концепции компиляторов : [пер. с англ.] / Хантер Робин, В. Н. Горкавенко; Робин Хантер. - Москва и др. : Вильямс, 2002. - 252 с. - (Основы вычислительных систем). - Доп. тит. л. на англ. яз. - Библиогр.: с.247-248. - Предм. указ.: с.249252. - ISBN 5-8459-0360-2. - ISBN 0-1372-7835-7 : 125.00.
Авторы: Хантер Робин, Горкавенко В. Н., Назаренко А. В.
Шифры: З973.2 - Х19
Ключевые слова: Компьютеры, Программирование для ЭВМ, Компиляторы, Трансляторы
Экземпляры: Всего: 12, из них: к3-12
Подробнее
6. Документ
Паппас Крис Х.
Отладка в С++ : Пер. с англ. / Паппас Крис Х.; К. Х. Паппас, У. Х. Мюррей III. - Москва : БИНОМ, 2001. - 509 с. : ил. - (Руководство для разработчиков). - ISBN 5-7989-0218-8 : 150.00.
Отладка в С++ : Пер. с англ. / Паппас Крис Х.; К. Х. Паппас, У. Х. Мюррей III. - Москва : БИНОМ, 2001. - 509 с. : ил. - (Руководство для разработчиков). - ISBN 5-7989-0218-8 : 150.00.
Авторы: Паппас Крис Х., Мюррей Уильям Х., Тимофеев В. В.
Шифры: З973.2 - П17
Ключевые слова: Компиляторы, Трансляторы, Отладка в С++, С++, Visual C++, Отладчик Visual C++, Компьютеры
Экземпляры: Всего: 1, из них: к3-1
Подробнее
7. Книга
Круглински Дэвид Дж.
Программирование на Microsoft Visuai С++ 6.0 : [Пер. с англ.] / Круглински Дэвид Дж.; Д. Дж. Круглински, С. Уингоу, Дж. Шеферд. - СПб. и др. : Питер, 2001. - XXXIV,819 с. : ил., портр. + Прил. (CD-ROM). ; 26 см. + CD-ROM. - (Для профессионалов). - Предм. указ.: с.803-819. - ISBN 5-272-00385-3 : 353.00, 375.00.
Программирование на Microsoft Visuai С++ 6.0 : [Пер. с англ.] / Круглински Дэвид Дж.; Д. Дж. Круглински, С. Уингоу, Дж. Шеферд. - СПб. и др. : Питер, 2001. - XXXIV,819 с. : ил., портр. + Прил. (CD-ROM). ; 26 см. + CD-ROM. - (Для профессионалов). - Предм. указ.: с.803-819. - ISBN 5-272-00385-3 : 353.00, 375.00.
Авторы: Круглински Дэвид Дж., Круглински Дэвид Дж., Уингоу Скотт, Шеферд Джордж
Шифры: З973.2 - К84
Ключевые слова: Программирование для Windows, Компьютеры, Персональные компьютеры, Программирование на Visual C++ 6/0, Компиляторы, Microsoft Visual C++ 6.0, Приложения для Windows, Разработка приложений, Системы программирования, Windows-приложения
Экземпляры: Всего: 2, из них: к3-2
Подробнее
8. Документ
Паппас Крис.
Visuai C++ 6 : Руководство разраб. : Пер. с англ. / Паппас Крис, Мюррей Уильям; Ред. В. Гинзбург. - Киев : Ирина : BHV, 2000. - 621 с. : ил. - (Руководство разработчика). - Предм. указ.: с.601-610. - ISBN 966-552-043-1. - ISBN 5-7315-0072-X. - ISBN 0-07-882510-5 : 129.00.
Visuai C++ 6 : Руководство разраб. : Пер. с англ. / Паппас Крис, Мюррей Уильям; Ред. В. Гинзбург. - Киев : Ирина : BHV, 2000. - 621 с. : ил. - (Руководство разработчика). - Предм. указ.: с.601-610. - ISBN 966-552-043-1. - ISBN 5-7315-0072-X. - ISBN 0-07-882510-5 : 129.00.
Авторы: Паппас Крис, Мюррей Уильям, Гинзбург В.
Шифры: З973.2 - П17
Ключевые слова: Трансляторы, Visual C++ 6, Библиотека MFC, Windows, Программирование для ЭВМ, Компьютеры, Компиляторы
Экземпляры: Всего: 2, из них: к3-2
Подробнее
9. Документ
Паппас Крис.
Visual C++ 6 : Пер. с англ. / Паппас Крис, Мюррей Уильям; Под ред. В. Гинзбурга. - Киев : Ирина : BHV, 2000. - 335 с. : ил. - (Для пользователя). - ISBN 966-552-059-8. - ISBN 5-7315-0088-6. - ISBN 0-07-882510-5 : 83.00.
Visual C++ 6 : Пер. с англ. / Паппас Крис, Мюррей Уильям; Под ред. В. Гинзбурга. - Киев : Ирина : BHV, 2000. - 335 с. : ил. - (Для пользователя). - ISBN 966-552-059-8. - ISBN 5-7315-0088-6. - ISBN 0-07-882510-5 : 83.00.
Авторы: Паппас Крис, Мюррей Уильям, Гинзбург В.
Шифры: З973.2 - П17
Ключевые слова: Трансляторы, Компьютеры, Windows, Visual C++ 6, Библиотека MFC, Программирование для ЭВМ, Компиляторы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
10. Книга
Грегори Кэйт.
Использование Vishai C++ 6 : специальное издание : [перевод с английского] / Грегори Кэйт; (под ред. Г. П. Петриковца). - Москва ; Санкт-Петербург ; Киев : Вильямс, 1999. - 849 с. : ил. - Перевод изд.: Using Visual C++ 6 / Kate Gregory. - На пер. перед загл. также: Полное справочное руководство. - Предм. указ.: с. 820-842. - ISBN 5-8275-0022-4. - ISBN 0-7897-1539-2 : 179.00.
Использование Vishai C++ 6 : специальное издание : [перевод с английского] / Грегори Кэйт; (под ред. Г. П. Петриковца). - Москва ; Санкт-Петербург ; Киев : Вильямс, 1999. - 849 с. : ил. - Перевод изд.: Using Visual C++ 6 / Kate Gregory. - На пер. перед загл. также: Полное справочное руководство. - Предм. указ.: с. 820-842. - ISBN 5-8275-0022-4. - ISBN 0-7897-1539-2 : 179.00.
Шифры: З973.2 - Г 79
Ключевые слова: Программное обеспечение, Visual C++ 6, Компиляторы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
11. Документ
Visual C++ 5 : Руководство разработчика / Беннет Дэвид [и др.]; Дэвид Беннет, Стефан Маконин, Винсент Мэйфилд и др.; [Пер. с англ. и ред. В.Л. Бродового и др.]. - Киев и др. : Диалектика, 1998. - 767 с. : ил. - Перевод изд.: Visual C++ 5 : Developer's Guide / David Bennett, et al. - Предм. указ.: с.719-761. - ISBN 966-506-136-4. - ISBN 0-672-31031-7.
Авторы: Беннет Дэвид, Маконин Стефан, Мэйфилд Винсент, Ньюстэдтер Тэд, Врэн Марк, Бродовой В.Л., Шпак Ю.А.
Шифры: З973.2 - V75
Ключевые слова: Компьютеры, Персональные компьютеры, Программное обеспечение, Библиотека классов MFC, Visual C++, MFC, ActiveX, Windows 95, Windows NT, Компиляторы
Подробнее
12. Документ
Мешков Андрей В.
Visual C++ и MFC : Программирование для Windows NT и Windows 95 : в 3 т. Т. 2 / Мешков Андрей В., Тихомиров Юрий В. - Санкт-Петербург [и др.] : BHV - Санкт-Петербург, 1997. - VIII, 454 с. : ил. ; 23см. - (Мастер. Руководство для профессионалов). - Предм. указ.: с. 441-454. - ISBN 5-7791-0039-Х : 240.00.
Visual C++ и MFC : Программирование для Windows NT и Windows 95 : в 3 т. Т. 2 / Мешков Андрей В., Тихомиров Юрий В. - Санкт-Петербург [и др.] : BHV - Санкт-Петербург, 1997. - VIII, 454 с. : ил. ; 23см. - (Мастер. Руководство для профессионалов). - Предм. указ.: с. 441-454. - ISBN 5-7791-0039-Х : 240.00.
Авторы: Мешков Андрей В., Тихомиров Юрий В.
Шифры: З973.2 - М 55
Ключевые слова: MFC, библиотека классов, Visual C++, Windows 95, Windows NT, Библиотека классов MFC, Компиляторы, Компьютеры, Объектно-ориентированное программирование, Персональные компьютеры, Программирование в Windows, Трансляторы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга посвящена объектно - ориентированному программированию для 32 - разрядных систем Windows с использованием компилятора Visual C++ и библиотеки классов MFC версии 4.1. Книга содержит исчерпывающую информацию о библиотеке классов MFC (Microsoft Foundation Classes) и методах создания приложений Windows , а также большое количество наглядных и подробно прокомментированных примеров приложений, полные тексты которых приведены на сопроводительной дискете.
13. Документ
Мешков Андрей В.
Visual C++ и MFC : программирование для Windows NT и Windows 95 : в 3 т. Т. 1 / Мешков Андрей В., Тихомиров Юрий В. - Санкт-Петербург [и др.] : BHV - Санкт-Петербург, 1997. - VIII, 451 с. : ил. ; 23 см. - (Мастер) (Руководство для профессионалов). - Предм. указ.: с. 448-451. - ISBN 5-7791-0035-7 : 44800-00.
Visual C++ и MFC : программирование для Windows NT и Windows 95 : в 3 т. Т. 1 / Мешков Андрей В., Тихомиров Юрий В. - Санкт-Петербург [и др.] : BHV - Санкт-Петербург, 1997. - VIII, 451 с. : ил. ; 23 см. - (Мастер) (Руководство для профессионалов). - Предм. указ.: с. 448-451. - ISBN 5-7791-0035-7 : 44800-00.
Авторы: Мешков Андрей В., Тихомиров Юрий В.
Шифры: З973.2 - М 55
Ключевые слова: MFC, библиотека классов, Visual C++, Windows 95, Windows NT, Библиотека классов MFC, Компиляторы, Компьютеры, Объектно-ориентированное программирование, Персональные компьютеры, Программирование в Windows, Трансляторы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга посвящена объектно-ориентированному программированию для 32 - разрядных систем Windows с использованием компилятора Visual C++ и библиотеки классов MFC версии 4.1. Книга содержит исчерпывающую информацию о библиотеке классов MFC (Microsoft Foundation Classes) и методах создания приложений Windows , а также большое количество наглядных и подробно прокомментированных примеров приложений, полные тексты которых приведены на сопроводительной дискете.
14. Документ
Биллиг Владимир Арнольдович.
Visual C++ 4. Книга для программистов / Биллиг Владимир Арнольдович, Мусикаев Ильмир Хафизович; Биллиг В.А., Мусикаев И.Х. - Москва : Изд. отд. "Рус. ред." ТОО "Channel Trading Ltd"., 1996. - 326 с. : ил. - Предм. указ.: с.323-326. - ISBN 5-7502-0022-1 : 55000.00.
Visual C++ 4. Книга для программистов / Биллиг Владимир Арнольдович, Мусикаев Ильмир Хафизович; Биллиг В.А., Мусикаев И.Х. - Москва : Изд. отд. "Рус. ред." ТОО "Channel Trading Ltd"., 1996. - 326 с. : ил. - Предм. указ.: с.323-326. - ISBN 5-7502-0022-1 : 55000.00.
Авторы: Биллиг Владимир Арнольдович, Мусикаев Ильмир Хафизович
Шифры: З973.2 - Б61
Ключевые слова: Персональные компьютеры, Компьютеры, Программирование, Visual C++ 4, Компиляторы
Экземпляры: Всего: 3, из них: к3-3
Подробнее
15. Документ
Сван Том.
Программирование для Windows в Borland C++ / Сван Том; Том Сван ; пер. с англ. В. Тимофеева. - Москва : БИНОМ, 1995. - 479 с. : ил. - (Computer club). - Перевод изд.: Mastering Windows programming with Borland C++ / Tom Swan (SAMS publ.). - ISBN 5-7503-0054-4. - ISBN 0-672-30312-4 : 50.00.
Программирование для Windows в Borland C++ / Сван Том; Том Сван ; пер. с англ. В. Тимофеева. - Москва : БИНОМ, 1995. - 479 с. : ил. - (Computer club). - Перевод изд.: Mastering Windows programming with Borland C++ / Tom Swan (SAMS publ.). - ISBN 5-7503-0054-4. - ISBN 0-672-30312-4 : 50.00.
Авторы: Сван Том, Тимофеев В. В., Костенко В. И.
Шифры: З973.2 - С24
Ключевые слова: Компьютеры, Персональные компьютеры, Программирование для Windows, Borland C++, компилятор, Компиляторы, Трансляторы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
Хендрикс Джеймс.
Компилятор языка си для микроЭВМ / Хендрикс Джеймс; Д. Хендрикс; Пер. с англ. А. А. Батнера; Под ред. Б. А. Кузьмина. - Москва : Радио и связь, 1989. - 238,[1] с. ; 21 см. - Перевод изд.: The Small-C handbook / James E. Hendrix (Reston, Virg.). - Библиогр.: с. 239 (8 назв.). - ISBN 5-256-00161-2 : 0.80.
Компилятор языка си для микроЭВМ / Хендрикс Джеймс; Д. Хендрикс; Пер. с англ. А. А. Батнера; Под ред. Б. А. Кузьмина. - Москва : Радио и связь, 1989. - 238,[1] с. ; 21 см. - Перевод изд.: The Small-C handbook / James E. Hendrix (Reston, Virg.). - Библиогр.: с. 239 (8 назв.). - ISBN 5-256-00161-2 : 0.80.
Авторы: Хендрикс Джеймс, Кузьмин Б. А., Батнер А. А.
Шифры: З973.2 - Х38
Ключевые слова: Компилятор языка си, ЭВМ, Микро-ЭВМ, Языки программирования, Си, Компиляторы
Экземпляры: Всего: 2, из них: к3-2
Подробнее
17. Книга
Хамби Э.
Программирование таблиц решений / Э. Хамби; пер. с англ. С. В. Диева ; под ред. Э. З. Любимского ; [предисл. Э. З. Любимского, С. В. Диева]. - Москва : Мир, 1976. - 86 с. : ил. - (Математическое обеспечение ЭВМ). - Перевод изд.: Programs from decision tables / E. Humby (1973). - Библиогр.: с.83-84. - 5.50.
Программирование таблиц решений / Э. Хамби; пер. с англ. С. В. Диева ; под ред. Э. З. Любимского ; [предисл. Э. З. Любимского, С. В. Диева]. - Москва : Мир, 1976. - 86 с. : ил. - (Математическое обеспечение ЭВМ). - Перевод изд.: Programs from decision tables / E. Humby (1973). - Библиогр.: с.83-84. - 5.50.
Авторы: Хамби Э., Диев С. В., Любимский Э. З.
Шифры: З973.2 - Х 18
Ключевые слова: Вычислительная техника, Компьютеры, Программирование таблиц решений, Таблицы решений, Трансляторы
Экземпляры: Всего: 2, из них: к3-2
Подробнее
18. Документ
Gries David.
Compiler Construction for Digital Computers / Gries David; D. Gries. - New York etc. : Wiley & Sons, 1971. - XIII,493 p. - Ind.: p.483-493. - ISBN 0-471-32776-X : 38.97.
Compiler Construction for Digital Computers / Gries David; D. Gries. - New York etc. : Wiley & Sons, 1971. - XIII,493 p. - Ind.: p.483-493. - ISBN 0-471-32776-X : 38.97.
Шифры: З973.2 - G83
Ключевые слова: Компьютеры, Компиляторы, Трансляторы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Документ
Автоматизация программирования : сборник переводов / под ред. А. П. Ершова. - Москва : Физматгиз, 1961. - 368 с. : табл. - <null>.
Шифры: 518.5 - А22
Ключевые слова: Автоматизация программирования, Компьютеры, Программирование
Экземпляры: Всего: 1, из них: к3-1
Подробнее