Suggested Topics within your search.
Showing 1 - 12 results of 12 for search '"Programación"', query time: 0.04s Refine Results
  1. 1
    Rewriting techniques and applications /

    Rewriting techniques and applications /

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

    Rewriting techniques and applications /

    Published 1996
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  3. 3
    Programming languages and systems-ESOP'96 /

    Programming languages and systems-ESOP'96 /

    Published 1996
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  4. 4
    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
  5. 5
    Conditional and typed rewriting systems : Proceedings /

    Conditional and typed rewriting systems : Proceedings /

    Published 1995
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  6. 6
    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
  7. 7
    SOFSEM'95 : theory and practice /

    SOFSEM'95 : theory and practice /

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

    Algebraic and logic programming /

    Published 1994
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  9. 9
    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
  10. 10
    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
  11. 11
    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
  12. 12
    Mathematical foundations of computer science /

    Mathematical foundations of computer science /

    Published 1996
    Subjects:
    Conference Proceeding Book

Search Tools: