 |
|
 Formal Methods: State of the Art and New DirectionsThe last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.
Through fundamental contributions from leading researchers, this... | | The Merb Way“Foy is a gifted writer and his descriptions of the philosophies that( impacted the design and implementation of Merb are definitely useful to( everyone affected by the changes in Rails 3.”
–Obie Fernandez, Series Editor
... | | Assembly Language Step-by-Step: Programming with LinuxThe eagerly anticipated new edition of the bestselling introduction to x86 assembly language
The long-awaited third edition of this bestselling introduction to assembly language has been completely rewritten to focus on 32-bit protected-mode Linux and the free NASM assembler. Assembly is the fundamental language bridging human ideas and... |
|
PIC Microcontrollers: Know It All (Newnes Know It All)The Newnes Know It All Series takes the best of what our authors have written over the past few years and creates a one-stop reference for engineers involved in markets from communications to embedded systems and everywhere in between.
PIC design and development a natural fit for this reference series as it is one of the most... | | Microsoft SQL Server 2008 Analysis Services UnleashedAs the foundation of the Microsoft Business Intelligence Strategy, Microsoft SQL Server 2008 Analysis Services provides users with faster access to data and even more tools for managing and analyzing data across multidimensional objects (databases, dimensions, cubes).
... | | Programming Finite Elements in JavaThe finite element method (FEM) is a computational technique for solving problems which are described by partial differential equations or which can be formulated as functional minimization. The FEM is commonly used in the design and development of products, especially where structural analysis is involved. The simple object model of the... |
|
| | Essential LINQ“Charlie and Dinesh bring important skills to this project that enable them to show how LINQ works and the practical ways you can use it in your daily development process.”
From the Foreword by Anders Hejlsberg
... | | The Definitive Guide to MagentoThis book takes a comprehensive look at Magento, a robust and flexible e-commerce platform built on the Zend framework. With over 750,000 downloads, Magento is the fastest growing open source e-commerce solution. This book walks you through all of the steps necessary to build a fully functional Magento-based web site. It also includes... |
|
|
| Result Page: 739 738 737 736 735 734 733 732 731 730 729 728 727 726 725 724 723 722 721 |
