Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing
Performance2222 年出版0 页ISBN：
Modelling and computer methods in molecular biology and genetics
edited by V.A. Ratner and N.A. Kolchanov1992 年出版508 页ISBN：1560720778
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
VOLUME 9 QUANTITATIVE METHODS RESEARCH DESIGN AND COMPUTER APPLICATIONS IN BUSINESS
1990 年出版288 页ISBN：0880241217
LECTURE NOTES IN COMPUTER SCIENCE 157 DIRECT METHODS FOR SPARSE MATRICES
OLE QSTERBY1983 年出版127 页ISBN：3540126767
Lecture Notes in Computer Science 3459 Scale Space and PDE Methods in Computer Vision 5th Internatio
Scale-Space 20052005 年出版634 页ISBN：3540255478
Lecture Notes in Computer Science 3028 Probabilistic and Statistical Methods in Cryptology An Introd
2004 年出版158 页ISBN：3540220011
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
