Showing 161 - 180 results of 1,294 for search '"Logic"', query time: 0.06s Refine Results
  1. 161
    High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /
    by Bosschere, Koen
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 162
    Transactions on High-Performance Embedded Architectures and Compilers I
    by Stenström, Per
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 163
    High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings /
    by Stenström, Per
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 164
    High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 165
    Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 166
    Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 167
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 168
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 169
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 170
    The Journal of symbolic logic (Online).
    Subjects: “...Logic, Symbolic and mathematical Periodicals. 268264...”
    View and search back issues via the JSTOR web site
    Перейти в каталог НБ ТГУ
    Journal
  11. 171
    Compressed Data Structures for Strings On Searching and Extracting Strings from Compressed Textual Data /
    by Venturini, Rossano
    Published in Springer eBooks (2014)
    Subjects: “...Arithmetic and Logic Structures. 307979...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 172
    A Theory of Distributed Objects Asynchrony вЂ" Mobility вЂ" Groups вЂ" Components /
    by Caromel, Denis
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 173
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    by Henson, Martin
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 174
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    by Julliand, Jacques
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 175
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
    by Krishnamurthi, Shriram
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 176
    Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 177
    Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 178
    Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning /
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 179
    Alfred Tarski Early Work in Poland-Geometry and Teaching /
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical. 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 180
    Combinatorial Algebra: Syntax and Semantics
    by Sapir, Mark V.
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical. 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed