Lecture Notes in Computer Science 3959 Theory and Applications of Models of Computation Third Intern
TAMC 20062006 年出版794 页ISBN：3540340211
Lecture Notes in Computer Science 2360 Application and Theory of Petri Nets 2002 23rd International
ICATPN 20022002 年出版444 页ISBN：3540437878
Lecture Notes in Computer Science 4231 Advances in Conceptual Modeling-Theory and Practice ER 2006 W
CoMoGIS COSSOIS 年出版0 页ISBN：SemWAT
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 4582 Public Key Infrastructure 4th European PKI Workshop:Theory an
EuroPKI 20072007 年出版374 页ISBN：9783540734079
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN：9783540725039
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN：3540223932
