Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
FUNCTIONAL ANALYTIC METHODS IN COMPLEX ANALYSIS AND APPLICATION TO PARTIAL DIFFERENTIAL EQUATIONS
1990 年出版379 页ISBN：9810201869
CONTEMPORARY MATHEMATICS 468 SYMMETRIES IN COMPLEX ANALYSIS
BRUCE GILLIGAN AND GUY J.ROOS2008 年出版230 页ISBN：0821844598
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
Lecture Notes in Physics 118:Quantum Chromodynamics
J.L.Alonso1980 年出版424 页ISBN：
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN：3540083421
Lecture Notes in Computer Science 71 Automata
Languages and Programming1979 年出版684 页ISBN：3540095101
