Resultados da busca - "Lecture notes in computer science . ;"

Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures

“…Lecture notes in computer science ;…”

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

“…Lecture notes in computer science . ;…”

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

“…Lecture notes in computer science…”

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

“…Lecture notes in computer science…”

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...

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

Digital cities : technologies, experiences, and future perspectives

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

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...

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

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

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

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

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

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...

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

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

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

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

“…Lecture notes in computer science…”

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

“…Lecture notes in computer science…”