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
Lecture Notes in Control and Information Sciences 356 Dynamic Analysis of Petri Net-Based Discrete S
2007 年出版166 页ISBN:9783540714644
FUNCTIONAL ANALYSIS IN MARKOV PROCESSES
M.FUKUSHIMA1982 年出版307 页ISBN:354011484X
TOPICS IN NONLINEAR FUNCTIONAL ANALYSIS 6
NOTES BY RALPH A.ARTINO1974 年出版145 页ISBN:0821828193