Search Results - "Lecture notes in computer science (Springer). ;"
-
1
BookFormal 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).…”
-
2
Conference ProceedingDigital cities : technologies, experiences, and future perspectives
Published 2000“…Lecture notes in computer science (Springer),…”
-
3
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). ;…”
-
4
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) . ;…”
-
5
Conference Proceeding
CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
Published 2003“…Lecture notes in computer science (Springer). ;…”
-
6
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). ;…”
-
7
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).…”