Showing 801 - 820 results of 1,413 for search 'computers programming (languages OR language)', query time: 0.17s Refine Results
  1. 801
    Transactions on Aspect-Oriented Software Development IV
    by Rashid, Awais
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 802
    Transactions on Aspect-Oriented Software Development III
    by Rashid, Awais
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 803
    Transactions on Aspect-Oriented Software Development II Focus: AOP Systems, Software and Middleware
    by Rashid, Awais
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 804
    Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /
    by Moreira, Ana
    Published in Springer eBooks (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 805
    NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 806
    NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 807
    Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... and outputs -- Complexity Information Flow in a Multi-threaded Imperative Language -- An Incremental Algorithm...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 808
    Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... dimension of corona products -- On the Complexity of Computing Two Nonlinearity Measures -- Model Checking...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 809
    Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “...Computability -- complexity -- algorithms -- present current research....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 810
    Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 811
    Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
    by Barthe, Gilles
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 812
    Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings /
    by Meier, René
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 813
    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: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 814
    Principles of the Spin Model Checker
    by Ben-Ari, Mordechai
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 815
    Hands-On Artificial Intelligence for Search Building Intelligent Applications and Perform Enterprise Searches
    by Patel, Devangini
    Published 2018
    Subjects: “...Python (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  16. 816
    KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, OsnabrГјck, Germany, September 10-13, 2007. Proceedings /
    by Hertzberg, Joachim
    Published in Springer e-books (2007)
    Subjects: “...Translators (Computer programs) 306125...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 817
    Coordination of Large-Scale Multiagent Systems
    by Scerri, Paul
    Published in Springer e-books (2006)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 818
    Distributed Applications and Interoperable Systems (vol. # 3543) 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    by Kutvonen, Lea
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 819
    Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
    by Indulska, Jadwiga
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 820
    Distributed Applications and Interoperable Systems (vol. # 4025) 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006
    by Eliassen, Frank
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed