Отображение 1 - 20 результаты of 1,413 для поиска 'computers programming (languages OR language)', время запроса: 0.11сек. Отмена результатов
  1. 1
    Опубликовано в: Springer eBooks (2015)
    Предметы: ...Programming languages (Electronic computers). 459680...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 2
    Опубликовано в: Springer eBooks (2013)
    Оглавление: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 3
    по Lee, Kent
    Опубликовано в: Springer eBooks (2008)
    Предметы: ...Programming Languages, Compilers, Interpreters 303287...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 4
    Опубликовано в: Springer eBooks (2014)
    Оглавление: ... and theoretical foundations -- Program analysis and verification -- Programming language design and implementation....
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Опубликовано в: Springer eBooks (2015)
    Оглавление: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 6
    Опубликовано в: Springer eBooks (2015)
    Оглавление: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 7
    Опубликовано в: Springer eBooks (2013)
    Оглавление: ...Algorithms, complexity and games -- Logic, semantics, automata and theory of programming...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 8
    Опубликовано в: Springer eBooks (2013)
    Оглавление: ...Algorithms, complexity and games -- Logic, semantics, automata and theory of programming...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 9
    Опубликовано в: Springer eBooks (2014)
    Оглавление: ... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 10
    Опубликовано в: Springer eBooks (2014)
    Оглавление: ... of Regular Infinitary Trace Languages -- Unary Pushdown Automata and Straight-Line Programs -- Robustness...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 11
    по Arge, Lars
    Опубликовано в: Springer e-books (2007)
    Предметы: ...Computational complexity 304814...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 12
    Опубликовано в: Springer eBooks (2008)
    Предметы: ...Computational complexity 304814...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 13
    Опубликовано в: Springer eBooks (2008)
    Предметы: ...Computational complexity 304814...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 14
    по Lightfoot, David
    Опубликовано в: Springer e-books (2006)
    Предметы: ...Programming Languages, Compilers, Interpreters 303287...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 15
    Опубликовано в: Springer eBooks (2015)
    Предметы: ...Programming languages (Electronic computers). 459680...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 16
    по Lee, Kent D.
    Опубликовано в: Springer eBooks (2014)
    Оглавление: ...Introduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 17
    Опубликовано в: Springer eBooks (2014)
    Оглавление: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 18
    Опубликовано в: Springer eBooks (2013)
    Оглавление: ... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 19
    по Shao, Zhong
    Опубликовано в: Springer e-books (2007)
    Предметы: ...Programming Languages, Compilers, Interpreters 303287...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 20
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: ...Programming Languages, Compilers, Interpreters 303287...
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток