Pr869
   Pr869/779
Pr869/778 / Pr869/779-02


   
    Algorithms and complexity : 2nd Italian conf., CIAC'94, Rome, Italy, Febr. 23-25, 1994 : Proc. / Eds.: M. Bonuccelli et al. - Berlin [et al.] : Springer, 1994. - VI, 222 p. : Ill. - (Lecture notes in computer science ; 778). - Bibliogr. at the end of the art
Перевод заглавия: Алгоритмы и сложность
ББК З 973.2-018я431
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
конечные автоматы -- теория графов
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   Pr912
   Pr912/197
Pr912/197 / Pr912/197-02


   
    System modelling and optimization : Proc. of the 16th IFIP-TC7 conf., Compiegne, France, July 5-9, 1993 / Eds.: J. Henry, J.-P. Yvon. - London [et al.] : Springer, 1994. - XIX, 976 p. : Ill. - (Lecture notes in control and information sciences ; 197). - Bibliogr. at the end of the art
Перевод заглавия: Системное моделирование и оптимизация
ББК З 817в661.3я431 + З 965.92-01я431 + З 973.2-018я431
Рубрики: Сложные системы--Оптимизация
   Оптимизация--Автоматических систем--Теория

   Компьютеры--Программное обеспечение

Кл.слова (ненормированные):
дискретная оптимизация -- теория игр
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   Шифр см. у томов
   Pr1035


    International conference on software engineering.
    International conference on software engineering : переводное издание. - Los Alamitos [et al.] : IEEE computer soc. press, 19 - . - Пер. изд. : Международная конференция по технике программного обеспечения. -
ББК З 973.2-018я431
Рубрики: Компьютеры--Программное обеспечение
Дескрипторы: сб пр

Свободных экз. нет

   З 97
   А47
З 97 / А47-02


    Алексеев, Владимир Евтихиевич.
    Практикум по программированию [БЭЙСИК, ФОРТРАН IV] : [практ. пособие для вузов] / В.Е. Алексеев, А.С. Ваулин. - 2-е изд., перераб. и доп. - М. : Высш. шк., 1993. - 207 с. : ил. - (Электронные вычислительные машины : в 8-ми кн. ; кн.7). - Библиогр.: с. 206
Авт. на обл. не указаны
ББК З 973.2-018я73
Рубрики: Компьютеры--Программное обеспечение
Дескрипторы: многот


Доп.точки доступа:
Ваулин, Анатолий Сергеевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   З 973.2
   У643
З 973.2 / У643-02


    Уоррен, Г. С. (мл.).
    Алгоритмические трюки для программистов : [пер. с англ.] / Генри Уоррен, мл. - 2-е изд. - Москва [и др.] : Вильямс, 2014. - 508 с. : ил. ; 25 см. - Предм. указ.: с. 506-508. - Библиогр.: с. 500-505. - Пер. изд. : Hacker's delight / H. S. Warren. - 1500 экз.. -
ГРНТИ
УДК
ББК З 973.2-018
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
теория программирования


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

   И-В17
   M61
И-В17 / M61-02


   
    Meta-heuristics optimization algorithms in engineering, business, economics, and finance / [ed. by] P. Vasant. - Hershey : Information science reference, 2013. - 708 p. : ill. - (Premier reference source). - Bibliogr. at the end of the chapters. - Ind.: p. 705-708
Перевод заглавия: Алгоритмы мета-эвристической оптимизации в технологии, бизнесе, экономике и финансах
ГРНТИ
ББК В173.1 + З 973.2-018
Рубрики: Эвристическое программирование
   Компьютеры--Программное обеспечение


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

Доп.точки доступа:
Vasant, Pandian \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   И-З 973.2
   E50
И-З 973.2 / E50-02


   
    Emerging free and open source software practices / ed.: S. K. Sowe, I. G. Styamelos, I. M. Samoladas. - Hershey ; New York : IGI publ., 2008. - XIV,288 p. : ill. - Bibliogr. at the end of the chapters. - Ind.: p. 286-288
