Pragmatic Engineering

Can Science Fix Climate Change?: A Case Against Climate Engineering  eBooks & eLearning

Posted by Willson at Aug. 8, 2017
Can Science Fix Climate Change?: A Case Against Climate Engineering

Mike Hulme, "Can Science Fix Climate Change?: A Case Against Climate Engineering"
English | 2014 | ISBN: 0745682065, 0745682057 | 144 pages | EPUB | 0.5 MB

Injection Mold Design Engineering (Repost)  eBooks & eLearning

Posted by nebulae at June 19, 2017
Injection Mold Design Engineering (Repost)

David O. Kazmer, "Injection Mold Design Engineering"
2007 | ISBN: 1569904170 | English | 430 pages | PDF | 7 MB

Injection Mold Design Engineering (2nd Edition)  eBooks & eLearning

Posted by Jeembo at May 14, 2017
Injection Mold Design Engineering (2nd Edition)

Injection Mold Design Engineering (2nd Edition) by David Kazmer
English | 2016 | ISBN: 1569905703 | 529 Pages | PDF | 71.3 MB

This book provides a structured methodology and scientific basis for engineering injection molds. T
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.

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

Integrating Information Into the Engineering Design Process (Repost)  eBooks & eLearning

Posted by enmoys at May 18, 2016
Integrating Information Into the Engineering Design Process (Repost)

Integrating Information Into the Engineering Design Process By Michael Fosmire, David Radcliffe
2013 | 212 Pages | ISBN: 155753649X | EPUB, MOBI, PDF | 3 MB + 4 MB + 9 MB

Using UML: Software Engineering with Objects and Components  eBooks & eLearning

Posted by step778 at July 22, 2015
Using UML: Software Engineering with Objects and Components

Perdita Stevens, "Using UML: Software Engineering with Objects and Components"
2006 | pages: 275 | ISBN: 0321269675 | PDF | 3,3 mb