Отображение 1 - 20 результаты of 253 для поиска '"Theory of Computation."', время запроса: 0.05сек. Отмена результатов
  1. 1
    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 /
    по Navarro, Gonzalo
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Theory of Computation 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 2
    Algoritmi Lo spirito dell’informatica /
    по Harel, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Theory of Computation 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 3
    Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information /
    по Cicalese, Ferdinando
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 4
    Natural Computing 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings /
    по Suzuki, Y.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Theory of Computation 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Higher-Order Computability
    по Longley, John, Normann, Dag
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 6
    Bridging Constraint Satisfaction and Boolean Satisfiability
    по Petke, Justyna
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 7
    SAT 2005 Satisfiability Research in the Year 2005 /
    по Giunchiglia, Enrico
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Theory of Computation 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 8
    Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 9
    Super-Recursive Algorithms
    по Burgin, Mark
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Theory of Computation 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 10
    Robust Intelligent Systems
    по Schuster, Alfons
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Theory of Computation 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 11
    Words and Graphs
    по Kitaev, Sergey, Lozin, Vadim
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 12
    Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 13
    Augmented Marked Graphs
    по Cheung, King Sing
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 14
    People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 /
    по Lipton, Richard J., Regan, Kenneth W.
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 15
    Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /
    по Bramer, Max
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Theory of Computation 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 16
    Concurrent Zero-Knowledge With Additional Background by Oded Goldreich /
    по Rosen, Alon
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Theory of Computation 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 17
    Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 18
    Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 19
    Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 20
    Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Theory of Computation. 303507...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток