Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
Lecture Notes in Computer Science 4322 Reliable Systems on Unreliable Networked Platforms 12th Monte
2007 年出版317 页ISBN:9783540711551
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3807 Web Information Systems Engineering-WISE 2005 Workshops WISE
2005 年出版275 页ISBN:354030018X
Lecture Notes in Computer Science 3277 Job Scheduling Strategies for Parallel Processing 10th Intrna
JSSPP 20042005 年出版317 页ISBN:3540253300
Lecture Notes in Computer Science 4471 Interactive TV:A Shared Experience 5th European Conference
EuroITV 20072007 年出版236 页ISBN:9783540725589
Lecture Notes in Computer Science 3489 Component-Based Software Engineering 8th International Sympos
CBSE 20052005 年出版358 页ISBN:3540258779
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN:3540344543