Suggested Topics within your search.
Showing 1,201 - 1,220 results of 1,474 for search '"Programación"', query time: 0.05s Refine Results
  1. 1201
    Conditional and typed rewriting systems : Proceedings /

    Conditional and typed rewriting systems : Proceedings /

    Published 1995
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  2. 1202
    CONCUR - 1994 : Concurrency theory /

    CONCUR - 1994 : Concurrency theory /

    Published 1994
    Subjects:
    Conference Proceeding Book
  3. 1203
    Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings /

    Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings /

    Published 1996
    Subjects:
    Book
  4. 1204
    Computational methods in optimization : a unifield approach /

    Computational methods in optimization : a unifield approach / by Polak, Elijah, 1931-

    Published 1971
    Subjects:
    Book
  5. 1205
    Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /

    Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /

    Published 1996
    Subjects: “…Programación aplicativa.…”
    Conference Proceeding Book
  6. 1206
    Métodos cuantitativos para la toma de decisiones. Programación lineal. Material de apoyo con enfoque práctico

    Métodos cuantitativos para la toma de decisiones. Programación lineal. Material de apoyo con enfoque práctico by Funes, Mariana

    Published 2022
    Subjects:
    Get full text
    book
  7. 1207
    Análisis del desempeño de algoritmos aplicados a la selección de monedas sobre Bitcoin

    Análisis del desempeño de algoritmos aplicados a la selección de monedas sobre Bitcoin by Álvarez Vallero, César

    Published 2023
    Subjects:
    Get full text
    bachelorThesis
  8. 1208
    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Published 1996
    Subjects:
    Book
  9. 1209
    Static analysis /

    Static analysis /

    Published 1996
    Subjects: “…Programación-Técnicas.…”
    Conference Proceeding Book
  10. 1210
    Costo y tiempo en edificación.

    Costo y tiempo en edificación. by Suárez Salazar, Carlos

    Published 1969
    Subjects: “…Programación de obras…”
    Book
  11. 1211
    Técnicas cuantitativas : el management científico aplicado a las decisiones en la economía de empresas /

    Técnicas cuantitativas : el management científico aplicado a las decisiones en la economía de empresas /

    Published 1998
    Subjects:
    Book
  12. 1212
    Investigación operativa : material de estudio para trabajos prácticos /

    Investigación operativa : material de estudio para trabajos prácticos /

    Published 2010
    Subjects:
    Book
  13. 1213
    Desarrollo económico /

    Desarrollo económico / by Robock, Stefan H. (Stefan Hyman), 1915-2012

    Published 1967
    Subjects:
    Book
  14. 1214
    Simulation modeling and analysis /

    Simulation modeling and analysis / by Law, Averill M

    Published 1991
    Subjects:
    Book
  15. 1215
    Economic dynamics : phase diagrams and their economic application /

    Economic dynamics : phase diagrams and their economic application / by Shone, Ronald, 1946-

    Published 1997
    Subjects:
    Book
  16. 1216
    Una base de Datos estadísticos, su implementación y aplicaciones

    Una base de Datos estadísticos, su implementación y aplicaciones by Grubisic, Elena María

    Published 1984
    Subjects:
    Book
  17. 1217
    The object of data abstraction and structures using JAVA /

    The object of data abstraction and structures using JAVA / by Riley, David D., 1951-

    Published 2003
    Subjects:
    Book
  18. 1218
    Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /

    Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / by Bertot, Yves, 1964-

    Published 2010
    Subjects:
    Book
  19. 1219
    Type-driven development with Idris /

    Type-driven development with Idris / by Brady, Edwin

    Published 2017
    Subjects:
    Book
  20. 1220
    Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /

    Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /

    Published 1995
    Subjects:
    Book

Search Tools: