Поисковый запрос: (<.>S=Программирование<.>) |
Общее количество найденных документов : 21
Показаны документы с 1 по 10 |
|
| 1. | 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.
Найти похожие
| |
| 2. | 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
Рубрики: Программирование
Найти похожие
| |
| 3. | 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
Рубрики: Программирование
Найти похожие
| |
| 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 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
Рубрики: Программирование
Найти похожие
| |
| 6. | II 24337, 181)
Ersfolk, Johan .
Scheduling dynamic dataflow graphs with model checking : thesis ... Åbo akademi university / Johan Ersfolk. - Turku : Turku centre for computer science, 2014. - 1 т. разд. паг. : ил., табл. ; 25 см. - (TUCS dissertations, ISSN 1239-1883 ; № 181). - Библиогр. в конце глав. - ISBN 978-952-12-3090-5.
Перевод заглавия: Расписание графов динамических потоков данных с модельной проверкой.
ББК З973.2-018
Рубрики: Программирование
Найти похожие
| |
| 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, 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
Рубрики: Программирование
Найти похожие
| |
| 9. | II 2021л/56
Welsh, Jim (1943-).
Structured system programming / by Jim Welsh and Michael McKeag. - Englewood Cliffs (NJ) [etc.] : Prentice-Hall international, cop. 1980. - XII, 324 с. ; 24 см. - (Prentice-Hall international series in computer science). - Библиогр.: с. 317. - Указ.: с. 319-324. - ISBN 0-13-854562-6.
Перевод заглавия: Структурированная система программирования
ББК З973.2-018
Рубрики: Программирование
Доп.точки доступа: McKeag, R. Michael
Найти похожие
| |
| 10. | II 2021л/58
Reynolds, John C. (1935-).
The craft of programming / John C. Reynolds. - Englewood Cliffs (NJ) [etc.] : Prentice-Hall international, cop. 1981. - XIII, 434, [1] с. : ил. ; 24 см. - (Prentice-Hall international series in computer science). - Библиогр.: с. 421-427. - Указ.: с. 428-434. - ISBN 0-13-188862-5.
Перевод заглавия: Искусство программирования
ББК З973.2-018
Рубрики: Программирование
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК