Learn IT - Today Books

Formal Refinement for Operating System Kernels

Springer, 2007

The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of...

Practical JBossВ® Seam Projects

Apress, 2007

Practical JBoss® Seam Projects, written by renowned author and enterprise Java practitioner Jim Farley, is expected to be the first practical projects book of its kind on this groundbreaking open source lightweight JSF-EJB3 framework.

Practical application scenarios are used to demonstrate the nature of the...

Building Spring 2 Enterprise Applications

Apress, 2007

This book covers the Spring Framework, the Java application framework of choice for tens of thousands of Java developers worldwide. We feel it is important to introduce you to the Spring Framework by showing you how to use it. So we wrote a book that uses a complex sample application to demonstrate how the Spring Framework is used in a typical...

AdvancED DOM Scripting: Dynamic Web Design Techniques

Friends of Ed, 2007

Document Object Model (DOM) scripting is often misrepresented as any sort of scripting on the Web, but pure DOM scripting includes only those features and methods incorporated into a W3C DOM specification—that means no proprietary browser features. In a perfect world, we could follow the standards, ignore proprietary features, and finish with...

Modelling and Simulation: Exploring Dynamic System Behaviour

Springer, 2007

The application of modelling and simulation is unconstrained by discipline boundaries. It provides support for the planning, design and evaluation of system behaviour, as well as the evaluation of strategies for dynamic system transformation and change.

Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader...

Advances and Innovations in Systems, Computing Sciences and Software Engineering

Springer, 2007

Advances and Innovations in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems.

Advances and Innovations in Systems, Computing Sciences and...

Spatial Data on the Web: Modeling and Management

Springer, 2007

Spatial data is essential in a wide range of application domains today. While geographical applications remain the key target area, spatial properties are required in other contexts such as computer-aided design, robotics and image processing. Associated with these is the constantly growing number of distributed processing architectures, based on,...

Beginning PL/SQL: From Novice to Professional

Apress, 2007

This is a book about writing stored procedures for an Oracle database. A stored procedure in this context is a generic term for a program written in the Procedure Language extension for SQL (PL/SQL) that is stored inside the database when it is compiled. This means that you can then execute the program from inside the database. Why would you want...

Inside Your Calculator: From Simple Programs to Significant Insights

John Wiley & Sons, 2007

Many of us want to understand how the technological instruments that so pervade modern society operate. This book answers questions about one of those devices: the scientific calculator. Calculator keys seem to work like magic. They tell us, for example, that the cosine of 56° is 0.559192903. This book explores the simple...

Compiling Esterel

Springer, 2007

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it.

Esterel is based on the simple...

Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems (Cognitive Technologies)

Springer, 2007

This book presents biologically inspired walking machines interacting with their physical environment. It describes how the designs of the morphology and the behavior control of walking machines can benefit from biological studies. The purpose of this book is to develop a modular structure of neural control generating different reactive behaviors...

Managing Humans: Biting and Humorous Tales of a Software Engineering Manager

Apress, 2007

Managing Humans is a selection of the best essays from Michael Lopp's web site, Rands In Repose. Drawing on Lopp's management experiences at Apple, Netscape, Symantec, and Borland, this book is full of stories based on companies in the Silicon Valley where people have been known to yell at each other. It is a place full...

Result Page: 744 743 742 741 740 739 738 737 736 735 734 733 732 731 730 729 728 727 726