Отображение 1 - 20 результаты of 1,413 для поиска 'computers programming (languages OR language)', время запроса: 0.11сек. Отмена результатов
  1. 1
    Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 2
    Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 3
    Programming Languages An Active Learning Approach /
    по Lee, Kent
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 4
    Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... and theoretical foundations -- Program analysis and verification -- Programming language design and implementation....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 6
    Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 7
    Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Algorithms, complexity and games -- Logic, semantics, automata and theory of programming...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 8
    Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Algorithms, complexity and games -- Logic, semantics, automata and theory of programming...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 9
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 10
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... of Regular Infinitary Trace Languages -- Unary Pushdown Automata and Straight-Line Programs -- Robustness...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 11
    Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /
    по Arge, Lars
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Computational complexity 304814...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 12
    Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Computational complexity 304814...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 13
    Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Computational complexity 304814...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 14
    Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings
    по Lightfoot, David
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 15
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 16
    Foundations of Programming Languages
    по Lee, Kent D.
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Introduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 17
    Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 18
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 19
    Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
    по Shao, Zhong
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 20
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток