Отображение 421 - 440 результаты of 1,413 для поиска 'computers programming (languages OR language)', время запроса: 0.15сек. Отмена результатов
  1. 421
    Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002 Ithaca, NY, USA, September 9вЂ"13, 2002 Proceedings /
    по Hentenryck, Pascal
    Публикация 2006
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 422
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 423
    Multiparadigm Programming in Mozart Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
    по Van Roy, Peter
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 424
    Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... for the Prolog Factor Language -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns -- Fast...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 425
    Hands-on data science for marketing improve your marketing strategies with machine learning using Python and R
    по Hwang, Yoon Hyup
    Публикация 2019
    Предметы: “...Python (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 426
    Theoretical Aspects of Computing вЂ" ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    по Jones, Cliff B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 427
    Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    по Adi, Asaf
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 428
    Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Computer Science 155490...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 429
    Exploring Robotics with ROBOTIS Systems
    по Thai, Chi N.
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... -- Wireless Communications Programming -- Advanced Sensors -- Embedded C Options -- ROBOTIS-MINI System. ....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 430
    Transitioning to Swift
    по Gardner, Scott
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Programming Languages, Compilers, Interpreters. 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 431
    Statistics for linguistics with R a practical introduction
    по Gries, Stefan Thomas, 1970-
    Публикация 2021
    Предметы: “...R (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 432
    Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 433
    Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Programming Languages, Compilers, Interpreters. 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 434
    Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...The state of computational morphology.- A case study in tagging case in German -- Jabalin: a...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 435
    Abstraction, Refinement and Proof for Probabilistic Systems
    по McIver, Annabelle
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 436
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    по Rocca, Simona Ronchi
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 437
    Concrete Semantics With Isabelle/HOL /
    по Nipkow, Tobias, Klein, Gerwin
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 438
    R for Cloud Computing An Approach for Data Scientists /
    по Ohri, A.
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Introduction -- An Approach for Data Scientists -- Navigating the Choices in R and Cloud Computing...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 439
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 440
    Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “.... Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток