Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN:3540219609
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN:3540255761
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
A CALL TO MANHOOD:IN A FATHERLESS SOCIETY
DAVID E.LONG1994 年出版205 页ISBN:1563840472
CHRISTOPHER MACLEOD AND DALE E.MILLER2017 年出版604 页ISBN:1118736524
Catalysis from A to Z a concise encyclopedia
edited by Boy Cornils2000 年出版640 页ISBN:352729855x
BLIZABETH ARCHIBALD AND A.S.G.EDWARDS1996 年出版264 页ISBN:0859915204