Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
A THIRTEEN YEAR ECOLOGICAL ANALYSIS (1987-2000)OF BIOTIC COMMUNITIES OF THE PECAN ORCHARD IN COLLEGE
TZU-YIN LI AND M.K.HARRIS2222 年出版112 页ISBN：
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN：0792396502
TOWARDS A SUSTAINABLE EUROPEAN COMPANY LAW A NORMATIVE ANALYSIS OF THE OBJECTIVES OF EU LAW
WITH THE TAKEOVER DIRECTIVE AS A TEST CASE2009 年出版560 页ISBN：9041127682
Applied methods of the analysis of static and dynamic loads of structures and machines special topic
Pavel Polach2015 年出版0 页ISBN：
Aspect-oriented analysis and design the theme approach = 面向方面的分析与设计 theme 方法(英文版)
Siobhán Clarke ; Elisa Baniassad2006 年出版366 页ISBN：7111179757
本书是面向方面的软件开发设计与实现。
