Listing 1 - 10 of 439 | << page >> |
Sort by
|
Choose an application
Choose an application
A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations.
Choose an application
Choose an application
Choose an application
Choose an application
Computer science --- Mathematics --- Mathematics. --- Computer science - Mathematics
Choose an application
Choose an application
This volume contains the refereed and invited papers which were presented at Expert Systems 92, the twelfth annual conference of the British Computer Society's Specialist Group on Expert Systems, held in Cambridge in December 1992. Together with its predecessors this is essential reading for those who wish to keep up to date with developments and opportunities in this important field.
Choose an application
Informatique --- Computer science --- Cartographie
Choose an application
Listing 1 - 10 of 439 | << page >> |
Sort by
|