Showing 421 - 440 results of 1,851 for search '"Software engineering."', query time: 0.06s Refine Results
  1. 421
    Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
    by Kacprzyk, Janusz
    Published in Springer eBooks (2008)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    by Derrick, John
    Published in Springer e-books (2007)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 423
    Logics of Specification Languages
    by Bjørner, Dines
    Published in Springer eBooks (2008)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 424
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    by Leue, Stefan
    Published in Springer eBooks (2008)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Pěchouček, Michal
    Published in Springer e-books (2005)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Wang, Farn
    Published in Springer e-books (2005)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 427
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    by Romijn, Judi M. T.
    Published in Springer e-books (2005)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 428
    Formal Modeling and Analysis of Timed Systems (vol. # 3829) Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
    by Pettersson, Paul
    Published in Springer e-books (2005)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 429
    Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    by Crnkovic, Ivica
    Published in Springer e-books (2005)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Najm, Elie
    Published in Springer e-books (2006)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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 /
    by Suzuki, Kenji
    Published in Springer eBooks (2008)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 432
    Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
    by Maragria, Tiziana
    Published in Springer e-books (2006)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 433
    Coordination of Large-Scale Multiagent Systems
    by Scerri, Paul
    Published in Springer e-books (2006)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Gleizes, Marie-Pierre
    Published in Springer e-books (2005)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 435
    Advanced Environments, Tools, and Applications for Cluster Computing NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1вЂ"6, 2001 Revised Papers /
    by Grigoras, Dan
    Published 2006
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 436
    High Performance Computing 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15-17, 2002 Proceedings /
    by Zima, Hans P.
    Published 2006
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 437
    Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
    by Raskin, Jean-François
    Published in Springer e-books (2007)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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.
    by Butler, Michael
    Published in Springer e-books (2007)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  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
    by Brim, Lubos
    Published in Springer e-books (2007)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 440
    Recent Advances in Evolutionary Computation for Combinatorial Optimization
    by Kacprzyk, Janusz
    Published in Springer eBooks (2008)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed