Suggested Topics within your search.
Showing 1 - 20 results of 53 for search '"significado"', query time: 0.07s Refine Results
  1. 1
    Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /

    Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /

    Published 1995
    Subjects:
    Conference Proceeding Book
  2. 2
    Applied semantics /

    Applied semantics /

    Published 2002
    Subjects:
    Conference Proceeding Book
  3. 3
    Higher-order algebra, logic and term rewriting /

    Higher-order algebra, logic and term rewriting /

    Published 1996
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book
  4. 4
    Automata implementation /

    Automata implementation /

    Published 1997
    Subjects:
    Conference Proceeding Book
  5. 5
    Implementation of functional languages /

    Implementation of functional languages /

    Published 1997
    Subjects:
    Conference Proceeding Book
  6. 6
    Logic foundations of computer science /

    Logic foundations of computer science /

    Published 1997
    Subjects:
    Conference Proceeding Book
  7. 7
    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
  8. 8
    Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /

    Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

    Published 2006
    Subjects:
    Conference Proceeding eBook
  9. 9
    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
  10. 10
    Typed lambda calculi and applications /

    Typed lambda calculi and applications /

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

    CONCUR - 1994 : Concurrency theory /

    Published 1994
    Subjects: “…Lógica y significado de programas…”
    Conference Proceeding Book
  12. 12
    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
  13. 13
    Tools and algorithms for the construction and analysis of systems /

    Tools and algorithms for the construction and analysis of systems /

    Published 1997
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book
  14. 14
    Tools and algorithms for the construction and analysis of systems /

    Tools and algorithms for the construction and analysis of systems /

    Published 1996
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book
  15. 15
    CONCUR - 2003 : Concurrency theory /

    CONCUR - 2003 : Concurrency theory /

    Published 2003
    Subjects: “…Lógica y significado de programas.…”
    Conference Proceeding Book
  16. 16
    Automata, languages and programming : 36th international Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings /

    Automata, languages and programming : 36th international Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings /

    Published 2009
    Subjects:
    Conference Proceeding Book
  17. 17
    Computer science logic /

    Computer science logic /

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

    CONCUR - 1995 : Concurrency theory : Proceedings /

    Published 1995
    Subjects:
    Conference Proceeding Book
  19. 19
    Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /

    Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures...

    Published 2009
    Subjects:
    Conference Proceeding Book
  20. 20
    Theory and practice of parallel programming /

    Theory and practice of parallel programming /

    Published 1995
    Subjects:
    Conference Proceeding Book

Search Tools: