Pragmatic Engineering

This book provides a structured methodology and scientific basis for engineering injection molds. T

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.

by Thomas Howard Blair (Author)
Energy Production Systems Engineering presents IEEE, Electrical Apparatus Service Association (EASA), and International Electrotechnical Commission (IEC) standards of engineering systems and equipment in utility electric generation stations.

This second volume of the Metabolic Pathway Engineering Handbook delves into evolutionary tools and gene expression tools for metabolic pathway engineering. It covers applications of emerging technologies including recent research genome-wide technologies, DNA and phenotypic microarrays, and proteomics tools for experimentally determining flux through pathways.

This course serves as a descriptive, in-depth guideline for pragmatic unit testing.

Behavior-driven Design (BDD) is a simple way to structure your tests and development practice, but over the years it's been convoluted by jargon and cargo-cult testing frameworks. In this course, Rob Conery creates a membership library for ASP.NET MVC and brings you along in an "over-the-shoulder," pair-coding style. Along the way concepts will be discussed at length, and at the end you'll appreciate how elegant, simple, and helpful BDD can be.

Authors: Knodel, Jens, Naab, Matthias
Presents the lessons learned from more than 75 architecture evaluation projects with industrial customers
Provides comprehensive answers to more than 100 typical questions and discusses more than 60 frequent mistakes and lessons learned
Written in a style accessible to both professionals and researchers and offers a balance of quantitative measurement and qualitative expertise