Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Proceedings of SPIE-The International Society for Optical Engineering Volume 721 Fiber Optics in Adv
1987 年出版132 页ISBN：0892527560
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
SPEECH HANDBOOK PRECISION PROGRAMS ESPECIALLY FOR THE HEARING IMPAIRED PART 2 OF THE LISTENING AND S
1978 年出版287 页ISBN：0808911295
The Contentious and Advisory Jurisdiction of the International Tribunal for the Law of the Sea
Miguel Garcia Garcia-Revillo2015 年出版341 页ISBN：9789004200982
衷克定编著2005 年出版259 页ISBN：7040165376
本书是作者十多年来对“数据统计分析”课程的教学和科研工作实践的结晶。本书从教育类专业用户的角度出发，结合作者对SPSS软件的教学和应用研究的经验，本着循序渐进的原则，在介绍数据统计分析的工具的同时，将统...
TOO SICK TO WORK? SOCIAL SECURITY REFORMS IN EUROPE FOR PERSONS WITH REDUCED EARNINGS CAPACITY
STAMATIA DEVETZI AND SARA STENDAHL2011 年出版189 页ISBN：9041134263
Dirichlet-Dirichlet domain decomposition methods for elliptic problems: h and hp finite element disc
Vadim Glebovich Korneev ; Ulrich Langer2015 年出版464 页ISBN：9814578455
