An Introduction to Special Functions By Carlo Viola English | EPUB | 2016 | 168 Pages | ISBN : 3319413449 | 3.48 MB
The subjects treated in this book have been especially chosen to represent a bridge connecting the content of a first course on the elementary theory of analytic functions with a rigorous treatment of some of the most important special functions: the Euler gamma function, the Gauss hypergeometric function, and the Kummer confluent hypergeometric function. Such special functions are indispensable tools in "higher calculus" and are frequently encountered in almost all branches of pure and applied mathematics.
An Introduction to the English School of International Relations: The Societal Approach by Barry Buzan English | 2014 | ISBN: 0745653146 , 0745653154 | ISBN-13: 9780745653143 , 9780745653150 | 256 pages | PDF | 1,6 MB
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.