Отображение 481 - 500 результаты of 2,055 для поиска '"programs"', время запроса: 0.06сек. Отмена результатов
  1. 481
    Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  2. 482
    Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings /
    по Sawyer, Pete
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  3. 483
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    по Jones, Cliff B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  4. 484
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    по Duparc, Jacques
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  5. 485
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    по Dershowitz, Nachum
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  6. 486
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    по Schneider, Klaus
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  7. 487
    Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  8. 488
    Automotive Software- Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
    по Broy, Manfred
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  9. 489
    Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    по Ball, Thomas
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  10. 490
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 491
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  12. 492
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    по Damm, Werner
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 493
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    по Edelkamp, Stefan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  14. 494
    Static Analysis (vol. # 4134) 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    по Yi, Kwangkeun
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  15. 495
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  16. 496
    Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings /
    по Hentenryck, Pascal
    Публикация 2006
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  17. 497
    Object-Oriented Technology ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18-22, 2001 Proceedings /
    по Frohner, Ákos
    Публикация 2006
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  18. 498
    Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  19. 499
    Computer Science Logic (vol. # 4207) 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
    по Ésik, Zoltán
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  20. 500
    Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    по Ong, Luke
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток