Отображение 161 - 180 результаты of 2,055 для поиска '"programs"', время запроса: 0.07сек. Отмена результатов
  1. 161
    Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  2. 162
    Learning Regression Analysis by Simulation
    по Takezawa, Kunio
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  3. 163
    Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  4. 164
    Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  5. 165
    New Ecoinformatics Tools in Environmental Science Applications and Decision-making /
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  6. 166
    Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday /
    по Aguzzoli, Stefano
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  7. 167
    Introduction to Modern Portfolio Optimization With NUOPT and S-PLUS
    по Scherer, Bernd
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  8. 168
    International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
    по Arbab, Farhad
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  9. 169
    Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
    по Cate, Balder D.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  10. 170
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers /
    по Cortesi, Agostino
    Публикация 2006
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 171
    Windows 95 for busy people The book to use when there's no time to lose!
    по Mansfield, Ron
    Публикация 1977
    Предметы: “...computer programs....”
    Книга
  12. 172
    Statistical Methods for Ranking Data
    по Alvo, Mayer, Yu, Philip L.H
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  13. 173
    Analyzing Discourse and Text Complexity for Learning and Collaborating A Cognitive Approach Based on Natural Language Processing /
    по Dascălu, Mihai
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Translators (Computer programs)....”
    Полный текст
    Электронная книга
  14. 174
    ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  15. 175
    Distributed Programming Theory and Practice /
    по Shankar, A. Udaya
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Programming Techniques....”
    Полный текст
    Электронная книга
  16. 176
    Swift OS X Programming for Absolute Beginners
    по Wang, Wallace
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer programming....”
    Полный текст
    Электронная книга
  17. 177
    Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer programming....”
    Полный текст
    Электронная книга
  18. 178
    Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer programming....”
    Полный текст
    Электронная книга
  19. 179
    Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer programming....”
    Полный текст
    Электронная книга
  20. 180
    An R and S-PLUSВ® Companion to Multivariate Analysis
    по Everitt, Brian Sidney
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток