Lecture Notes in Computer Science 3453 Database Systems for Advanced Applications 10th International
DASFAA 20052005 年出版929 页ISBN：3540253343
Computational intelligence applications in smart grids enabling methodologies for proactive and self
Alfredo Vaccaro ; Ahmed F Zobaa2015 年出版246 页ISBN：1783265876
Computational Intelligence in Time Series Forecasting Theory and Engineering Applications With 66 Fi
2005 年出版372 页ISBN：1852339489
Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN：3540346996
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
LECTURE NOTES IN MATHEMATICS 1446: METHODS OF NONCONVEX ANALYSIS
1990 年出版210 页ISBN：3540531203;0387531203
