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
Lecture Notes in Computer Science 3911 Parallel Processing and Applied Mathematics 6th International
PPAM 20052006 年出版1126 页ISBN:3540341412
Lecture Notes in Computer Science 3019 Parallel Processing and Applied Mathematics 5th International
PPAM 20032004 年出版1174 页ISBN:3540219463
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 MATHEMATICS 1409: THE NUMERICAL SOLUTION OF DIFFERENTIAL ALGEBRAIC SYSTEMS BY RUNGE
1989 年出版142 页ISBN:3540518606;0387518606
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN:9783540489283
Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN:354042556X