購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架 暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
X 程序著
”共有
272521
结果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
缺省逻辑与回答集程序
『简体书』 作者：张明义，王以松 著 出版：科学出版社 日期：2023-10-01 本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环 ... |
詳情>> | |
 |
德日家事事件与非讼事件程序法典
『简体书』 作者：郝振江，赵秀举 译 出版：法律出版社 日期：2017-09-01 《德日家事事件与非讼事件程序法典》以德国和日本非讼程序新修订后的法典为中心，内含了德国家事事件及非讼事件程序法典、日本家事事件程序法、日本非讼事件程序法及日本民事调停法。本书不仅反映了德国和日本非讼程序的*立法状况，而且另有关于立法全新发展的解读，是全面深入了 ... |
詳情>> | |
 |
深入理解RISC-V程序开发
『简体书』 作者：林金龙，何小庆 著 出版：北京航空航天大学出版社 日期：2021-09-01 本书在介绍 RISC-V 处理器架构、芯片、软件开发工具和方法的基础上，从程序员角度深入分析 RISC-V处理器软件开发过程的要点，并通过例程帮助读者理解和掌握RISC-V处理器编程技术 本书从内核、处理器、开发板到系统，逐层讨论RISC-V处理器程序的开发 ... |
詳情>> | |
 |
司法的困惑：程序法的双重张力
『简体书』 作者：段厚省 出版：中国法制出版社 日期：2018-07-01 通常来说，司法程序拥有三重功能：1.通过庭审的展开，发现事实与寻找规范;2.吸收当事人不满情绪;3.为当事人乃至社会公众提供行为预期。 实践中程序法未能发挥其功能，既有程序法自身的原因，也有程序法之外的原因。程序法自身的原因，体现为其在制度建构上欠缺合理性， ... |
詳情>> | |
 |
程序分析技术
『简体书』 作者：王甜甜 出版：科学出版社 日期：2024-07-01 程序分析技术是编译器、软件开发以及软件质量保障的基础。《程序分析技术》共6章，主要内容包括程序分析基础、程序的中间表示、数据流分析、程序切片与程序插桩、软件缺陷检测、智能化程序分析技术等，涵盖了程序分析基础理论和技术，还贯穿若干案例，讲解工业界的程序分析实践。 ... |
詳情>> | |
 |
德国《家事事件和非讼事件程序法》
『简体书』 作者：王葆莳,张桃荣,王婉婷 出版：武汉大学出版社 日期：2017-10-01 在1976年之前，德国的离婚程序分散于地方法院（离婚），区法院（扶养、抚养等）以及监护法庭（对于儿童的照顾权）。基于家庭法冲突的特殊性质，德国于1976年的《婚姻法和家庭法改革第1号法律》确立了家事法庭制度，在法院内部设立专门家事法庭审理家事案件，对家庭事件（ ... |
詳情>> | |
 |
吉他自学一本通 吉他弹唱X独奏X乐理教程
『简体书』 作者：陈飞，伊家林 出版：人民邮电出版社 日期：2020-02-01 本书是为零基础读者贴身打造的吉他入门教程，无论你有无音乐基础，识得乐谱与否，这本书都是你学习吉他的开始。 本书分为9个章节，共34课。这9个章节的内容都是初学吉他必须要掌握的重点内容。*章首先从认识吉他、了解吉他开始，慢慢走进吉他的世界；第二章至第六章包含了吉 ... |
詳情>> | |
 |
钢琴自学一本通 钢琴即兴伴奏X弹唱X乐理教程
『简体书』 作者：陈飞，伊家林 出版：人民邮电出版社 日期：2020-02-01 本书是为零基础读者贴身打造的钢琴即兴伴奏、弹唱入门教程。无论你有无音乐基础，都可以将本书作为你学习钢琴的开始。 本书分为7章，共37课。这7个章节的内容都是初学钢琴必须要掌握的重点内容。*章是基本的理论及弹奏学习，首先从认识钢琴的种类、学习基本乐理知识等，引导 ... |
詳情>> | |
 |
人民法院办理行政案件程序指引
『简体书』 作者：内蒙古自治区高级人民法院 编 著 出版：人民法院出版社 日期：2021-08-01 《人民法院办理行政案件程序指引》为人民法院审判程序指引丛书之一，由内蒙古高级人民法院编。本书按照审程序、第二审程序、审判监督程序、执行等行政诉讼程序编写，每一部分包含工作要求，工作内容，常见问题，常用法律、司法解释及相关规定，相关法律文书等栏目，并汇编了行政相 ... |
詳情>> | |
 |
程序与议论：现代法治的精髓（汇集季卫东教授三十余年对法律程序与法律议论的深度思考，理解现代法治重要读本）
『简体书』 作者：季卫东 著 出版：北京大学出版社 日期：2025-06-01 本书是作者三十余年来研究法律程序和法律议论集大成之成果。 程序与议论如同一枚硬币的两面，前者为后者提供理性的表达空间，后者则为前者注入实质内容。二者的互动不仅关涉法律的合理运行，更揭示了民主治理的关键精神。通过建构“程序—议论—关系”三要素交错互动的框架，本 ... |
詳情>> | |
 |
德国民事诉讼法案例研习：审判程序与强制执行（第3版）
『简体书』 作者：[德]多萝特娅·阿斯曼[Dorothea Assmann]著 出版：北京大学出版社 日期：2024-10-01 程序法的案例分析往往是法学专业本科必修的教学内容，但更需强调的是，案例研习也属于民事司法重点研究领域的内容。 本选题涵盖了民事诉讼法诸多领域的案例分析，既包括审判程序方面的案例，又包括强制执行法方面的案例。对案例进行探讨和研习，将有助于获取和学习相关案例材料 ... |
詳情>> | |
 |
著译书稿须知（2025年版）
『简体书』 作者：人民交通出版社《著译书稿须知》编写组 出版：人民交通出版社 日期：2026-01-01 本书依据最新标准规范并结合近年来工作实践，对我社2009 年版《著译书稿须知》进行了修订，主要内容包括:对书稿的基本要求;成书的组成;对封面、辅文、正文的要求;对交稿的要求。 本书主要供科技类图书的作者、译者使用，也可供相关编辑、校对人员参考。 ... |
詳情>> | |
 |
中国建筑史（伊东忠太著）
『简体书』 作者：伊东忠太 著; 出版：中国画报出版社 日期：2018-01-01 伊东忠太是日本著名的建筑史学家，曾先后六次来华开展建筑考古活动。本书是其对中国建筑进行全域性的普查之后出版的《东洋建筑之研究（上卷）》的中译本，其中*篇《中国建筑史》是建筑史上*部较全面、系统论述中国建筑历史的著作。 作者运用文献研究法、考察实测法和文字考证 ... |
詳情>> | |
 |
聊斋杂著
『简体书』 作者：[清]蒲松龄 著，蒲松龄纪念馆 编 出版：齐鲁书社 日期：2020-04-01 《聊斋杂著》是蒲松龄的杂著作品的*个单行本。蒲松龄纪念馆利用馆藏抄本，吸收已有的整理和研究成果，校录《历日文》《历字文》《日用俗字》《家政外编》《家政内编》《农桑经》《药祟书》《省身语录》等八种。内容庞杂，切于身心，涉及吉凶择日、家常用字、农耕养蚕、救荒治病、 ... |
詳情>> | |
 |
卡尔·格斯特纳：设计程序
『简体书』 作者：卡尔·格斯特纳[Karl Gerstner]著，郦亭亭 译， 出版：岭南美术出版社 日期：2023-11-01 设计的过程才是应该设计的。瑞士国际主义设计风格巨擘卡尔·格斯特纳的设计哲学——不是寻找问题的设计方案，而是设计解决方案的程序。 用分析型思维和系统性理解，建立字体、版式、图画、方法的生成框架，以理性与诗意并存的手段，发现基于形态学演绎、逻辑演绎、网格与 ... |
詳情>> | |
 |
茶馆（老舍 著）
『简体书』 作者：老舍 著 出版：民主与建设出版社 日期：2017-06-01 ... |
詳情>> | |
 |
认罪认罚案件诉讼程序的主体性完善研究 潘丙永 杨凯 著
『简体书』 作者：潘丙永， 杨凯 出版：中国政法大学出版社 日期：2025-11-01 ... |
詳情>> | |
 |
探骊·客家传统音乐研究文集 伍润华 著
『简体书』 作者：伍润华 著 出版：上海音乐出版社 日期：2024-05-01 本书精选了赣南师范大学近二十年来发表在《中国音乐学》《中国音乐》等国内各大学术期刊、以客家传统音乐研究为对象的优秀学术论文。分为本体研究、个案研究、文化研究、应用研究等四大部分。该著是国内第一部以客家传统音乐研究文论为核心的论文集，收录的论文均具有学术性、代表 ... |
詳情>> | |
 |
家事审判改革背景下婚姻诉讼程序研究
『简体书』 作者：郝晶晶 著 出版：武汉大学出版社 日期：2023-09-01 本书为后期资助项目图书。本书对婚姻诉讼程序理论进行了较为深入的探讨：厘清了婚姻诉讼程序的概念和性质；梳理了我国婚姻家庭程序的发展脉络；总结了两大法系国家和地区在婚姻诉讼程序方面具有代表性的理论和规则；审视了我国婚姻无效诉讼、可撤销婚姻诉讼和离婚诉讼的具体规定和 ... |
詳情>> | |
 |
特别没收程序研究（新时代纪法思维系列丛书）
『简体书』 作者：孙宏斌 著 出版：中国方正出版社 日期：2022-04-01 本书主要围绕《刑事诉讼法》规定的“犯罪嫌疑人、被告人逃匿、死亡案件违法所得的没收程序”及相关法律规定展开论述，系统梳理特别没收程序的理论渊源、制度沿革、司法实践，重点结合国家监察体制改革，对相关适用范围、启动程序、审理救济、执行处置等问题进行深入探讨。全书视野 ... |
詳情>> | |