Suggested Topics within your search.
Showing 1 - 20 results of 51 for search '"Lecture notes in computer science,"', query time: 0.14s Refine Results
  1. 1
    Reasoning with logic programming /

    Reasoning with logic programming / by Alferes, José Júlio, 1966-

    Published 1996
    “…Lecture notes in computer science ;…”
    Book
  2. 2
    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
    “…Lecture notes in computer science,…”
    Conference Proceeding eBook
  3. 3
    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
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  4. 4
    Conditional and typed rewriting systems : Proceedings /

    Conditional and typed rewriting systems : Proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  5. 5
    Algebraic and logic programming /

    Algebraic and logic programming /

    Published 1994
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  6. 6
    Applied semantics /

    Applied semantics /

    Published 2002
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  7. 7
    CONCUR - 2003 : Concurrency theory /

    CONCUR - 2003 : Concurrency theory /

    Published 2003
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  8. 8
    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
    “…Lecture notes in computer science…”
    Unedited summary from book
    Table of contents only
    Publisher description
    Conference Proceeding Book
  9. 9
    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
    “…Lecture notes in computer science,…”
    Conference Proceeding Book
  10. 10
    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
    “…Lecture notes in computer science ;…”
    Conference Proceeding eBook
  11. 11
    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
    “…Lecture notes in computer science,…”
    Conference Proceeding Book
  12. 12
    Symbolic and algebraic computation /

    Symbolic and algebraic computation /

    Published 1989
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  13. 13
    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Published 2013
    “…Lecture notes in computer science ;…”
    Book
  14. 14
    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
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  15. 15
    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
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  16. 16
    CONCUR - 1995 : Concurrency theory : Proceedings /

    CONCUR - 1995 : Concurrency theory : Proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  17. 17
    Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /

    Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  18. 18
    Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /

    Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /

    Published 1995
    “…Lecture notes in computer science ;…”
    Book
  19. 19
    CONCUR - 1994 : Concurrency theory /

    CONCUR - 1994 : Concurrency theory /

    Published 1994
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  20. 20
    Reliable software technologies - ADA-Europe'97 /

    Reliable software technologies - ADA-Europe'97 /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book

Search Tools: