（美）弗兰克·鲍姆著；钟尉端译2010 年出版244 页ISBN：9787539158648
本书是奥兹国历险故事的第五部作品：多萝茜在田野上遇到了一个奇怪的长毛人，他向她问路，好心的小女孩带着他去指路，结果发现自己也迷路了。在路上，他们又碰到一个叫聪明扣的小男孩，他也迷路了，而且对什么都一问......
（美）埃德蒙·
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）艾琳·克莱格（Eileen
本书是当代美国作家有关青少年教育的著作，叙说一种非传统的好女孩，她们是用新模式取代旧规矩、有头脑的新女性。这些人都能取得成功，找回自我。...
（美）弗兰克·鲍姆著；（美）约翰·R.尼尔绘；稻草人童书馆译2015 年出版240 页ISBN：9787506082167
女孩特洛特和她的好朋友比尔船长喜欢探险。一次，他们在划船去岩洞的途中遇上了可怕的大旋涡，被卷进了一个陌生的洞穴。在那里，他们和有同样遭遇的奥克相遇，并一起逃出了洞穴，来到了美丽的海岛上。岛上住着一个脾...
（美）钱纳里（Chenery，H.），（以）塞尔昆（Syrquin，
（美）詹姆斯·
