Библиотека Российской академии наук (БАН)

Базы данных


Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:ЭК отдела БАН при Главной (Пулковской) астрономической обсерватории РАН (ГАО) (1)ЭК сектора БАН при Социологическом институте РАН (СИРАН) (6)
Формат представления найденных документов:
полныйкраткийкарточка БАН
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Программирование<.>)
Общее количество найденных документов : 21
Показаны документы с 1 по 10
 1-10    11-21   21-21 
1.II 2020л/280

Bohl, Marilyn .
A guide for programmers / Marilyn Bohl. - Englewood Cliffs (NJ) : Prentice-Hall, cop. 1978. - VIII, 216 с. : ил., табл. ; 24 см. - Библиогр. в конце глав. - Указ.: с. 211-216 ISBN 0-13-370551-X . - ISBN 0-13-370544-7
Перевод заглавия: Справочник программиста
ББК З973.2-018я2
Рубрики: Программирование
Найти похожие


2.II 2021л/71

Pinson, Lewis J. .
An introduction to object-oriented programming and Smalltalk / Lewis J. Pinson, Richard S. Wiener. - Reading (MA) [etc.] : Addison-Wesley publishing company, cop. 1988. - XXVI, 502 с. : ил. ; 24 см. - Библиогр.: с. 495. - Указ.: с. 496-502. - ISBN 0-201-19127-X.
Перевод заглавия: Введение в объектно-ориентированное программирование
ББК З973.23-018
Рубрики: Программирование
Доп.точки доступа: Wiener, Richard S. (1941-)
Найти похожие


3.II 19551, 4112)

Duregård, Jonas .
Automating black-box property based testing / Jonas Duregård. - Göteborg : Chalmers university of technology, 2016. - VIII, 147 c. : ил., табл. ; 25 см. - (Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, ISSN 0346-718X ; 4112). - Библиогр. в конце глав. - ISBN 978-91-7597-431-6.
Вложен доп. тит. л. дис.
Перевод заглавия: Автоматизация тестирования программ с помощью черного ящика.
ББК З973.2-018
Рубрики: Программирование
Найти похожие


4.II 18415, 78, 5)

Cloud computing, 2011: [papers based on WMSC09 - The 1st International workshop on workflow management in service and cloud computing held in Chengdu, China in August 10-12, 2009, and WMSC10 - The 2nd International workshop on workflow management in service and cloud computing held in Hong Kong, China in December 11-13, 2010] / guest editors: Jinjun Chen and Lizhe Wang. Learning theory, 2009 : [conference proceedings] / guest editor: Alexander Rakhlin. - Amsterdam [etc.] : Elsevier, 2012. - C. 1279-1670 : ил. ; 27 см. - (Journal of computer and system sciences, ISSN 0022-0000 ; vol. 78, iss. 5. Special issue). - Библиогр. в конце ст.
Опис. по обл. Без тит. л.
Перевод заглавия: Глобальный компьютинг 2011. 1 междунродный семинар. Китай, 10-12 августа 2009.
ББК З973.2-018я431(0)
Рубрики: Программирование
Доп.точки доступа: Chen, Jinjun; Wang, Lizhe; Rakhlin, Alexander; International workshop on workflow management in service and cloud computing (1 ; 2009 ; Chengdu, China); International workshop on workflow management in service and cloud computing (2 ; 2010 ; Hong Kong, China)
Найти похожие


5.II 2018м/36

Zometa, Juan Pablo Menendez (1980-).
Code generation for model predictive control of embedded systems : Dissertation ... Otto-von-Guericke-Universität Magdeburg / von Juan Pablo Menendez Zometa. - Magdeburg : [s. n.], 2017. - XII, 124 c. : ил. ; 31 см. - Рез. нем. - Библиогр.: с. 107-117
Перевод заглавия: Генерация программы для модельного прогнозируемого управления встроенными системами
ББК З973.2-018
Рубрики: Программирование
Найти похожие


6.II 2021л/55
ИТА

Maurer, Hermann A. (1941-).
Data structures and programming techniques / Hermann A. Maurer ; translated by Camille C. Price. - Englewood Cliffs (NJ) : Prentice Hall, cop. 1977. - X, 228 с. : ил. ; 24 см. - На экз. ИТА авт.: на тит. л. Herman [т.е. Hermann] A. Maurer ; на обл. Herman [т.е. Hermann] H. [т.е. A.] Maurer. - Библиогр.: с. 217-220. - Указ.: с. 223-228. - Загл. ориг. :Datenstrukturen und Programmierverfahren. - ISBN 0-13-197038-0.
Перевод заглавия: Структуры данных и техника программирования
ББК З973.2-018
Рубрики: Программирование
Доп.точки доступа: Maurer, Herman [!] A.; Maurer, Herman [!] H. [!]; Price, Camille C.
Найти похожие


7.II 24337, 197)

Suenson, Espen .
How computer programmers work : understanding software development in practice: thesis ... Åbo akademi university / Espen Suenson. - Turku : Turku centre for computer science, 2015. - 291 c. ; 25 см. - (TUCS dissertations, ISSN 1239-1883 ; № 197). - Рез. швед., фин. - Библиогр.: с. 259-272. - ISBN 978-952-12-3225-1.
Перевод заглавия: Как работают компьютерные прграммисты. Понимание разработок программ на практике.
ББК З973.2-018
Рубрики: Программирование
Найти похожие


8.II 19551, 3587)

Mellegård, Niklas .
Improving defect management in automotive software development : liDeC - a light-weight defect classification scheme / Niklas Mellegård. - Göteborg : Chalmers university of technology, 2013. - VIII, 230 c. : ил., табл. ; 25 см. - (Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, ISSN 0346-718X ; 3587). - Библиогр. в конце глав. - ISBN 978-91-7385-906-6.
Вложен доп. тит. л. дис.
Перевод заглавия: Усовершенствование управления дефектами при автоматизированной разработке программного обеспечения. Облегченная схема классификации дефектов
ББК З973.2-018
Рубрики: Программирование
Найти похожие


9.II 2021л/133
ИТА

Conway, Richard Walter .
Introduction to structured programming, using PL/I and SP/k / Richard Conway, David Gries, David B. Wortman. - Cambridge (MA) : Winthrop, 1977. - XVI, 535 c. : ил. ; 24 см. - (Winthrop computer systems series). - Библиогр. в конце глав. - Указ.: с. 525-535. - ISBN 0-87626-412-7.
Перевод заглавия: Введение в структурированное программирование с использованием PL/1 и SP/k.
ББК З973.2-018
Рубрики: Программирование
Доп.точки доступа: Gries, David; Wortman, David B
Найти похожие


10.II 2021л/106

Bowles, Kenneth L. (1929-).
Microcomputer : problem solving using PASCAL / Kenneth L. Bowles. - New York [etc.] : Springer, 1977. - 563, [6] c. : ил. ; 24 см. - Указ.: с. 550-554. - ISBN 0-387-90286-4.
Перевод заглавия: Микрокомпьюер: задачи, решаемые с помощью PASCAL
ББК З973.2-018.1
Рубрики: Программирование
Найти похожие


 1-10    11-21   21-21