Результаты поиска - "Models of Computation."

  1. 1
    Значок книги

    Models of computation : an introduction to computability theory / Maribel Fernández.

    Опубликовано 2009
    ‌

    Добавить в Избранное
    Сохранить в:
  2. 2
    Значок книги

    Stability Analysis and Controller Design of Local Model Networks by Christian Mayr. [electronic resource] /

    Опубликовано 2021
    ‌

    Добавить в Избранное
    Сохранить в:
  3. 3
    Значок книги

    Models of computation : an introduction to computability theory / Maribel Fernández.

    Опубликовано ©2009
    ‌

    Добавить в Избранное
    Сохранить в:
  4. 4
    Значок книги

    Unconventional models of computation, UMC'2K : proceedings of the second International Conference on Unconventional Models of Computation / I. Antoniou, C.S. Calude and M.J. Dinnee...

    Опубликовано c2001
    ‌

    Добавить в Избранное
    Сохранить в:
  5. 5
    Значок книги

    Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday / Susanne Albers, Helmut Alt, Stefan Näher (eds.).

    Опубликовано ©2009
    ‌

    Добавить в Избранное
    Сохранить в:
  6. 6
    Значок книги

    Black-box models of computation in cryptology / Tibor Jager.

    Опубликовано ©2012
    ‌

    Добавить в Избранное
    Сохранить в:
  7. 7
    Значок книги

    Models of computation and formal languages / R. Gregory Taylor.

    Опубликовано 1998
    ‌

    Добавить в Избранное
    Сохранить в:
  8. 8
    Значок книги

    Observer Design for Control and Fault Diagnosis of Boolean Networks by Zhihua Zhang. [electronic resource] /

    Опубликовано 2022
    ‌

    Добавить в Избранное
    Сохранить в:
  9. 9
    Значок книги

    Formal models of computation : the ultimate limits of computing / Arthur Fleck.

    Опубликовано c2001
    ‌

    Добавить в Избранное
    Сохранить в:
  10. 10
    Значок книги

    Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation

    Опубликовано 2004
    ‌

    Добавить в Избранное
    Сохранить в:
  11. 11
    Значок книги

    Models of Computation for Big Data by Rajendra Akerkar. [electronic resource] /

    Опубликовано 2018
    ‌

    Добавить в Избранное
    Сохранить в:
  12. 12
    Значок книги

    Data, Information, and Time The DIT Model / by Hermann Kopetz. [electronic resource] :

    Опубликовано 2022
    ‌

    Добавить в Избранное
    Сохранить в:
  13. 13
    Значок книги

    Tests and Proofs 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke. [electronic re...

    Опубликовано 2022
    ‌

    Добавить в Избранное
    Сохранить в:
  14. 14
    Значок книги

    Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings / edited by Marieke Huisman, Falk Howar. [electronic resource] :

    Опубликовано 2025
    ‌

    Добавить в Избранное
    Сохранить в:
  15. 15
    Значок книги

    Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu. [electronic resource] :

    Опубликовано 2023
    ‌

    Добавить в Избранное
    Сохранить в:
  16. 16
    Значок книги

    Interactive models of computation and program behavior / Pierre-Louis Curien [and others].

    Опубликовано 2009
    ‌

    Добавить в Избранное
    Сохранить в:
  17. 17
    Значок книги

    Modeling embedded systems and SoCs : concurrency and time in models of computation / Axel Jantsch.

    Опубликовано ©2004
    ‌

    Добавить в Избранное
    Сохранить в:
  18. 18
    Значок книги

    Modeling embedded systems and SoC's : concurrency and time in models of computation / Axel Jantsch.

    Опубликовано ©2004
    ‌

    Добавить в Избранное
    Сохранить в:
  19. 19
    Значок книги

    Unconventional models of computation / C.S. Calude, J. Casti, M.J. Dinneen (editors).

    Опубликовано ©1998
    ‌

    Добавить в Избранное
    Сохранить в:
  20. 20
    Значок книги

    Genetic Programming Theory and Practice XVIII edited by Wolfgang Banzhaf, Leonardo Trujillo, Stephan Winkler, Bill Worzel. [electronic resource] /

    Опубликовано 2022
    ‌

    Добавить в Избранное
    Сохранить в:

Инструменты поиска: