当前位置:首页 > 名称

大约有451,857项符合查询结果项。(搜索耗时:0.3244秒)

为您推荐: 几何定理机器证明的基本原理 几何最著名24个定理证明及应用 拉克洛瓦 韦达定理 证明方法 几何定理的机械化证明 几何定理机器证明的案例 交互声音与影像创作教程

  • 论行政程序中的证明标准

    汪成红著2014 年出版148 页ISBN:9787502388003

    本书以诉讼证明标准的分析为背景,提出了行政程序证明标准应坚持的真实观,并最终以案件事实对相对人权益影响的大小、案件事实的时间属性等因素为基础,勾画出了行政程序中证明标准差别性适用体系的具体轮廓,有十...

  • 数字交互程序设计基础

    章颖芳,耿璐编著2016 年出版156 页ISBN:7560865560

  • 刑事证明责任研究 穿梭于实体与程序之间 from both substantial and procedural angles of view

    黄维智著2007 年出版379 页ISBN:7301122969

    证明责任是一种诉讼法上的证明负担,同时又是对实体法的犯罪构成进行证明的义务担当,因此证明责任规范不可避免地涉及实体与程序两个方面,可以说是沟通实体与程序之间的桥梁。刑事证明责任问题绝非一个无意义的...

  • 轻松学HTML5+CSS3+JavaScript交互式Web前端开发

    中公教育优就业研究院编著2018 年出版422 页ISBN:9787519239879

    本书主要针对有志于学习互联网Web前端开发的群体,介绍了实用Web前端开发技术中的HTML5+CSS3+JavaScript,力求通过理论+实例等讲练结合的方式,通俗易懂、由浅入深地学习交互式Web前端开发技术。对读者的提高和...

  • 正当程序中的实现真实 民事诉讼证明法理之现代阐释

    邵明著2009 年出版471 页ISBN:9787503694622

    本书根据现代法治原理,运用民事诉讼原理,对民事诉讼证明问题做出体系阐释和专项研讨,并对我国现行民事诉讼证明制度及其运作状况做出评析且提出建言。...

  • PLOT-10交互图形程序库用户手册

    中国科学院自动化研究所,机械工业部机械工业自动化研究所合译2222 年出版286 页ISBN:

  • Kinect人机交互开发实践

    吴国斌,李斌,阎骥洲编著2013 年出版162 页ISBN:9787115300294

    本书分为3个部分,首先介绍了Kinect的结构和功能以及如何配置相关的开发环境,接着结合实例介绍如何使用Kinect for Windows SDK提供的API,最后通过4个实例详述了开发过程。...

  • AutoCAD 2004交互工程绘图及二次开发

    姚涵珍等主编2004 年出版324 页ISBN:7111134621

    本书介绍了计算机知识。

  • 用Visual Basic开发交互式CAD系统

    苏金明编著2003 年出版364 页ISBN:7505386441

    本书结合Visual Basic语言详细讲解了交互式CAD系统的开发技术,剖析了构造系统的思路和技巧,并结合实例给出了一套完整的代码。本书共分3篇。第1篇(第1章至第3章)为开发基础篇,比较全面地介绍了利用Visual Basic...

  • 刑事程序性证明理论系统研究

    石浩旭著2013 年出版227 页ISBN:9787513024686

    长期以来,我国的刑事司法中均存在“重实体、轻程序”的倾向,使我们制度性地忽视了程序在阻却权力违法方面的功能及相关的制度建构。本书运用经济学与社会学的分析方法研究了刑事程序性证明的发生机制,并运用类...

返回顶部