Resultados de búsqueda - "Lecture notes in computer science (Springer)."

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).…”