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
NON-PARAMETRIC TESTS FOR CENSORED DATA
VILIJANDAS BAGDONAVICIUS JULIUS KRUOPIS MIKHAIL S.NIKULIN2011 年出版233 页ISBN:9781848212893
Communication system design using DSP algorithms:with laboratory experiments for the TMS320C6701 and
Harry L.Van Trees2222 年出版1443 页ISBN:
DATA ANALYSIS FOR THE BEHAVIORAL SCIENCES USING SPSS
2222 年出版737 页ISBN:0521635616