Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN：3540255591
DYNAMICS OF FIRST-ORDER PHASE TRANSITIONS IN EQUILIBRIUM AND NONEQUILIBRIUM SYSTEMS
S.W.KOCH1984 年出版148 页ISBN：3540133798
Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat
RelMiCS/AKA 20062006 年出版433 页ISBN：3540378731
Lecture Notes in Computer Science 3813 Security and Privacy in Ad-hoc and Sensor Networks Second Eur
ESAS 20052005 年出版219 页ISBN：3540309128
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 PHYSICS 68 ENERGY METHODS IN TIME-VARYING SYSTEM STABILITY AND INSTABILITY ANALYSES
1977 年出版256 页ISBN：3540084304
Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms
2004 年出版238 页ISBN：3540219803
