Showing 1 - 20 results of 79 for search '"theoretical computer science"', query time: 0.06s Refine Results
  1. 1
    Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Theoretical Computer Science (vol. # 3895) Essays in Memory of Shimon Even
    by Goldreich, Oded
    Published in Springer e-books (2006)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Theoretical Computer Science (vol. # 3701) 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
    by Coppo, Mario
    Published in Springer e-books (2005)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
    by Arvind, V.
    Published in Springer e-books (2007)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
    by Ramanujam, R.
    Published in Springer e-books (2005)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 6
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
    by Arun-Kumar, S.
    Published in Springer e-books (2006)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 7
    Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23вЂ"24, 2006, Santiago, Chile /
    by Navarro, Gonzalo
    Published in Springer e-books (2006)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 8
    Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008
    by Ausiello, Giorgio
    Published in Springer eBooks (2008)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 9
    Complexity Theory and Cryptology An Introduction to Cryptocomplexity /
    by Rothe, Jörg
    Published in Springer e-books (2005)
    “...Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 10
    Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing /
    by Bandyopadhyay, Subir
    Published in Springer e-books (2008)
    “...Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 11
    Finite Model Theory and Its Applications
    by Grädel, Erich
    Published in Springer e-books (2007)
    “...Texts in Theoretical Computer Science an EATCS Series,...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 12
    Abstract Computing Machines A Lambda Calculus Perspective /
    by Kluge, W.
    Published in Springer e-books (2005)
    “...Texts in Theoretical Computer Science, An EATCS Series...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 13
    Software Engineering 1 Abstraction and Modelling /
    by Bjørner, Dines
    Published in Springer e-books (2006)
    “...Texts in Theoretical Computer Science an EATCS Series,...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 14
    Software Engineering 2 Specification of Systems and Languages /
    by Bjørner, Dines
    Published in Springer e-books (2006)
    “...Texts in Theoretical Computer Science An EATCS Series...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 15
    Software Engineering 3 Domains, Requirements, and Software Design /
    by Bjørner, Dines
    Published in Springer e-books (2006)
    “...Texts in Theoretical Computer Science An EATC Series...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 16
    Grammatical picture generation a tree-based approach
    by Drewes, Frank
    Published 2006
    “...Texts in theoretical computer science an EATCS series...”
    Перейти в каталог НБ ТГУ
    Software eBook
  17. 17
    Grammatical Picture Generation A Tree-Based Approach
    by Drewes, Frank
    Published in Springer e-books (2006)
    “...Texts in Theoretical Computer Science An EATC Series...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 18
    Petri Net Synthesis
    “...Texts in Theoretical Computer Science. An EATCS Series,...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 19
    Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information /
    by Cicalese, Ferdinando
    Published in Springer eBooks (2013)
    “...Monographs in Theoretical Computer Science. An EATCS Series,...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 20
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
    by Kurki-Suonio, Reino
    Published in Springer e-books (2005)
    “...Texts in Theoretical Computer Science An EATCS Series...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed