Lecture Notes in Computer Science 4035 Advances in Computer Graphics
2006 年出版771 页ISBN:354035638X
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN:3540353623
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
Mathematical Methods in Linguistics
(美)Barbara H.Partee Alice ter Meulen Robert E.Wall2009 年出版664 页ISBN:
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202