OpenGL ES 3.0 Programming Guide(2nd Edition)配套源码，支持各个平台，编译通过，学习原书籍必备的资源。

没有谁能比C语言的发明者更了解C语言了，阅读此书，你能清晰的理解Ｋ＆Ｒ的伟大之处

Thoroughly revised and updated edition of this in-depth discussion of both video compression and communication technology Since the publication of Wireless Video Communications five years ago, the area of video compression and wireless transceivers has evolved even further. This new edition addresses a range of recent developments in these areas, giving cognizance also to the associated transmission aspects and issues of error resilience. In this revision of Wireless Video Communications, substantial new material has been added on areas such as H.264 and MPEG4 coding. Covering compression issues, error resilience, coding delay, implementational complexity and bitrate, the book also gives an historical perspective to video communication. Includes brand new, previously unpublished information on advances in the field of video compression and communications. Introduces substantial new material on H.264 and MPEG4 coding and their error resilience and transceivers. Illustrates the expected performance of various video codecs in the context of integrated wireless transceivers. Covers video compression, channel coding and transmission Postgraduates and researchers in communication systems, undergraduates and development engineers of video compression applications will all find this a highly informative read.

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

Learn Cocoa on the Mac, 2nd Edition

Packt.Python.Machine.Learning.Cookbook.2nd.Edition.2019

本资源是Handbook of Fingerprint Recognition 2nd edition 2009 的电子书，英文版，适用于指纹识别的学习

Murach's Java Servlets and JSP, 2nd Edition.高清文字版，并加入了书签--part2

he products that drive the wireless communication industry, such as cell phones and pagers, employ circuits that operate at radio and microwave frequencies. Following on from a highly successful first edition, the second edition provides readers with a detailed introduction to RF and microwave circuits. Throughout, examples from real-world devices and engineering problems are used to great effect to illustrate circuit concepts. * Takes a top-down approach, describing circuits in the overall context of communication systems. * Presents expanded coverage of waveguides and FT mixers. * Discusses new areas such as oscillators design and digital communication. *An Instructor's Manual presenting detailed solutions to all the problems in the book is available from the Wiley editorial department.

iOS Swift Game Development Cookbook(2nd) 英文mobi 第2版 本资源转载自网络，如有侵权，请联系上传者或csdn删除 本资源转载自网络，如有侵权，请联系上传者或csdn删除