Отображение 201 - 220 результаты of 2,055 для поиска '"programs"', время запроса: 0.06сек. Отмена результатов
  1. 201
    Immersive Audio Signal Processing
    по Gallager, Robert
    Опубликовано в: Springer eBooks (2006)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  2. 202
    Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  3. 203
    The Art of Semiparametrics
    по Sperlich, Stefan
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  4. 204
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
    по Butler, Michael
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  5. 205
    CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings /
    по Caires, Luís
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  6. 206
    Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
    по Suzuki, Kenji
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  7. 207
    Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
    по Najm, Elie
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  8. 208
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    по Puebla, Germán
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  9. 209
    Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
    по Derrick, John
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  10. 210
    Logics of Specification Languages
    по Bjørner, Dines
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 211
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
    по Wang, Farn
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  12. 212
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    по Romijn, Judi M. T.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 213
    Practical Aspects of Declarative Languages (vol. # 3819) 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
    по Van Hentenryck, Pascal
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  14. 214
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
    по Urzyczyn, Paweł
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  15. 215
    Softwars the legal battles for control of the global software industry
    по Clapes, Anthony Lawrence
    Публикация 1993
    Предметы: “...Copyright Computer programs....”
    Книга
  16. 216
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  17. 217
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  18. 218
    Beginning Data Science with R
    по Pathak, Manas A.
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  19. 219
    Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Programming Languages, Compilers, Interpreters....”
    Полный текст
    Электронная книга
  20. 220
    Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток