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

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

Pragmatic Power  eBooks & eLearning

Posted by step778 at April 6, 2015
Pragmatic Power

William J. Eccles, "Pragmatic Power"
2008 | pages: 98 | ISBN: 1598297988 | PDF | 6,4 mb

Recommendation Systems in Software Engineering [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Sept. 14, 2014
Recommendation Systems in Software Engineering [Repost]

Martin P. Robillard, Walid Maalej, Robert J Walker, Thomas Zimmermann - Recommendation Systems in Software Engineering
Published: 2014-05-14 | ISBN: 3642451349, 3642451365 | PDF | 562 pages | 13 MB