Отображение 421 - 440 результаты of 1,851 для поиска '"Software Engineering."', время запроса: 0.06сек. Отмена результатов
  1. 421
    Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
    по Kacprzyk, Janusz
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 422
    Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
    по Derrick, John
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 423
    Logics of Specification Languages
    по Bjørner, Dines
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 424
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    по Leue, Stefan
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 425
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 426
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
    по Wang, Farn
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 427
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    по Romijn, Judi M. T.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 428
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 429
    Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    по Crnkovic, Ivica
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 430
    Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
    по Najm, Elie
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 431
    Formal Techniques for Networked and Distributed Systems вЂ" FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
    по Suzuki, Kenji
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 432
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 433
    Coordination of Large-Scale Multiagent Systems
    по Scerri, Paul
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 434
    Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers
    по Gleizes, Marie-Pierre
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 435
    Advanced Environments, Tools, and Applications for Cluster Computing NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1вЂ"6, 2001 Revised Papers /
    по Grigoras, Dan
    Публикация 2006
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 436
    High Performance Computing 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15-17, 2002 Proceedings /
    по Zima, Hans P.
    Публикация 2006
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 437
    Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
    по Raskin, Jean-François
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 438
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
    по Butler, Michael
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 439
    Formal Methods Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
    по Brim, Lubos
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 440
    Recent Advances in Evolutionary Computation for Combinatorial Optimization
    по Kacprzyk, Janusz
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток