高等数学同济第七版7版上下册+习题全解指南+课后习题答案解析pdf电子版.rar

Programming the world wide web 第8版

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements. Table of Contents Part I Judgments and Rules Chapter 1 Abstract Syntax Chapter 2 Inductive Definitions Chapter 3 Hypothetical and General Judgments Part II Statics and Dynamics Chapter 4 Statics Chapter 5 Dynamics Chapter 6 Type Safety Chapter 7 Evaluation Dynamics Part III Total Functions Chapter 8 Function Definitions and Values Chapter 9 System T of Higher-Order Recursion Part IV Finite Data Types Chapter 10 Product Types Chapter 11 Sum Types Part V Types and Propositions Chapter 12 Constructive Logic Chapter 13 Classical Logic Part VI Infinite Data Types Chapter 14 Generic Programming Chapter 15 Inductive and Coinductive Types Part VII Variable Types Chapter 16 System F of Polymorphic Types Chapter 17 Abstract Types Chapter 18 Higher Kinds Part VIII Partiality and Recursive Types Chapter 19 System PCF of Recursive Functions Chapter 20 System FPC of Recursive Types Part IX Dynamic Types Chapter 21 The Untyped λ-Calculus Chapter 22 Dynamic Typing Chapter 23 Hybrid Typing Part X Subtyping Chapter 24 Structural Subtyping Chapter 25 Behavioral Typing Chapter Part XI Dynamic Dispatch Chapter 26 Classes and Methods Chapter 27 Inheritance Part XII Control Flow Chapter 28 Control Stacks Chapter 29 Exceptions Chapter 30 Continuations Part XIII Symbolic Data Chapter 31 Symbols Chapter 32 Fluid Binding Chapter 33 Dynamic Classification Part XIV Mutable State Chapter 34 Modernized Algol Chapter 35 Assignable References Chapter 36 Lazy Evaluation Part XV Parallelism Chapter 37 Nested Parallelism Chapter 38 Futures and Speculations Part XVI Concurrency and Distribution Chapter 39 Process Calculus Chapter 40 Concurrent Algol Chapter 41 Distributed Algol Part XVII Modularity Chapter 42 Modularity and Linking Chapter 43 Singleton Kinds and Subkinding Chapter 44 Type Abstractions and Type Classes Chapter 45 Hierarchy and Parameterization Chapter Part XVIII Equational Reasoning Chapter 46 Equality for System T Chapter 47 Equality for System PCF Chapter 48 Parametricity Chapter 49 Process Equivalence Appendix A Background on Finite Sets

Apress, 2010 ，如何用.net来实现并行计算，本书将带你一探究竟 Parallel programming has been revolutionised in .NET 4 providing, for the first time, a standardised and simplified method for creating robust, scalable and reliable multi-threaded applications. The Parallel Programming features of .NET 4 allow the programmer to create applications that harness the power of multi-core and multi-processor machines. Simpler to use and more powerful than “classic” .NET threads, parallel programming allows the developer to remain focused on the work an application needs to perform. In Pro .NET 4 Parallel Programming in C#, Adam Freeman presents expert advice that guides you through the process of creating concurrent C# applications from the ground up. You’ll be introduced to .NET’s parallel programming features, both old and new, discover the key functionality that has been introduced in .NET 4, and learn how you can take advantage of the power of multi-core and multi-processor machines with ease. Pro .NET 4 Parallel Programming in C# is a reliable companion that will remain with you as you explore the parallel programming universe, elegantly and comprehensively explaining all aspects of parallel programming, guiding you around potential pitfalls and providing clear-cut solutions to the common problems that you will encounter. What you’ll learn * Develop scalable and robust parallel applications in C#. * Design, test and use parallel algorithms and data structures. * Understand and implement common parallel design patterns. * Avoid common anti-patterns and problems. * Use Visual Studio to verify and debug parallel applications. amazon link:http://www.amazon.com/exec/obidos/ASIN/1430229675/buythisbooks-20

游戏编程经典书籍，高清，带目录

控制电机与特种电机教学PPT电子课件与全部思考题习题答案： 控制电机与特种电机 课后习题及其答案答案.doc 第10章 盘式电机--电子课件.ppt 第11章 超声波电动机 电子课件.ppt 第1章 绪论--电子课件.ppt 第2章 测速发电机--电子课件新.ppt 第3章 自整角机--电子课件.ppt 第4章 旋转变压器--电子课件.ppt 第4章 旋转变压器--电子课件简版.ppt 第5章 伺服电动机及其控制--电子课件.ppt 第6章 步进电动机及其驱动--电子课件.ppt 第7章 无刷直流电动机及其控制-电子课件.pptx 第8章 开关磁阻电机及其控制--电子课件.ppt 第9章 直线电机 电子课件.ppt

北大版,高等代数,课后习题答案,物尽其用,物有所值.大学课后习题答案.方便大家,方便自己.北大版,高等代数 ,课后习题答案,物尽其用,物有所值.大学课后习题答案,方便大家,方便自己.

肖振军与吕才典老师所著《粒子物理学导论》前5章部分习题答案。鉴于这门课（适合大四和研究生选修）所留的作业，个人将部分习题写成文档供各位参考，完全是个人的理解与作答，可能存在很多错误，希望各位同行批评指正。后续可能将会继续更新前5章剩余题目和后面几章的书后习题解答，可以持续关注我的动态！

《无线网络技术——原理、应用与实验 》，第三版第四版都适用，主编金光 ———————————————————————————————————————— 本资源共两份，两份基本相同（一份word，一份pdf），皆为作者复习期间整理，符合实际 ———————————————————————————————————————— 资源包含了提纲、重点和课后习题答案，适用于期末复习，也可用于好学的同学预习或课后巩固使用。 ————————————————————————————————————————