Отображение 321 - 340 результаты of 2,055 для поиска '"programs"', время запроса: 0.07сек. Отмена результатов
  1. 321
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  2. 322
    25 Years of Model Checking History, Achievements, Perspectives /
    по Grumberg, Orna
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  3. 323
    Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
    по Sokolsky, Oleg
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  4. 324
    Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
    по Mossakowski, Till
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  5. 325
    Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
    по Pfenning, Frank
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  6. 326
    Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
    по Hierons, Robert M.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  7. 327
    Formal Approaches to Software Testing (vol. # 3997) 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
    по Grieskamp, Wolfgang
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  8. 328
    CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
    по Baier, Christel
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  9. 329
    Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings /
    по Cousot, Patrick
    Публикация 2006
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  10. 330
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    по Comon-Lundh, Hubert
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 331
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    по Nielson, Hanne Riis
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  12. 332
    Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
    по Bozapalidis, Symeon
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 333
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  14. 334
    Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
    по Hill, Patricia M.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  15. 335
    Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
    по Fiadeiro, José Luiz
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  16. 336
    Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    по Havelund, Klaus
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  17. 337
    Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    по Fiadeiro, José Luiz
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  18. 338
    Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
    по Etalle, Sandro
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  19. 339
    CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
    по Abadi, Martin
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  20. 340
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    по Furbach, Ulrich
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток