Отображение 561 - 580 результаты of 1,843 для поиска '"Software Engineering"', время запроса: 0.07сек. Отмена результатов
  1. 561
    Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
    по Mossakowski, Till
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  2. 562
    Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
    по Pfenning, Frank
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  3. 563
    Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
    по Hierons, Robert M.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  4. 564
    Web Component Development with Zope 3
    по Weitershausen, Philipp
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  5. 565
    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)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  6. 566
    Distributed Services with OpenAFS for Enterprise and Education /
    по Milicchio, Franco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  7. 567
    Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings /
    по Cousot, Patrick
    Публикация 2006
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  8. 568
    Ruby on Rails for PHP and Java Developers
    по Vohra, Deepak
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  9. 569
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    по Comon-Lundh, Hubert
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  10. 570
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    по Nielson, Hanne Riis
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  11. 571
    Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
    по Bozapalidis, Symeon
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  12. 572
    Effective IT Service Management To ITIL and Beyond! /
    по Addy, Rob
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  13. 573
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  14. 574
    Requirements Management The Interface Between Requirements Development and All Other Systems Engineering Processes /
    по Hood, Colin
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  15. 575
    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)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  16. 576
    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)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  17. 577
    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)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  18. 578
    Principles of Distributed Systems (vol. # 3974) 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper
    по Anderson, James H.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  19. 579
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    по Furbach, Ulrich
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  20. 580
    Principles of Distributed Systems (vol. # 3544) 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
    по Higashino, Teruo
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток