Отображение 381 - 400 результаты of 1,413 для поиска 'computers programming (languages OR language)', время запроса: 0.15сек. Отмена результатов
  1. 381
    Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 382
    Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 383
    Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 384
    Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
    по Kramer, Stefan
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Computer Science 155490...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 385
    Programming Logics Essays in Memory of Harald Ganzinger /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 386
    Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 387
    Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Components as Location Graphs -- A Formal Approach to Autonomic Systems Programming: The SCEL...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 388
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 389
    Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
    по Horváth, Zoltán
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 390
    Language Production, Cognition, and the Lexicon
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... T. Maybury -- Part I.Michael Zock and Cognitive Natural Language Processing -- Towards a Cognitive Natural...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 391
    Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /
    по Muggleton, Stephen
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Computer Science 155490...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 392
    Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers). 459680...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 393
    Learning geospatial analysis with Python perform GIS processing tasks and remote sensing data analysis using Python 3.7
    по Lawhead, Joel
    Публикация 2019
    Предметы: “...Python (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 394
    Hands-On Data Analysis with Pandas A Python Data Science Handbook for Data Collection, Wrangling, Analysis, and Visualization
    по Molin, Stefanie
    Публикация 2021
    Предметы: “...Python (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 395
    TIME SERIES ANALYSIS WITH PYTHON COOKBOOK practical recipes for exploratory data analysis, data preparation, forecasting, and model evaluation
    по Atwan, Tarek A.
    Публикация 2022
    Предметы: “...Python (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 396
    Hands-on data analysis with Pandas efficiently perform data collection, wrangling, analysis, and visualization using Python
    по Molin, Stefanie
    Публикация 2019
    Предметы: “...Python (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 397
    Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings /
    по Kedad, Zoubida
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Computer Communication Networks 566243...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 398
    Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Computer Science. 155490...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 399
    Guide to Programming and Algorithms Using R
    по Ergül, Özgür
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Introduction -- Loops -- Recursions -- Complexity of Programs and Algorithms -- Accuracy Issues...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 400
    Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
    по Baral, Chitta
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Computer Science 155490...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток