Pragmatic Engineering

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by Adam Chlipala
English | Dec. 6, 2013 | ISBN: 0262026651 | 369 Pages | PDF | 4 MB

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.

Energy Production Systems Engineering  eBooks & eLearning

Posted by Underaglassmoon at Jan. 16, 2017
Energy Production Systems Engineering

Energy Production Systems Engineering
Wiley-IEEE | English | January 2017 | ISBN-10: 1119238005 | 832 pages | PDF | 26.32 mb

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.

Engineering Modeling Languages: Turning Domain Knowledge into Tools  eBooks & eLearning

Posted by arundhati at Dec. 29, 2016
Engineering Modeling Languages: Turning Domain Knowledge into Tools

Benoit Combemale, Robert France, "Engineering Modeling Languages: Turning Domain Knowledge into Tools"
2016 | ISBN-10: 1466583738 | 402 pages | PDF | 21 MB

Bio-inspired Materials for Biomedical Engineering (repost)  eBooks & eLearning

Posted by arundhati at Dec. 3, 2016
Bio-inspired Materials for Biomedical Engineering (repost)

Anthony B. Brennan, Chelsea M. Kirschner, "Bio-inspired Materials for Biomedical Engineering"
English | 2014 | ISBN: 111836936X | 400 pages | EPUB | 14 MB

The Metabolic Pathway Engineering Handbook: Tools and Applications: v. 2  eBooks & eLearning

Posted by MoneyRich at Dec. 1, 2016
The Metabolic Pathway Engineering Handbook: Tools and Applications: v. 2

The Metabolic Pathway Engineering Handbook: Tools and Applications: v. 2 by Christina Smolke
English | 30 July 2009 | ISBN: 1420077651 | 581 Pages | PDF | 11 MB

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.

Building a Pragmatic Unit Test Suite (2016)  eBooks & eLearning

Posted by naag at Oct. 8, 2016
Building a Pragmatic Unit Test Suite (2016)

Building a Pragmatic Unit Test Suite
October 2016 | MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 3 Hours 42M | 584 MB
Genre: eLearning | Language: English

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

Pluralsight - Pragmatic Behavior-driven Design with .NET [repost]  eBooks & eLearning

Posted by house23 at Aug. 20, 2016
Pluralsight - Pragmatic Behavior-driven Design with .NET [repost]

Pluralsight - Pragmatic Behavior-driven Design with .NET
MP4 | AVC 664kbps | English | 1280x720 | 30fps | 2h 52mins | AAC stereo 128kbps | 1.3 GB
Genre: Video Training

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.

Pragmatic Evaluation of Software Architectures  eBooks & eLearning

Posted by Underaglassmoon at June 10, 2016
Pragmatic Evaluation of Software Architectures

Pragmatic Evaluation of Software Architectures
Springer | Software Engineering | July 9, 2016 | ISBN-10: 3319341766 | 154 pages | pdf | 3.68 mb

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

Web Engineering: A Practioner's Approach (repost)  eBooks & eLearning

Posted by interes at May 4, 2015
Web Engineering: A Practioner's Approach (repost)

Web Engineering: A Practioner's Approach by Roger Pressman
English | January 22, 2008 | ISBN: 0073523291 | Pages: 472 | PDF | 43.3 MB

Pragmatic Circuits: Frequency Domain (Repost)  eBooks & eLearning

Posted by step778 at April 6, 2015
Pragmatic Circuits: Frequency Domain (Repost)

William J. Eccles, "Pragmatic Circuits: Frequency Domain"
2006 | pages: 136 | ISBN: 1598290703 | PDF | 16 mb