Materias dentro de su búsqueda.
Mostrando 21 - 40 Resultados de 136 Para Buscar '"Theoretical Computer Science"', tiempo de consulta: 0.19s Limitar resultados
  1. 21
    SPAA 2003 : Fifteenth Annual ACM Symposium on Parallel Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA
    Publicado 2003
    Libro
  2. 22
    Foundations of information technology in the era of network and mobile computing
    Publicado 2002
    Libro
  3. 23
    Symmetry Measures on Complex Networks
    Publicado 2017
    Materias:
    Libro electrónico
  4. 24
    Polynomial and matrix computations
    por Bini, Dario
    Publicado 1994
    “…Progress in Theoretical Computer Science…”
    Libro
  5. 25
    Nondeterminism in algebraic specifications and algebraic programs
    por Hussman, Heinrich
    Publicado 1993
    “…Progress in Theoretical Computer Science…”
    Libro
  6. 26
    Linear programming
    por Karloff, Howard
    Publicado 1991
    “…Progress in Theoretical Computer Science…”
    Libro
  7. 27
    Computational learning theory : an introduction
    por Anthony, Martin
    Publicado 1992
    “…Cambridge Tracts in Theoretical Computer Science…”
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca Universitat Ramon Llull, Universidad Loyola - Universidad Loyola Granada)
    Libro
  8. 28
    Temporal logic of programs
    por Kröger, Fred, 1945-
    Publicado 1987
    “…EATCS Monographs on Theoretical Computer Science…”
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca Universitat Ramon Llull)
    Libro
  9. 29
    Data refinement : model-oriented proof methods and their comparison
    Publicado 1998
    “…Cambridge tracts in theoretical computer science…”
    Libro
  10. 30
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  11. 31
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  12. 32
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  13. 33
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  14. 34
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  15. 35
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  16. 36
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  17. 37
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  18. 38
    Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  19. 39
    High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  20. 40
    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico

Herramientas de búsqueda: