Suggested Topics within your search.
Showing 1 - 19 results of 19 for search '"Programación"', query time: 0.04s Refine Results
  1. 1
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1996
    Subjects: “…Programación automática.…”
    Conference Proceeding Book
  2. 2
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1997
    Subjects:
    Conference Proceeding Book
  3. 3
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1996
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  4. 4
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1997
    Subjects: “…Programación-Técnicas.…”
    Conference Proceeding Book
  5. 5
    Programming languages and systems-ESOP'96 /

    Programming languages and systems-ESOP'96 /

    Published 1996
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  6. 6
    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Published 1995
    Subjects:
    Conference Proceeding Book
  7. 7
    Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /

    Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /

    Published 1997
    Subjects:
    Conference Proceeding Book
  8. 8
    Conditional and typed rewriting systems : Proceedings /

    Conditional and typed rewriting systems : Proceedings /

    Published 1995
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  9. 9
    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /

    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /

    Published 1997
    Subjects: “…Programación-Técnicas.…”
    Conference Proceeding Book
  10. 10
    SOFSEM'95 : theory and practice /

    SOFSEM'95 : theory and practice /

    Published 1995
    Subjects: “…Programación-Técnicas.…”
    Conference Proceeding Book
  11. 11
    Algebraic and logic programming /

    Algebraic and logic programming /

    Published 1994
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  12. 12
    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Published 1997
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  13. 13
    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Published 2009
    Subjects:
    Conference Proceeding Book
  14. 14
    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /

    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of...

    Published 2009
    Subjects:
    Conference Proceeding Book
  15. 15
    Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

    Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

    Published 1995
    Subjects: “…Programación-Técnicas.…”
    Conference Proceeding Book
  16. 16
    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  17. 17
    Mathematical foundations of computer science /

    Mathematical foundations of computer science /

    Published 1996
    Subjects:
    Conference Proceeding Book
  18. 18
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1995
    Subjects:
    Conference Proceeding Book
  19. 19
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1996
    Subjects:
    Conference Proceeding Book

Search Tools: