Suggested Topics within your search.
Showing 1 - 20 results of 55 for search '"Lecture notes in computer science,"', query time: 0.06s 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
    25 years of model checking : history, achievements, perspectives /

    25 years of model checking : history, achievements, perspectives /

    Published 2008
    “…Lecture notes in computer science,…”
    Book
  3. 3
    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
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  4. 4
    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
  5. 5
    Algebraic and logic programming /

    Algebraic and logic programming /

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

    Computer science logic /

    Published 1994
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  7. 7
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /

    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /

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

    Applied semantics /

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

    CONCUR - 2003 : Concurrency theory /

    Published 2003
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  10. 10
    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
  11. 11
    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
  12. 12
    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
    “…Lecture notes in computer science…”
    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
    “…Lecture notes in computer science ;…”
    Conference Proceeding eBook
  14. 14
    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
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  15. 15
    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
  16. 16
    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Published 2009
    “…Lecture notes in computer science,…”
    Conference Proceeding Book
  17. 17
    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
  18. 18
    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
  19. 19
    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
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  20. 20
    CONCUR - 1995 : Concurrency theory : Proceedings /

    CONCUR - 1995 : Concurrency theory : Proceedings /

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

Search Tools: