谢进杰等著2016 年出版339 页ISBN:9787549579693
本书尝试提出、揭示和搭建“无罪命题”和“无罪的程序治理”的概念及理论框架,以微观、实证、变迁和多学科的方法与视角,探讨无罪的程序治理的面貌、逻辑、经验、局限、机理和效应,勾勒无罪命题在中国艰难展开...
(美)塞普瑟(Sipser,M.)著;唐常杰等译2006 年出版269 页ISBN:7111190289
本书系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。
于国防,李剑,张玉杰编著2015 年出版248 页ISBN:9787302396055
本书以Visual Studio.NET 2010为开发平台,针对C#编程语言重点讲述了其功能最强、应用最广的Windows应用程序设计。书中内容的编排前后贯通、由浅入深;语言叙述力求通俗易懂,避免使用晦涩的专业术语,从而营造轻...
付玉平著2015 年出版189 页ISBN:9787502047887
本书以埋深100~150m、采高4.0m~7m、面长240m~400m的神东矿区浅埋煤层大采高超长工作面为研究对象,建立其顶板断裂关键块结构运动与失稳控制的理论模型,给出控制关键块平衡应该具有的支架支护阻力计算公式;通过现...