Перевод заглавия: Новые практики по свободному и открытому программному обеспечению
ГРНТИ
ББК З 973.2-018
Рубрики: Компьютеры--Программное обеспечение

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

Доп.точки доступа:
Sowe, Sulayman K. \ed.\; Styamelos, Ioannis G. \ed.\; Samoladas, Ioannis M. \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   Pr1090
   Pr1090/2003-02
Pr1090/2003-02 / Pr1090/2003-02-02


    Ablayev, Farid.
    On comparative computation power of classical and quantum branching programs : сборник / F. Ablayev. - Bonn : [s. n.], 2003. - 22 p. - (Preprint series : max-Planck-Inst. fur Mathematik ; 2003-02). - Bibliogr.: p. 21-22. -
ББК З 973.2-018
Рубрики: Компьютеры--Программное обеспечение
Дескрипторы: моногр -- сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   И-З 97
   F88
И-З 97 / F88-02


    Freeman, Peter.
    Software reusability : tutorial / P. Freeman. - Washington : IEEE Computer society press, 1987. - VI, 297 p. : Ill. - Bibliogr. at the end of the art
Перевод заглавия: Сборник перепечаток из изданий ИИЭР по возможностям использования программного обеспечения в других условиях. 1987
ББК З 973.2-018я43
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
многократно используемые компоненты программного обеспечения
Дескрипторы: сб

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   И-З 97
   I.69
И-З 97 / I.69-02


    International workshop on rapid system prototyping (2; 1991; USA).
    The second International workshop on rapid system prototyping : Shortening the path from specification to prototype. Proceedings, Research Triangle park, N. C., USA, June 11-13, 1991 / Ed. Nick Kanapoulos. - Los Alamitos [et al.] : IEEE computer society press, 1992. - VIII, 201 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 201
Перевод заглавия: Труды 2-го международного семинара по системам ускоренного макетирования
ББК З 973.2-018я431
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
операционные системы -- спецификации -- макетирование
Дескрипторы: конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   И-З 97
   M69
И-З 97 / M69-02


   
    Milestones in software evolution : [Tutorial] / Ed. by Paul W. Oman, Ted G. Lewis. - Los Alamitos [et al.] : IEEE Computer society press, 1990. - VIII, 317 p. : Ill. - Bibliogr. at the end of the art.
- Ind.: p. 311-317
Перевод заглавия: Контрольные рубежи в развитии программного обеспечения
ББК З 973.2-018я43
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
программирование
Дескрипторы: сб


Доп.точки доступа:
Oman, Paul W. \ed.\; Lewis, Ted G. \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   И-З 97
   S98
И-З 97 / S98-02


   
    System and software requirements engineering / Ed. by R. H. Thayer, M. Dorfman. Forew. by R. T. Yeh. - Los Alamitos [et al.] : IEEE Computer society press, 1990. - XVI,719 p. : Ill. - (IEEE Computer society press tutorial). - Bibliogr. at the end of the art.
; p. 683-695. - Ind.: p. 697-718
Перевод заглавия: Техника описаний требований к системам и программному обеспечению
ББК З 973.2-018я43
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
ресурс программного обеспечения -- верификация -- макетирование
Дескрипторы: сб


Доп.точки доступа:
Thayer, R.H. \ed.\; Dorfman, M. \ed.\; Yeh, R.T. \авт. предисл.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   И-З 973.2
   S75
И-З 973.2 / S75-02


    Soukup, Jiri.
    Serialization and persistent objects : turing data structures into efficient databases / J. Soukup, P. Machacek. - Heidelberg [et al.] : Springer, 2014. - XVIII,263 p. : ill. - Bibliogr.: p. 257-259. - Ind.: p. 261-263
Перевод заглавия: Сериализация и постоянные объекты
ГРНТИ
ББК З 973.2-018
Рубрики: Компьютеры--Программное обеспечение

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

Доп.точки доступа:
Machacek, Petr
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   И-З 97
   P47
