Suggested Topics within your search.
Showing 1 - 15 results of 15 for search '".th"', query time: 0.60s Refine Results
  1. 1
    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
    Book
  2. 2
    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
    Conference Proceeding Book
  3. 3
    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
    Conference Proceeding Book
  4. 4
    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
    Conference Proceeding Book
  5. 5
    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
    Conference Proceeding Book
  6. 6
    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
    Conference Proceeding Book
  7. 7
    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
    Conference Proceeding eBook
  8. 8
    Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings /

    Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings /

    Published 1997
    Conference Proceeding Book
  9. 9
    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
    Conference Proceeding Book
  10. 10
    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /

    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /

    Published 1997
    Conference Proceeding Book
  11. 11
    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Published 1997
    Conference Proceeding Book
  12. 12
    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, Braga, Portugal, March 24-April 1, 2007 : proceedings /

    Published 2007
    Unedited summary from book
    Table of contents only
    Publisher description
    Conference Proceeding Book
  13. 13
    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 software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /

    Published 2009
    Conference Proceeding Book
  14. 14
    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 2006, Vienna, Austria, March 27-28, 2006 : proceedings /

    Published 2006
    Conference Proceeding eBook
  15. 15
    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 of Software, ETAPS 2009, York, UK, March 22-29, 2009. : Proceedings /

    Published 2009
    Conference Proceeding Book

Search Tools: