Learn IT - Books tags head first

Basic Neurochemistry, Seventh Edition: Molecular, Cellular and Medical Aspects

Academic Press, 2005

This Seventh Edition of Basic Neurochemistry: Molecular, Cellular and Medical Aspects is appearing near to the 50th anniversary of the founding of neurochemistry as a discipline. This seems an appropriate time to examine the progress of neurochemistry and of this book. To make this brief, we will look at only two topics, which may be...

Reasoning with Logic Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Springer, 1996

The present book 1 provides a rigorous treatment and coherent presentation of the consolidated results of the authors' work, over the past four years, on the employment of logic programming as a representational and reasoning tool. It comes out of a background of a world-wide research effort for at least the past six years on the...

Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011

Springer, 2011

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions....

Cryptographic Hardware and Embedded Systems - CHES 2009: 11th International Workshop Lausanne

Springer, 2009

CHES 2009, the 11th workshop on Cryptographic Hardware and Embedded Systems, was held in Lausanne, Switzerland, September 6–9, 2009. The workshop was sponsored by the International Association for Cryptologic Research (IACR).

The workshop attracted a record number of 148 submissions from 29 countries, of which the...

PDF Explained

O'Reilly, 2011

The Portable Document Format (PDF) is the world’s leading page description language, and the first format equally useful for print and online use.

PDF documents are now almost ubiquitous in the printing industry, in document interchange, and in the online distribution of paginated content. They are, however,...

Intelligent Integrated Media Communication Techniques

Springer, 2003

We can understand the multimedia technology as a digital integration of texts, graphics, audio, animation, still images and motion video in a way that provides a high level of personal interaction and control to individual users. The evolution of multimedia is a convergence of the mentioned media types to a unique system. Before the...

Gene Expression Programming: Mathematical Modeling by an Artificial Intelligence (Studies in Computational Intelligence)

Springer, 2006

The idea for this second edition came from Janusz Kacprzyk on April 29, 2005, who kindly invited me to his new Springer series, Studies in Computational Intelligence. The initial plan was to correct the usual typos and mistakes but leave the book unchanged, as Janusz thought (and I agreed with him) that it was the proper moment...

Advances in Multimedia Information Processing - PCM 2005: 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005

Springer, 2005

We are delighted to welcome readers to the proceedings of the 6th Pacific-Rim Conference on Multimedia (PCM). The first PCM was held in Sydney, Australia, in 2000. Since then, it has been hosted successfully by Beijing, China, in 2001, Hsinchu, Taiwan, in 2002, Singapore in 2003, and Tokyo, Japan, in 2004, and finally Jeju, one...

Cocos2d for iPhone 1 Game Development Cookbook

Packt Publishing, 2011

Cocos2d for iPhone is a robust but simple to use 2D game framework for iPhone. It is fast, flexible, free, and App Store approved. More than 2500 App Store games already use it, including many best-selling games. Do you want to take your Cocos2d game development skills to the next level and become more professional in Cocos2d game design?...

Modeling Financial Markets : Using Visual Basic.NET and Databases to Create Pricing, Trading, and Risk Management Models

McGraw-Hill, 2004

Although this book follows the layout of a programming book, the underlying theme is financial modeling and quantitative trading system development. In a sense, this book really marries four disciplines—computer science, quantitative finance, trading strategy, and quality development—into one, financial engineering....

Beginning BlackBerry 7 Development

Apress, 2011

Are you interested in creating BlackBerry apps using the latest BlackBerry 7 and BlackBerry Java Plug-in for Eclipse? Then this is the book for you. Beginning BlackBerry 7 Development offers a hands-on approach to learning how to build and deploy sophisticated BlackBerry apps using the latest tools...

iPhone and iOS Forensics: Investigation, Analysis and Mobile Security for Apple iPhone, iPad and iOS Devices

Syngress Publishing, 2011

This book is intended for individuals who are interested in the iPhone and other iOS devices and, more importantly, in the type of data that is stored and can be recovered from these devices. The demand for mobile forensics has grown tremendously with the release of smart phones. Communication on these devices is now documented...

Result Page: 815 814 813 812 811 810 809 808 807 806 805 804 803 802 801 800 799 798 797