第一审程序论相关电子书下载

斯宾诺莎著2014 年出版380 页ISBN：9787100103589

《笛卡尔哲学原理》第一篇是阐述笛卡尔哲学一般形而上学原理，主要取材于笛卡尔的《形而上学沉思》和《哲学原理》第一章“论人类知识原理”。本书的结构正如书名所标出的，包括两个部分：《笛卡尔哲学原理》和附...

陈意云，张昱编著2010 年出版351 页ISBN：9787040284041

本书以类型系统为中心来开展程序设计语言的研究，除了由浅入深地介绍各种类型系统外，还讨论相应程序设计语言的操作语义、公理语言和指称语义，以及这些语义之间的关系，是一本覆盖面较广的有关程序设计语言理论基...

刘启明，苏庆堂主编；胡凤珠，王庆军，李洪国，徐群叁副主编2015 年出版323 页ISBN：9787040427738

本书根据《高等学校计算机基础教学发展战略研究报告暨计算机基础课程教学基本要求》编写，以面向工程实践和编程能力训练为主，具有较强的应用性。全书共分9章，内容包括C语言概述、C语言程序设计基础、选择程序...

袁勤勇责任编辑；（中国）向艳2019 年出版300 页ISBN：9787302533757

本书为《C语言程序设计》的配套实训教材，在第1版的基础上修订出版。保持了第1版的主要特色，同时融入计算机发展的新技术，以及作者在教学中积累的新经验和新体会。内容共分11章，涵盖26个基础实训和综合应用实训...

蒋加伏，张林峰主编2004 年出版198 页ISBN：7563506608

本书是配合《Visual Basic程序设计教程》一书编写的VB编程实践指导书，全书由三部分组成。第一部分是Visual Basic上机指导，第二部分是针对与之配套的教材内容设计的13个实验，第三部分为配套教材的习题解答。...

刘彦佩编著2008 年出版399 页ISBN：703021272X

本书论述组合地图计数以及梵和的理论，在第一版的基础上，删去了多余部分和替代改进的结果，主要增添了新的有关地图在一般曲面（平面只是一个特例）上的内容，例如Euler地图和无割边地图在曲面上的节点剖分泛函方程，......

余洋，马晴主编；周小平，李勇，王泉副主编2016 年出版180 页ISBN：9787565026225

本书从美术教育历史的简要回顾开始，首先引导学生认识这门课程的学习价值，进而建立积极的学习态度。接着围绕中小学美术“是谁教”、“教谁”、“教什么”、“怎么教”、“为什么这么教”等一系列问题展开讨论...

梁旭，陈鑫影，黄明等编2013 年出版232 页ISBN：9787121210761

本书是专门为参加全国计算机等级考试二级C语言程序设计考试的考生准备的考前模拟冲刺试卷集。全书共包括12套试卷，12套试卷由10套冲刺模拟试卷和2套真题试卷组成，10套冲刺模拟试卷配以答案和解析；真题试卷分别...

（英）约瑟夫·马西著2009 年出版77 页ISBN：9787100059879

本书阐述的经济理论，特别是关于利息是利润的一部分理论，曾对休谟、斯密等古典经济学家产生很大的影响。

（英）琼斯编2013 年出版2239 页ISBN：9787100093033

本书是侵权法领域的一部权威著作。它为侵权法的各个方面提供了最权威有效的指导，并且被从业者和法官参考和引用。该书的内容涵盖了侵权问题的各个方面，包括过失、诽谤、非法侵入和法定的侵权行为等，并分别逐章...