Отображение 181 - 200 результаты of 2,055 для поиска '"programs"', время запроса: 0.05сек. Отмена результатов
  1. 181
    Inconsistency Tolerance
    по Bertossi, Leopoldo
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  2. 182
    Computing Meaning
    по Bunt, Harry
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  3. 183
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
    по Abdallah, Ali E.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  4. 184
    Practical Aspects of Declarative Languages (vol. # 3350) 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
    по Cabeza, Daniel
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  5. 185
    Software Reliability Modeling Fundamentals and Applications /
    по Yamada, Shigeru
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  6. 186
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  7. 187
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  8. 188
    CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  9. 189
    Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  10. 190
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 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)
    Предметы: “...Programming Languages, Compilers, Interpreters....”
    Полный текст
    Электронная книга
  11. 191
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  12. 192
    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)....”
    Полный текст
    Электронная книга
  13. 193
    Mathematical Statistics and Limit Theorems Festschrift in Honour of Paul Deheuvels /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  14. 194
    Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  15. 195
    Sampling Algorithms
    по Tillé, Yves
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  16. 196
    Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    по Crnkovic, Ivica
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  17. 197
    Temporal Logic and State Systems
    по Kröger, Fred
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  18. 198
    Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  19. 199
    CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  20. 200
    Modeling Financial Time Series with S-PLUSВ®
    по Zivot, Eric
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток