Learn IT - Books tags logic

Fork Algebras in Algebra, Logic and Computer Science

World Scientific Publishing, 2002

Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of...

Energy Law: An Introduction (SpringerBriefs in Law)

Springer, 2015

The aim of this short text is simply to introduce a reader to this topic. It is intended for a global audience and rather than being restricted to potential energy law students of a particular country. It is also written for students of other disciplines such as geographers, social scientists and engineers. It should also be engaging to those...

Development with the Force.com Platform: Building Business Applications in the Cloud (3rd Edition) (Developer's Library)

Addison Wesley, 2013

Master Force.com, Today’s Fastest, Most Flexible Cloud Development Platform

With Salesforce.com’s Force.com platform, you can build and deploy powerful cloud-based enterprise applications faster than ever before. Now, Jason Ouellette gives you...

Practical Electronics for Inventors, Third Edition

McGraw-Hill, 2013

THE ELECTRONICS KNOW-HOW YOU NEED TO BECOME A SUCCESSFUL INVENTOR

"If there is a successor to Make: Electronics, then I believe it would have to be Practical Electronics for Inventors....perfect for an electrical engineering student or maybe a high school student with a strong aptitude for...

Hello Raspberry Pi!: Python programming for kids and other beginners

Manning Publications, 2016

Summary

A fun and imaginative way for kids and other beginners to take their first steps programming on a Raspberry Pi.

Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

About the Technology

The Raspberry Pi is...

Game Programming Using QT

Packt Publishing, 2016

A complete guide to designing and building fun games with Qt and Qt Quick 2 using associated toolsets

About This Book

Learn to create simple 2D to complex 3D graphics and games using all possible tools and widgets available for game development in Qt

Understand technologies such as QML,...

jQuery Essentials

Packt Publishing, 2016

Key Features

Build dynamic websites efficiently without any performance issues
Learn to use existing jQuery plugins and or write your own for your websites
This is the most up-to-date book on the market at the moment, packed with detailed explanations and real-world examples

...

Functional Programming in JavaScript: How to improve your JavaScript programs using functional techniques

Manning Publications, 2016

Summary

Functional Programming in JavaScript teaches JavaScript developers functional techniques that will improve extensibility, modularity, reusability, testability, and performance. Through concrete examples and jargon-free explanations, this book teaches you how to apply functional programming to...

Adaptable Embedded Systems

Springer, 2012

As embedded systems become more complex, designers face a number of challenges at different levels: they need to boost performance, while keeping energy consumption as low as possible, they need to reuse existent software code, and at the same time they need to take advantage of the extra logic available in the chip, represented by multiple...

Mapping and Visualization with SuperCollider

Packt Publishing, 2013

Create interactive and responsive audio-visual applications with SuperCollider

Overview

Master 2D computer-generated graphics and animation
Perform complex encodings and audio/data analysis
Implement intelligent generative audio-visual systems

In...

Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits (Springer Series in Advanced Microelectronics)

Springer, 2013

Increasing performance demands in integrated circuits, together with limited energy budgets, force IC designers to find new ways of saving power. One innovative way is the presented adaptive voltage scaling scheme, which tunes the supply voltage according to the present process, voltage and temperature variations as well as aging. The voltage...

Gideros Mobile Game Development

Packt Publishing, 2013

With Gideros you can develop games for both iOS and Android faster and more simply. This book shows you how with a real-life project you undertake yourself. All that's required is a little familiarity with Lua.

Overview

Develop engaging iOS and Android mobile games quickly and efficiently

Result Page: 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64 63