Search Results - "Lecture notes in computer science ;"

  • Showing 1 - 13 results of 13
Refine Results
  1. 1
    Conference Proceeding
    Conference Proceeding

    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 ;…”

    Save to List
    Saved in:
  2. 2
    Conference Proceeding
    Conference Proceeding

    Algorithms and data structures : 8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30-August 1, 2003 : proceedings

    Published 2003
    “…Lecture notes in computer science . ;…”

    Save to List
    Saved in:
  3. 3
    Conference Proceeding
    Conference Proceeding

    ECOOP 2002-object-oriented programming : 16th European Conference, Málaga, Spain, June 10-14, 2002 : proceedings /

    Published 2002
    “…Lecture notes in computer science…”

    Save to List
    Saved in:
  4. 4
    Conference Proceeding
    Conference Proceeding

    ECOOP 2003 - Object-oriented programmings : 17th European conference, Darmstadt, Germany, july 2003 Proceedings /

    Published 2003
    “…Lecture notes in computer science…”

    Save to List
    Saved in:
  5. 5
    Book
    Book

    Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United...

    Published 2003
    “…Lecture notes in computer science (Springer).…”

    Save to List
    Saved in:
  6. 6
    Conference Proceeding
    Conference Proceeding

    Digital cities : technologies, experiences, and future perspectives

    Published 2000
    “…Lecture notes in computer science (Springer),…”

    Save to List
    Saved in:
  7. 7
    Conference Proceeding
    Conference Proceeding

    Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proc...

    Published 2003
    “…Lecture notes in computer science (Springer). ;…”

    Save to List
    Saved in:
  8. 8
    Conference Proceeding
    Conference Proceeding

    Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings

    Published 2007
    “…Lecture notes in computer science (Springer) . ;…”

    Save to List
    Saved in:
  9. 9
    Conference Proceeding
    Conference Proceeding

    CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

    Published 2003
    “…Lecture notes in computer science (Springer). ;…”

    Save to List
    Saved in:
  10. 10
    Conference Proceeding
    Conference Proceeding

    Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice...

    Published 2003
    “…Lecture notes in computer science (Springer). ;…”

    Save to List
    Saved in:
  11. 11
    Conference Proceeding
    Conference Proceeding

    Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

    Published 2000
    “…Lecture notes in computer science (Springer).…”

    Save to List
    Saved in:
  12. 12
    Conference Proceeding
    Conference Proceeding

    Object-oriented information systems : 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings /

    Published 2002
    “…Lecture notes in computer science…”

    Save to List
    Saved in:
  13. 13
    Conference Proceeding
    Conference Proceeding

    Model driven engineering languages and systems : 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings /

    Published 2006
    “…Lecture notes in computer science…”



    Save to List
    Saved in:
    Get full text
    Publisher description

Search Tools: