Pragmatic Engineering

Statistical Signal Processing in Engineering  eBooks & eLearning

Posted by readerXXI at June 10, 2018
Statistical Signal Processing in Engineering

Statistical Signal Processing in Engineering
by Umberto Spagnolini
English | 2018 | ISBN: 1119293979 | 608 Pages | ePUB | 31 MB

Chemical Engineering Primer with Computer Applications  eBooks & eLearning

Posted by Underaglassmoon at Feb. 3, 2018
Chemical Engineering Primer with Computer Applications

Chemical Engineering Primer with Computer Applications
CRC Press | English | 2017 | ISBN-10: 1138434485 | 287 pages | PDF | 24.60 mb

by Hussein K. Abdel-Aal (Author)

Statistical Signal Processing in Engineering  eBooks & eLearning

Posted by arundhati at Dec. 16, 2017
Statistical Signal Processing in Engineering

Umberto Spagnolini, "Statistical Signal Processing in Engineering"
2018 | ISBN-10: 1119293979 | 608 pages | PDF | 14 MB

Principles of Applied Civil Engineering Design, Second Edition  eBooks & eLearning

Posted by Underaglassmoon at Oct. 21, 2017
Principles of Applied Civil Engineering Design, Second Edition

Principles of Applied Civil Engineering Design, Second Edition
ASCE | English | 2017 | ISBN-10: 0784414734 | 380 pages | PDF | 13.22 mb

by Ying-Kit Choi (Author)
System Safety Engineering and Risk Assessment: A Practical Approach, Second Edition (Repost)

Nicholas J. Bahr, "System Safety Engineering and Risk Assessment: A Practical Approach, Second Edition"
English | 2014 | ISBN: 1466551607 | PDF | pages: 436 | 10.7 mb

Unit Operations in Environmental Engineering  eBooks & eLearning

Posted by roxul at Aug. 26, 2017
Unit Operations in Environmental Engineering

Louis Theodore and R. Ryan Dupont, "Unit Operations in Environmental Engineering"
English | ISBN: 1119283639 | 2017 | 702 pages | PDF | 4 MB

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.