Showing 601 - 620 results of 1,413 for search 'computers programming (languages OR language)', query time: 0.47s Refine Results
  1. 601
    Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “...Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 602
    Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 603
    Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 604
    The 2-tuple Linguistic Model Computing with Words in Decision Making /
    Table of Contents: “...Linguistic Decision Making and Computing with Words -- 2-tuple Linguistic Model -- Linguistic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 605
    Essential Renderman
    by Stephenson, Ian
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 606
    Computational Linguistics and Intelligent Text Processing (vol. # 3406) 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
    by Gelbukh, Alexander
    Published in Springer e-books (2005)
    Subjects: “...Translators (Computer programs) 306125...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 607
    Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
    by Hill, Patricia M.
    Published in Springer e-books (2006)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 608
    Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
    by Etalle, Sandro
    Published in Springer e-books (2005)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 609
    ATYPICAL ASP.NET CORE 6 DESIGN PATTERNS GUIDE - a solid adventure into architectural principles... and design patterns using .net 6, and c# 10.
    by MARCOTTE, CARL-HUGO
    Published 2022
    Subjects: “...C (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  10. 610
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    by Misra, Jayadev
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 611
    FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
    by Fitzgerald, John
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 612
    Design patterns and best practices in Java a comprehensive guide to building smart and reusable code in Java
    by Singh, Kamalmeet
    Published 2018
    Subjects: “...Java (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  13. 613
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    by Duparc, Jacques
    Published in Springer e-books (2007)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 614
    Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 615
    C# 10 and .NET 6 - modern cross-platform development build apps, websites, and services with ASP.NET Core 6, Blazor, and EF Core 6 using Visual Studio 2022 and Visual Studio Code
    by Price, Mark J., 1963-
    Published 2021
    Subjects: “...C (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  16. 616
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    by Cuellar, Jorge
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 617
    Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 618
    Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... oriented architectures, business processes, and cloud computing -- Design and verification methods...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 619
    Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “...Probabilistic modal specifications -- Orchestration -- Super-dense computation in verification...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 620
    Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed