Отображение 501 - 520 результаты of 1,843 для поиска '"Software Engineering"', время запроса: 0.05сек. Отмена результатов
  1. 501
    Model Driven Engineering Languages and Systems (vol. # 4199) 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
    по Nierstrasz, Oscar
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  2. 502
    Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    по Cavalcanti, Ana
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  3. 503
    Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
    по Maragria, Tiziana
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  4. 504
    Value-Based Software Engineering
    по Biffl, Stefan
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  5. 505
    Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    по Leue, Stefan
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  6. 506
    Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings
    по Pěchouček, Michal
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  7. 507
    Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
    по Gramlich, Bernhard
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  8. 508
    Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    по Bonsangue, Marcello M.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  9. 509
    Software Quality - ECSQ 2002 Quality Connection - European Conference on Software Quality Helsinki, Finland, June 9-13, 2002 Proceedings /
    по Kontio, Jyrki
    Публикация 2006
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  10. 510
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
    по Beckert, Bernhard
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  11. 511
    Formal Modeling and Analysis of Timed Systems (vol. # 4202) 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    по Asarin, Eugene
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  12. 512
    Formal Modeling and Analysis of Timed Systems (vol. # 3829) Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
    по Pettersson, Paul
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  13. 513
    Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V
    по Hermanns, Holger
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  14. 514
    Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers
    по Bruel, Jean-Michel
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  15. 515
    Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed
    по Halbwachs, Nicolas
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  16. 516
    Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
    по Barley, Michael Wayne
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering...”
    Полный текст
    Электронная книга
  17. 517
    Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Software engineering....”
    Полный текст
    Электронная книга
  18. 518
    Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Software engineering....”
    Полный текст
    Электронная книга
  19. 519
    Secure and Trustworthy Service Composition The Aniketos Approach /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Software engineering....”
    Полный текст
    Электронная книга
  20. 520
    Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Software engineering....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток