Отображение 61 - 80 результаты of 2,055 для поиска '"programs"', время запроса: 0.06сек. Отмена результатов
  1. 61
    Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  2. 62
    In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Programming Languages, Compilers, Interpreters....”
    Полный текст
    Электронная книга
  3. 63
    Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  4. 64
    Logics and Falsifications A New Perspective on Constructivist Semantics /
    по Kapsner, Andreas
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Translators (Computer programs)....”
    Полный текст
    Электронная книга
  5. 65
    Analyzing Financial Data and Implementing Financial Models Using R
    по Ang, Clifford S.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  6. 66
    Excel 2013 for Business Statistics A Guide to Solving Practical Business Problems /
    по Quirk, Thomas J.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  7. 67
    Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
    по Ur, Shmuel
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  8. 68
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    по Henson, Martin
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  9. 69
    Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
    по Godefroid, Patrick
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  10. 70
    Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
    по Yorav, Karen
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 71
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    по Logozzo, Francesco
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  12. 72
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 73
    Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
    по Fiadeiro, José Luiz
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  14. 74
    Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
    по Bin, Eyal
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  15. 75
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
    по Krishnamurthi, Shriram
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  16. 76
    Unfoldings A Partial-Order Approach to Model Checking /
    по Esparza, Javier
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  17. 77
    Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
    по Dwyer, Matthew B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  18. 78
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    по Julliand, Jacques
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  19. 79
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    по Bošnacki, Dragan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  20. 80
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    по Cook, Byron
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток