Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
Lecture Notes in Computer Science 4269 Large Scale Management of Distributed Systems 17th IFIP/IEEE
DSOM 20062006 年出版282 页ISBN：3540476598
LECTURE NOTES IN COMPUTER SCIENCE 203 EUROCAL'85 PROCEEDING VOL.1:INVITED LECTURES
BRUNO BUCHBERGER1985 年出版233 页ISBN：3540159835
Lecture Notes in Computer Science 244 Advanced Programming Environments
1986 年出版604 页ISBN：3540171894
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 3133 Computer Systems:Architectures
Modeling2004 年出版562 页ISBN：
Lecture Notes in Computer Science 3098 Lectures on Concurrency and Petri Nets Advances in Petri Nets
2004 年出版849 页ISBN：3540222618
Lecture Notes in Computer Science 1561 Lectures on Data Security Modern Cryptology in Theory and Pra
1999 年出版250 页ISBN：3540657576
Lecture Notes in Computer Science 4599 Embedded Computer Systems:Architectures
Modeling2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3553 Embedded Computer Systems:Architectures
Modeling2005 年出版0 页ISBN：
