Showing 661 - 680 results of 1,851 for search '"Software engineering."', query time: 0.06s Refine Results
  1. 661
    Coordination Models and Languages (vol. # 3454) 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
    by Jacquet, Jean-Marie
    Published in Springer e-books (2005)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 662
    Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    by Bernardo, Marco
    Published in Springer e-books (2005)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 663
    Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /
    by Bernardo, Marco
    Published in Springer e-books (2007)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 664
    Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 665
    Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
    by Dunne, Steve
    Published in Springer e-books (2006)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 666
    Python Scripting for Computational Science
    by Langtangen, Hans Petter
    Published in Springer e-books (2006)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 667
    Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
    by Bravetti, Mario
    Published in Springer e-books (2006)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 668
    Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    by Bernardo, Marco
    Published in Springer e-books (2006)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 669
    Python Scripting for Computational Science
    by Langtangen, Hans Petter
    Published in Springer eBooks (2008)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 670
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    by Jones, Cliff B.
    Published in Springer e-books (2007)
    Subjects: “...Software engineering 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 671
    Introduction to Cryptography with Maple
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 672
    Using Event-B for Critical Device Software Systems
    by Singh, Neeraj Kumar
    Published in Springer eBooks (2013)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 673
    Web Information Systems Engineering - WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II /
    Published in Springer eBooks (2013)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 674
    Web Information Systems Engineering - WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I /
    Published in Springer eBooks (2013)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 675
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 676
    Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 677
    Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 678
    Socio-technical Design of Ubiquitous Computing Systems
    Published in Springer eBooks (2014)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 679
    Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 680
    Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
    Published in Springer eBooks (2014)
    Subjects: “...Software engineering. 566225...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed