Materias dentro de su búsqueda.
Mostrando 101 - 120 Resultados de 136 Para Buscar '"Theoretical Computer Science"', tiempo de consulta: 0.10s Limitar resultados
  1. 101
    Functional and logic programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
    Publicado 2010
    “…LNCS sublibrary. SL 1, Theoretical computer science and general issues…”
    Libro electrónico
  2. 102
    Models in software engineering : workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers
    Publicado 2010
    “…LNCS sublibrary. SL 1, Theoretical computer science and general issues…”
    Libro electrónico
  3. 103
    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010 ; Madrid, Spain, January 17-19, 2010 ; proceedings
    Publicado 2010
    “…LNCS sublibrary. SL 1, Theoretical computer science and general issues…”
    Libro electrónico
  4. 104
    Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings
    Publicado 2011
    “…LNCS sublibrary. SL 1, Theoretical computer science and general issues…”
    Libro electrónico
  5. 105
    Automata, languages, and programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990 : proceedings
    Publicado 1990
    Libro
  6. 106
    Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings
    Publicado 1994
    Libro
  7. 107
    Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
    Publicado 1993
    Libro
  8. 108
    Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
    Publicado 1997
    Libro
  9. 109
    Understanding Z : a specification language and its fromal semantics
    por Spivey, J.M
    Publicado 1989
    Libro
  10. 110
    Proofs and types
    Libro
  11. 111
    A unifying framework for structured analysis and design models, an approach using initial algebra semantics and category theory
    por Tse, T.H
    Publicado 1991
    Libro
  12. 112
    Theoretical foundations of VLSI design
    Publicado 1990
    Universidad Loyola - Universidad Loyola Granada (Otras Fuentes: Biblioteca de la Universidad de Navarra)
    Libro
  13. 113
    SPAA 2002 : Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
    Publicado 2002
    Libro
  14. 114
    SPAA '96 : 8th Annual ACM Symposium on Parallel Algorithms and Architectures, June 24-26, 1996, Padua, Italy
    Publicado 1996
    Libro
  15. 115
    SPAA '97 : 9th Annual ACM Symposium on Parallel Algorithms and Architectures, June 22-25, 1997, Newport, Rhode Island, USA
    Publicado 1997
    Libro
  16. 116
    SPAA '99 : Eleventh Annual ACM Symposium on Parallel Algorithms and Architectures, June 27-30, 1999, Saint-Malo, France
    Publicado 1999
    Libro
  17. 117
    SPAA 2000 : Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures, July 9-12, 2000, Bar Harbor, Maine
    Publicado 2000
    Libro
  18. 118
    SPAA '95 : 7th Annual ACM Symposium on Parallel Algorithms and Architectures, July 17-19, 1995, Santa Barbara, California
    Publicado 1995
    Libro
  19. 119
    SPAA 2001 : Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, July 3-6, 2001, Crete Island, Greece
    Publicado 2001
    Libro
  20. 120
    Proceedings of the 33rd Computational Complexity Conference
    Publicado 2018
    “…The conference is organized by the Computational Complexity Foundation in cooperation with the European Association for Theoretical Computer Science (EATCS) and the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT). …”
    Libro electrónico

Herramientas de búsqueda: