Suggested Topics within your search.
Showing 1 - 20 results of 31 for search '"Lecture notes in computer science,"', query time: 0.10s Refine Results
  1. 1
    25 years of model checking : history, achievements, perspectives /

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

    Published 2008
    “…Lecture notes in computer science,…”
    Book
  2. 2
    Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

    Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

    Published 2007
    “…Lecture notes in computer science,…”
    Publisher description
    Conference Proceeding Book
  3. 3
    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
  4. 4
    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
  5. 5
    Foundations of software science and computational structures : 0th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /

    Foundations of software science and computational structures : 0th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of...

    Published 2007
    “…Lecture notes in computer science ;…”
    Table of contents only
    Publisher description
    Conference Proceeding Book
  6. 6
    Concur - 2008 : Concurrency theory : proceedings /

    Concur - 2008 : Concurrency theory : proceedings /

    Published 2008
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  7. 7
    Verification, model checking and abstract interpretation : proceedings /

    Verification, model checking and abstract interpretation : proceedings /

    Published 2009
    “…Lecture notes in computer science…”
    Conference Proceeding Book
  8. 8
    Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /

    Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS...

    Published 2009
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  9. 9
    Computer aided verification : proceedings /

    Computer aided verification : proceedings /

    Published 2009
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  10. 10
    Web engineering : proceedings /

    Web engineering : proceedings /

    Published 2009
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  11. 11
    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
  12. 12
    Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings /

    Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings /

    Published 2007
    “…Lecture notes in computer science,…”
    Restricted to SpringerLink subscribers
    Conference Proceeding Book
  13. 13
    Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II /

    Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II /

    Published 2008
    “…Lecture notes in computer science ,…”
    Conference Proceeding Book
  14. 14
    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
  15. 15
    Automata, languages and programming : 33rd international Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings /

    Automata, languages and programming : 33rd international Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings /

    Published 2006
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  16. 16
    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
  17. 17
    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
  18. 18
    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
  19. 19
    Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /

    Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /

    Published 2012
    “…Lecture notes in computer science ;…”
    Book
  20. 20
    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

Search Tools: