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: