Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Mathematical and Computational Modeling and Simulation: Fundamentals and Case Studies

Posted By: AvaxGenius
Mathematical and Computational Modeling and Simulation: Fundamentals and Case Studies

Mathematical and Computational Modeling and Simulation: Fundamentals and Case Studies by Dietmar P. F. Moeller
English | PDF | 2004 | 438 Pages | ISBN : 3540403892 | 29.2 MB

Mathematical and Computational Modeling and Simulation - a highly multi-disciplinary field with ubiquitous applications in science and engineering - is one of the key enabling technologies of the 21st century. This book introduces to the use of Mathematical and Computational Modeling and Simulation in order to develop an understanding of the solution characteristics of a broad class of real-world problems. The relevant basic and advanced methodologies are explained in detail, with special emphasis on ill-defined problems. Some 15 simulation systems are presented on the language and the logical level. Moreover, the reader can accumulate experience by studying a wide variety of case studies. The latter are briefly described within the book but their full versions as well as some simulation software demos are available on the Web. The book can be used for University courses of different level as well as for self-study. Advanced sections are marked and can be skipped in a first reading or in undergraduate courses.

Rigorous Software Development: An Introduction to Program Verification (Repost)

Posted By: AvaxGenius
Rigorous Software Development: An Introduction to Program Verification (Repost)

Rigorous Software Development: An Introduction to Program Verification by José Bacelar Almeida
English | PDF | 2011 | 269 Pages | ISBN : 0857290177 | 2.95 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.