An Introduction to Well Control Calculations for Drilling Operations By Dave Cormack English | PDF | 2017 | 304 Pages | ISBN : 3319631896 | 4.22 MB
This book removes the mystery and pressure from calculations by equipping readers with the tools they need to understand calculations and how they work. This is done by using straight-forward language and showing fully worked out, rig-based examples throughout. The book comprises of mini lessons which are never more than two pages long and a complete lesson is always in view when the book is open in front of you.
Rigorous Software Development: An Introduction to Program Verification By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa English | EPUB | 2011 | 307 Pages | ISBN : 0857290177 | 3.64 MB
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification.
Introduction to Software Process Improvement By Gerard O'Regan English | EPUB | 2011 | 252 Pages | ISBN : 0857291718 | 1.68 MB
Capability Maturity Model Integration (CMMI) is the de facto standard for implementing best practice in software engineering. Many experts believe that there is a close relationship between the quality and maturity of the underlying software processes on the one hand, and the quality of the delivered software product. Implementation of the CMMI enables an organization to design and develop software following sound software engineering principles.
Introduction to Artificial Intelligence By Wolfgang Ertel English | EPUB | 2011 | 316 Pages | ISBN : 0857292986 | 4.96 MB
The ultimate aim of artificial intelligence (A.I.) is to understand intelligence and to build intelligent software and robots that come close to the performance of humans. On their way towards this goal, A.I. researchers have developed a number of quite different subdisciplines.