Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
COMPUTABILITY IN ANALYSIS AND PHYSICS
MARIAN B.POUR-EL J.IAN RICHARDS1989 年出版206 页ISBN：7506210959
HORIZONS IN WORLD PHYSICS VOLUME 275
ALBERT REIMER EDITOR2012 年出版301 页ISBN：1613240151
HORIZONS IN WORLD PHYSICS VOLUME 276
ALBERT REIMER EDITOR2012 年出版342 页ISBN：1613246542
HORIZONS IN WORLD PHYSICS VOLUME 274
ALBERT REIMER EDITIOR2011 年出版294 页ISBN：1613240144
RECENT DEVELOPMENTS IN THEORETICAL PHYSICS
E.C.G.SUDARSHAN，K.SRINIVASA RAO，R.SRIDHAR2222 年出版338 页ISBN：997150475X
