Suggested Topics within your search.
Showing 1 - 20 results of 37 for search '"Programacion"', query time: 0.03s Refine Results
  1. 1
    A method of programming /

    A method of programming / by Dijkstra, Edsger Wybe, 1930-2002

    Published 1988
    Subjects: “…Computación-programación.…”
    Book
  2. 2
    Implementation of functional languages /

    Implementation of functional languages /

    Published 1997
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  3. 3
    Cálculo de programas /

    Cálculo de programas / by Blanco, Javier Oscar, 1968-

    Published 2008
    Subjects:
    Book
  4. 4
    Programming : the derivation of algorithms /

    Programming : the derivation of algorithms / by Kaldewaij, Anne

    Published 1990
    Subjects:
    Book
  5. 5
    Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /

    Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /

    Published 1995
    Subjects:
    Conference Proceeding Book
  6. 6
    CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /

    CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  7. 7
    CONCUR -1997 : Concurrency theory /

    CONCUR -1997 : Concurrency theory /

    Published 1997
    Subjects:
    Conference Proceeding Book
  8. 8
    Extensions of the UNITY methodology : compositionality, fairness and probability in parallelism /

    Extensions of the UNITY methodology : compositionality, fairness and probability in parallelism / by Rao, Josyula Ramachandra, 1962-

    Published 1995
    Subjects: “…Programación paralela.…”
    Book
  9. 9
    Verification of sequential and concurrent programs /

    Verification of sequential and concurrent programs / by Apt, Krzysztof R., 1949-

    Published 2009
    Subjects:
    Book
  10. 10
    The B-book : assigning programs to meanings /

    The B-book : assigning programs to meanings / by Abrial, Jean-Raymond, 1938-

    Published 1996
    Subjects:
    Publisher description
    Table of contents
    Book
  11. 11
    Design concepts in programming languages /

    Design concepts in programming languages / by Turbak, Franklyn Albin

    Published 2008
    Subjects: “…Lenguajes de programación.…”
    Table of contents only
    Book
  12. 12
    Programming languages and systems-ESOP'96 /

    Programming languages and systems-ESOP'96 /

    Published 1996
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  13. 13
    CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /

    CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /

    Published 2007
    Subjects:
    Conference Proceeding eBook
  14. 14
    Applied semantics /

    Applied semantics /

    Published 2002
    Subjects: “…Lenguajes de programación.…”
    Conference Proceeding Book
  15. 15
    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
  16. 16
    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
  17. 17
    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
  18. 18
    KORSO : methods, languages and tools for the construction of correct software. Final Report /

    KORSO : methods, languages and tools for the construction of correct software. Final Report /

    Published 1995
    Subjects:
    Book
  19. 19
    Typed lambda calculi and applications /

    Typed lambda calculi and applications /

    Published 1995
    Subjects:
    Conference Proceeding Book
  20. 20
    CONCUR - 1994 : Concurrency theory /

    CONCUR - 1994 : Concurrency theory /

    Published 1994
    Subjects:
    Conference Proceeding Book

Search Tools: