Отображение 181 - 200 результаты of 318 для поиска '"Software Engineering/Programming and Operating Systems."', время запроса: 0.09сек. Отмена результатов
  1. 181
    Adapting Proofs-as-Programs The Curry-Howard Protocol /
    по Poernomo, Iman Hafiz
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 182
    Optimized ASIP Synthesis from Architecture Description Language Models
    по Schliebusch, Oliver
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 183
    Software Process Modeling
    по Acuna, Silvia T.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 184
    A Software Process Model Handbook for Incorporating People's Capabilities
    по Acuna, Silvia T.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 185
    High Performance Computing вЂ" HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings /
    по Aluru, Srinivas
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 186
    High Performance Computing Г» HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
    по Bader, David A.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 187
    Guide to Advanced Empirical Software Engineering
    по Shull, Forrest
    Опубликовано в: Springer e-books (2008)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 188
    Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Software Engineering/Programming and Operating Systems. 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 189
    NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Software Engineering/Programming and Operating Systems. 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 190
    NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Software Engineering/Programming and Operating Systems. 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 191
    eScience on Distributed Computing Infrastructure Achievements of PLGrid Plus Domain-Specific Services and Tools /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Software Engineering/Programming and Operating Systems. 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 192
    Interconnect-Centric Design for Advanced SoC and NoC
    по Nurmi, Jari
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 193
    Project E-Society: Building Bricks 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11-13, 2006, Turku, Finland /
    по Suomi, Reima
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 194
    Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 195
    Design Patterns for e-Science
    по Gardner, Henry
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 196
    Concise Guide to Databases A Practical Introduction /
    по Lake, Peter, Crowther, Paul
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Software Engineering/Programming and Operating Systems. 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 197
    Countdown to a Moon Launch Preparing Apollo for Its Historic Journey /
    по Ward, Jonathan H.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Software Engineering/Programming and Operating Systems. 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 198
    Compiling Esterel
    по Potop-Butucaru, Dumitru
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 199
    Supply Chain Management on Demand Strategies, Technologies, Applications /
    по An, Chae
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 200
    From Specification to Embedded Systems Application
    по Rammig, Franz J.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software Engineering/Programming and Operating Systems 303115...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток