Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Компьютеры персональные - Программирование<.>)
Общее количество найденных документов : 22
Показаны документы с 1 по 10
 1-10    11-20   21-22 
1.
   З 973.2
   P93
З 973.2 / P93-02 ВМИ

   
    Program semantics, specification and verification : theory and applications : PSI 19 [Text] : 12th A. P. Ershov informatics conference : X workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia : abstracts / editors V. A. Zakharov [et al.]. - Novosibirsk : A. P. Ershov institute of informatics systems SB RAS : Novosibirsk state university, 2019. - 39 p. : ill. ; 29 см. - (PSI conference series, 12th edition). - Bibliogr. at the end of the reports. - 50 экз.
В надзаг.: A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university
Перевод заглавия: Программные семантики, спецификации и верификация : теория и применение : 10-й семинар
ГРНТИ
50.41
УДК
519.6(082)^V3
ББК З 973.2-018я431
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
Компьютеры персональные - Программирование


Доп.точки доступа:
Zakharov, V. A. \ed.\
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 28-18-2020но
Найти похожие
2.
   З 973.2
   У643

    Уоррен, Г. С.
    Алгоритмические трюки для программистов : [Пер. с англ.] / Генри Уоррен (мл.). - [Испр. изд.]. - М. [и др.] : Вильямс, 2004. - 284 с. : ил. ; 24 см. - Предм. указ.: с. 283-284. - Пер. изд. : Hacker's delight / H. S. Warren. - 3500 экз.. -
ГРНТИ
50.41
УДК
004.42^V3
ББК З 973.2-018
Рубрики: Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
Алгоритмические языки -- Компьютеры персональные - Программирование


Доп.точки доступа:
Warren, H. S.
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 8-18-2005
Найти похожие
3.
   З 81
   Д663
З 81 / Д663-02

    Домингос, Педро.
    Верховный алгоритм : как машинное обучение изменит наш мир / Педро Домингос ; пер. с англ. В. Горохова. - Москва : Манн, Иванов и Фербер, 2016. - 333 с. : ил. ; 24 см. - Библиогр. в примеч.: с. 315-333. - Пер. изд. : The master algorithm / Pedro Domingos. - 2000 экз.. -
ГРНТИ
28.23
УДК
001^V3
62^V3
ББК З 813
Рубрики: Компьютерное обучение--Искусственный интеллект
Кл.слова (ненормированные):
Компьютеры персональные - Программирование -- Алгоритмизация процесса

Перейти: Оглавление

Доп.точки доступа:
Горохов, Василий \пер.\; Domingos, Pedro
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 8-14-2017но
Найти похожие
4.
   З 973.2
   М545

   
    Методы предикатного программирования [Текст] = The predicate programming methods : сб. науч. работ / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; Под ред. В. И. Шелехова. - Новосибирск : ИСИ, 2003. - 62 с. ; 21 см. - Библиогр. в конце ст. - 70 экз.. -
ГРНТИ
50.05.03
27.03.17
27.03.19
УДК
004.42(082)^V3
ББК З 973.2-018я43 + В127я43 + В123я43
Рубрики: Программное обеспечение ЭВМ
   Предикаты--рекурсивные
   Предикаты--исчисление
Кл.слова (ненормированные):
Компьютеры персональные - Программирование


Доп.точки доступа:
Шелехов, В.И. \ред.\; Институт систем информатики им. А.П. Ершова (Новосибирск)
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 49-19-2004
Найти похожие
5.
   З 973.2
   О.526

    Окулов, Станислав Михайлович.
    Основы программирования : монография / С. Окулов. - 2-е изд., испр. - М. : БИНОМ. Лаб. знаний, 2005. - 440 с. : ил. ; 22 см. - (Программисту). - 3000 экз.. -
ГРНТИ
50.41
УДК
004.42(075.8)^V3
ББК З 973.2-018я7
Рубрики: Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
Турбо Паскаль (алгоритмический язык) -- Компьютеры персональные - Программирование

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 96-15-2005
Найти похожие
6.
   З 973.2
   Т345
