Showing 41 - 60 results of 253 for search '"Theory of Computation."', query time: 0.03s Refine Results
  1. 41
    Energy Time Series Forecasting Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domain /
    by Dannecker, Lars
    Published in Springer eBooks (2015)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 42
    Constraint Solving and Planning with Picat
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 43
    Quantum Walks and Search Algorithms
    by Portugal, Renato
    Published in Springer eBooks (2013)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 44
    Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 45
    High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
    Published in Springer e-books (2005)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 46
    High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
    Published in Springer e-books (2007)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 47
    High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /
    Published in Springer eBooks (2008)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 48
    Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
    by Reisig, Wolfgang
    Published in Springer eBooks (2013)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 49
    Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 50
    Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems /
    by Wagner, Christian
    Published in Springer eBooks (2014)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 51
    Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 52
    The Calculus of Computation Decision Procedures with Applications to Verification /
    by Bradley, Aaron R.
    Published in Springer e-books (2007)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 53
    Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 /
    by Broy, Manfred
    Published in Springer e-books (2005)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 54
    Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 55
    Computation Engineering Applied Automata Theory and Logic /
    by Gopalakrishnan, Ganesh
    Published in Springer e-books (2006)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 56
    Self-Organizing Natural Intelligence Issues of Knowing, Meaning, and Complexity /
    by Estep, Myrna
    Published in Springer e-books (2006)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 57
    CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 58
    Analyzing Evolutionary Algorithms The Computer Science Perspective /
    by Jansen, Thomas
    Published in Springer eBooks (2013)
    Subjects: “...Theory of Computation. 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 59
    Logics of Specification Languages
    by Bjørner, Dines
    Published in Springer eBooks (2008)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 60
    Coordination of Large-Scale Multiagent Systems
    by Scerri, Paul
    Published in Springer e-books (2006)
    Subjects: “...Theory of Computation 303507...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed