Отображение 541 - 560 результаты of 1,851 для поиска '"Software engineering."', время запроса: 0.07сек. Отмена результатов
  1. 541
    25 Years of Model Checking History, Achievements, Perspectives /
    по Grumberg, Orna
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 542
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 543
    Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
    по Hendren, Laurie
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 544
    The Common Component Modeling Example Comparing Software Component Models /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 545
    Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /
    по Cousot, Patrick
    Публикация 2006
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 546
    Software Product Lines
    по Käköla, Timo
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 547
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    по Reps, Thomas
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 548
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 549
    Value-Based Software Engineering
    по Biffl, Stefan
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 550
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 551
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 552
    Design and Use of Serious Games
    по Tzafestas, Professor S. G.
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 553
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 554
    Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
    по Fiadeiro, José Luiz
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 555
    Formal Approaches to Software Testing (vol. # 3395) 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
    по Grabowski, Jens
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 556
    Principles of Distributed Systems (vol. # 4305) 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings
    по Shvartsman, Alexander A.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 557
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 558
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 559
    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 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 560
    Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
    по Aalst, Will
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Software engineering 566225...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток