LECTURE NOTES IN MATHEMATICS 1320: SEMIGROUPS THEORY AND APPLICATIONS
1988 年出版420 页ISBN：3540193472;0387193472
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
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 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
LECTURE NOTES IN ECONOMICE AND MATHEMATICAL SYSTEMS 482: A THEORY OF INTERNATIONAL TRADE
WEI-BIN ZHANG2000 年出版196 页ISBN：3540669175
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Control and Information Sciences 280 Stochastic Theory and Control Proceedings of a
Kansas2002 年出版564 页ISBN：3540437770
Lecture Notes in Computer Science 4752 Advances in Information and Computer Security Second Internat
IWSEC 20072007 年出版460 页ISBN：9783540756507
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