И-З 97 / P47-02 ВМИ


   
    Perspectives of system informatics : A. Ershov 3rd Intern. conf. 6-9 July 1999, Novosibirsk, Akademgorodok, Russia / Organized by A.P. Ershov inst. of informatics systems. - Novosibirsk : [s. n.], 1999. - IX,384 p. - Bibliogr. at the end of the art.
- Auth. ind. at the end of the book
Перевод заглавия: Перспективы систем информатики
ББК З 973.2-018я431
Рубрики: Компьютеры--Программное обеспечение
Дескрипторы: конф.м

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)

   И-З 973.2
   P47
И-З 973.2 / P47-02 ВМИ


   
    Perspectives of system informatics : Andrei Ershov Fourth intern. conf., 2-6 July 2001, Novosibirsk, Russia. - Novosibirsk : A.P. Erhov Institute of informatics systems, 2001. - IX,286 p. : Ill. - Bibliogr. at the end of the art
Перевод заглавия: Перспективы систем информатики
ББК З 973.2-018я431
Рубрики: Компьютеры--Программное обеспечение
Дескрипторы: конф

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)

   Pr1082
   Pr1082/108
Pr1082/108 / Pr1082/108-02 ВМИ


    Ferm, L.
    Open boundary conditions for external flow problems : сборник / L. Ferm. - Uppsala : Uppsala univ., 1987. - 29 p. - (Report / Uppsala. Universitet. Department of computer science ; № 108)
Bibliogr.: p. 29
Перевод заглавия: Открытые граничные условия для проблем внешнего потока
ББК З 973.2-018
Рубрики: Компьютеры--Программное обеспечение
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)

   З 973.2
   М292
З 973.2 / М292-02


    Мартин, Роберт.
    Чистый код. Создание, анализ и рефакторинг : [пер. с англ.] / Роберт Мартин. - Санкт-Петербург [и др.] : Питер, 2011. - 464 с. : ил. ; 23 см. - (Библиотека программиста). - Алф. указ.: с. 459-464. - Пер. изд. : Clean code: a handbook of agile software craftsmanship / R. C. Martin. - 1000 экз.. -
ГРНТИ
УДК
ББК З 973.2-018
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
Компьютеры персональные - Программирование


Доп.точки доступа:
Martin, R. C.
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   З 973.2
   Е805
З 973.2 / Е805-02 ВМИ


    Ершовская конференция по информатике (2011 ; Новосибирск).
    Ершовская конференция по информатике, 2011 : рабочий семинар "Наукоемкое программное обеспечение", 27 июня-11 июля 2011 г., Академгородок, Новосибирск, Россия : труды НПО 2011 / отв. ред. А. Г. Марчук. - Новосибирск : [б. и.], 2011. - 292, iii с. : ил. - (PSI conference series). - Библиогр. в конце ст. -
ГРНТИ
ББК З 973.2я431
Рубрики: Компьютеры--Программное обеспечение

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

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

   Шифр см. у томов
   Pr1097


    Oxford. University. Computing laboratory. Programming research group.
    Technical monograph. - Oxford : [s. n.], 19 -
Перевод заглавия: Вычислительная лаборатория Оксфордского университета. Группа исследований в области программирования. Технические монографии
ББК В173.1я54(4Вл) + З 973.2-018я54(4Вл)
Рубрики: Математическое программирование
   Компьютеры--Программное обеспечение

Дескрипторы: сб пр

Свободных экз. нет

   Pr1097
   Pr1097/122
Pr1097/122 / Pr1097/122-02 ВМИ


    Curtis, Sharon.
    A relational approach to optimization problems / S. Curtis. - Oxford : [s. n.], 1996. - V,137 p. : Ill. - (Technical monograph / Oxford. University, Computing laboratory. Programming research group ; PRG-122). - Bibliogr.: p. 130-137
Перевод заглавия: Реляционный подход к проблемам оптимизации
ББК З 973.2-018 + В173.3 + В173.1
Рубрики: Компьютеры--Программное обеспечение
   Динамическое программирование

   Комбинаторная оптимизация

Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)