З 973.2 / Т345-02

    Тепляков, Сергей.
    Паттерны проектирования на платформе.NET : [16+] / Сергей Тепляков. - Санкт-Петербург [и др.] : Питер, 2018. - 316 с. ; 24 см. - Библиогр.: с. 313-316. -
ГРНТИ
50.41
УДК
004.94^V3
ББК З 973.203.4-018.12
Рубрики: Персональные компьютеры--Программное обеспечение--Проектирование
Кл.слова (ненормированные):
Интернет - Web-страницы - Составление -- Компьютеры персональные - Программирование

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 63-19-2018но
Найти похожие
7.
   З 973.2
   Ч211

    Чарнецки, Кшиштоф.
    Порождающее программирование : методы, инструменты, применение: [пер. с англ.] / К. Чарнецки, У. Айзенекер. - СПб. [и др.] : Питер, 2005. - 730 с. : ил. ; 24 см. - (Для профессионалов). - Алф. указ.: с. 706-730. - 2000 экз.. -
ГРНТИ
50.41
УДК
004.42^V3
ББК З 973.2-018
Рубрики: Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
Компьютеры персональные - Программирование -- Программирования языки


Доп.точки доступа:
Айзенекер, Ульрих
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 62-4-2005
Найти похожие
8.
   З 973.2
   Л217

    Ламот, Андре.
    Программирование трехмерных игр для Windows : советы профессионала по трехмер. графике и растеризации:[пер. с англ.] / Андре Ламот. - М. [и др.] : Вильямс, 2004. - 1414 с. : ил. ; 24 см. + 1 эл. опт. диск (CD-ROM). - Предм. указ.: с. 1407-1414. - Пер. изд. : Tricks of the 3D game programming gurus / A. LaMothe. - 3000 экз.. -
ГРНТИ
77.29
50.41.25
УДК
794:004.946^V3
ББК З 973.203.4-018.24я82 + З 973.203.4-018.21я82
Рубрики: Компьютерные игры--графическое программирование
Кл.слова (ненормированные):
Компьютерные игры - Составление -- Компьютеры персональные - Программирование -- Стереоизображение


Доп.точки доступа:
LaMothe, A.
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 8-17-2005
Найти похожие
9.
   З 81
   Р584

   
    Робототехника, прогноз, программирование : [сборник] / Ин-т приклад. математики им. М. В. Келдыша Рос. акад. наук ; предисл. Ю. П. Попова, Г. Г. Малинецкого. - М. : URSS, 2007. - 202 с. : ил. ; 22 см. - (Будущее прикладной математики. Избранные лекции). - Библиогр. в конце лекций. -
28.01
681.5:004^V3
ББК З 81в641я73
Рубрики: робототехника--математические методы
   математическая кибернетика
   программное обеспечение--ЭВМ
Кл.слова (ненормированные):
Робототехника -- Синергетика -- Компьютеры персональные - Программирование

Перейти: Оглавление

Доп.точки доступа:
Попов, Ю.П. \авт. предисл.\; Малинецкий, Г.Г. \авт. предисл.\; Институт прикладной математики им. М. В. Келдыша (Москва)
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 63-20-2008
Найти похожие
10.
   З 973.2
   С429
З 973.2 / С429-02

    Скит, Джон.
    С# : программирование для профессионалов : [пер. с англ.] / Джон Скит ; [предисл. Э. Липперта]. - Москва [и др.] : Вильямс, 2011. - 544 с. : ил. ; 25 см. - Предм. указ.: с. 539-544. - Пер. изд. : С# in Depth / J. Skeet. - 1500 экз.
На тит. с. и пер. ошибочно: 2-е изд.
ГРНТИ
50.05
УДК
004.438^V3
ББК З 973.203.4-018.12Си
Рубрики: C#, язык программирования
Кл.слова (ненормированные):
Алгоритмические языки -- Компьютеры персональные - Программирование


Доп.точки доступа:
Липперт, Эрик \авт. предисл.\; Skeet, J.
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 47-29-2013но
Найти похожие
 1-10    11-20   21-22 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН