Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior...
Business Intelligence: Data Mining and Optimization for Decision Making
Business Intelligence: Data Mining and Optimization for Decision Making

Business intelligence is a broad category of applications and technologies for gathering, providing access to, and analyzing data for the purpose of helping enterprise users make better business decisions. The term implies having a comprehensive knowledge of all factors that affect a business, such as customers, competitors, business partners,...

Categories for Software Engineering
Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented...

Formal Geometry and Bordism Operations (Cambridge Studies in Advanced Mathematics)
Formal Geometry and Bordism Operations (Cambridge Studies in Advanced Mathematics)
This text organizes a range of results in chromatic homotopy theory, running a single thread through theorems in bordism and a detailed understanding of the moduli of formal groups. It emphasizes the naturally occurring algebro-geometric models that presage the topological results, taking the reader through a pedagogical development of the...
The New Communications Technologies, Fifth Edition: Applications, Policy, and Impact
The New Communications Technologies, Fifth Edition: Applications, Policy, and Impact
"Although the book is directed toward technology courses...it makes for interesting, thought-provoking reading." - Monitoring Times

As new communications applications are developed and brought to market, it is vital for communications professionals to keep abreast of these issues. Since the
...
Python Scripting for Computational Science (Texts in Computational Science and Engineering)
Python Scripting for Computational Science (Texts in Computational Science and Engineering)
The goal of this book is to teach computational scientists and engineers how to develop tailored, flexible, and efficient working environments built from small programs (scripts) written in the easy-to-learn, very high-level language Python. The focus is on examples and applications of relevance to computational science: gluing existing...
Luminescence and the Solid State, Second Edition (Studies in Inorganic Chemistry)
Luminescence and the Solid State, Second Edition (Studies in Inorganic Chemistry)
Since the first date of publication of this book in 1991, the subject of phosphors and luminescence has assumed even more importance in the overall scheme of technological development. Many new types of displays have appeared which depend upon phosphors in their operation. Some of these were pure conjecture in 1991 but are a reality in 2004....
Magento Mobile How-To
Magento Mobile How-To

Create and configure your own Magento Mobile application and publish it for the Android and iOS platforms

Overview

  • Style and theme your Magento Mobile Application interface
  • Configure Product categories and add static content for mobile
  • Prepare and publish your Magento mobile...
Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)
Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for...

Writing mental ray® Shaders: A Perceptual Introduction (mental ray® Handbooks)
Writing mental ray® Shaders: A Perceptual Introduction (mental ray® Handbooks)

The word "render" isn't unique to the vocabulary of computer graphics. We can talk about a "watercolor rendering," a "musical rendering" or a "poetic rendering." In each of these, there is a transformation from one domain to another: from the landscape before the painter to color on paper, from...

Category Theory for Computing Science
Category Theory for Computing Science

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science. Some categorical ideas and constructions are already used heavily in computing...

My iPhone (covers 3G, 3Gs and 4 running iOS4) (4th Edition)
My iPhone (covers 3G, 3Gs and 4 running iOS4) (4th Edition)

Step-by-step instructions with callouts to iPhone images that show you exactly what to do.

 

Help when you run into iPhone problems or limitations.

 

Tips and Notes...

Result Page: 21 20 19 18 17 16 15 14 13 12 
©2020 LearnIT (support@pdfchm.net) - Privacy Policy