Suggested Topics within your search.
Showing 41 - 60 results of 121 for search '"Programación"', query time: 0.04s Refine Results
  1. 41
    Programming languages and systems-ESOP'96 /

    Programming languages and systems-ESOP'96 /

    Published 1996
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  2. 42
    Mobile object systems : towards the programmable internet /

    Mobile object systems : towards the programmable internet /

    Published 1997
    Subjects:
    Conference Proceeding Book
  3. 43
    Applied semantics /

    Applied semantics /

    Published 2002
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  4. 44
    Object technologies for advanced software /

    Object technologies for advanced software /

    Published 1996
    Subjects: “…Programación-Técnicas.…”
    Conference Proceeding Book
  5. 45
    Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings /

    Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings /

    Published 1995
    Subjects:
    Conference Proceeding Book
  6. 46
    Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

    Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  7. 47
    FME'96 : industrial benefit and advances in formal methods /

    FME'96 : industrial benefit and advances in formal methods /

    Published 1996
    Subjects: “…Programación-Técnicas.…”
    Conference Proceeding Book
  8. 48
    Deductive and object-oriented databases /

    Deductive and object-oriented databases /

    Published 1997
    Subjects:
    Conference Proceeding Book
  9. 49
    Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

    Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  10. 50
    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
  11. 51
    Advanced functional programming /

    Advanced functional programming /

    Published 1995
    Subjects: “…Programación aplicativa.…”
    Conference Proceeding Book
  12. 52
    Applications of computational algebraic geometry : American Mathematical Society short course, January 6-7, 1997, San Diego, California /

    Applications of computational algebraic geometry : American Mathematical Society short course, January 6-7, 1997, San Diego, California /

    Published 1998
    Subjects:
    Conference Proceeding Book
  13. 53
    Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /

    Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Bra...

    Published 2007
    Subjects:
    Unedited summary from book
    Table of contents only
    Publisher description
    Conference Proceeding Book
  14. 54
    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
  15. 55
    Typed lambda calculi and applications /

    Typed lambda calculi and applications /

    Published 1995
    Subjects:
    Conference Proceeding Book
  16. 56
    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Published 1996
    Subjects: “…Programación aplicativa.…”
    Conference Proceeding Book
  17. 57
    Non-monotonic extensions of logic programming /

    Non-monotonic extensions of logic programming /

    Published 1997
    Subjects:
    Conference Proceeding Book
  18. 58
    Japan-United States seminar on ordinary differential and functional equations /

    Japan-United States seminar on ordinary differential and functional equations /

    Published 1971
    Subjects:
    Conference Proceeding Book
  19. 59
    Communication and architectural support for network-based parallel computing /

    Communication and architectural support for network-based parallel computing /

    Published 1997
    Subjects:
    Conference Proceeding Book
  20. 60
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1996
    Subjects: “…Semántica de lenguajes de programación.…”
    Conference Proceeding Book

Search Tools: