Suggested Topics within your search.
Showing 1 - 18 results of 18 for search '"Herramienta"', query time: 0.04s Refine Results
  1. 1
    Tecnologías apropiadas, memorias del I Encuentro del Mercosur ampliado : maquinarias y herramientas para la agricultura familiar /

    Tecnologías apropiadas, memorias del I Encuentro del Mercosur ampliado : maquinarias y herramientas para la agricultura familiar /

    Published 2011
    Subjects:
    Conference Proceeding Book
  2. 2
    Advanced functional programming /

    Advanced functional programming /

    Published 1995
    Subjects:
    Conference Proceeding Book
  3. 3
    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:
    Conference Proceeding Book
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. : Proceedings /

    Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice...

    Published 2009
    Subjects:
    Conference Proceeding Book
  5. 5
    Tools and algorithms for the construction and analysis of systems /

    Tools and algorithms for the construction and analysis of systems /

    Published 1997
    Subjects:
    Conference Proceeding Book
  6. 6
    Tools and algorithms for the construction and analysis of systems /

    Tools and algorithms for the construction and analysis of systems /

    Published 1996
    Subjects:
    Conference Proceeding Book
  7. 7
    Parallel symbolic languages and systems /

    Parallel symbolic languages and systems /

    Published 1996
    Subjects:
    Conference Proceeding Book
  8. 8
    Graph drawing /

    Graph drawing /

    Published 1997
    Subjects:
    Conference Proceeding Book
  9. 9
    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Published 2007
    Subjects:
    Conference Proceeding Book
  10. 10
    Graph drawing : Symposium on Graph Drawing, GD ’95, Passau, Germany, September 20-22, 1995 : proceedings /

    Graph drawing : Symposium on Graph Drawing, GD ’95, Passau, Germany, September 20-22, 1995 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  11. 11
    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Published 2008
    Subjects:
    Conference Proceeding Book
  12. 12
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1996
    Subjects:
    Conference Proceeding Book
  13. 13
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1995
    Subjects:
    Conference Proceeding Book
  14. 14
    Human-computer interaction : 5th international conference , EWHCI ’95, Moscow, Russia, July 3-7, 1995 : selected papers /

    Human-computer interaction : 5th international conference , EWHCI ’95, Moscow, Russia, July 3-7, 1995 : selected papers /

    Published 1995
    Subjects: “…Ingeniería de software-Herramientas y técnicas.…”
    Conference Proceeding Book
  15. 15
    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:
    Conference Proceeding Book
  16. 16
    Computer aided verification : proceedindings /

    Computer aided verification : proceedindings /

    Published 1997
    Subjects:
    Conference Proceeding Book
  17. 17
    Computer aided verification /

    Computer aided verification /

    Published 1996
    Subjects:
    Conference Proceeding Book
  18. 18
    OOER'95 : object-oriented and entity-relationship modeling /

    OOER'95 : object-oriented and entity-relationship modeling /

    Published 1995
    Subjects:
    Conference Proceeding Book

Search Tools: