Tips for computer scientists on Standard ML

Commentary on Standard ML

✍ Milner R., Tofte M. 📂 Library 📅 1991 🏛 MIT 🌐 English

The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML. Together, the two volumes provide a complete understanding of the most promi

Commentary on Standard ML

📁 Commentary on Standard ML

✍ Robin Milner, Mads Tofte 📂 Library 📅 1991 🏛 MIT Press 🌐 English

Scientific Computing: For Scientists and

📁 Scientific Computing: For Scientists and Engineers

✍ Timo Heister, Leo G. Rebholz 📂 Library 📅 2023 🏛 De Gruyter 🌐 English

Scientific Computing for Scientists and Engineers is designed to teach undergraduate students relevant numerical methods and required fundamentals in scientific computing. Most problems in science and engineering require the solution of mathematical problems, most of which can only be done on a com

Scientific Computing. For Scientists and

📁 Scientific Computing. For Scientists and Engineers

✍ Timo Heister, Leo G. Rebholz 📂 Library 📅 2023 🏛 De Gruyter 🌐 English

Scientific Computing: For Scientists and

📁 Scientific Computing: For Scientists and Engineers

✍ Timo Heister; Leo G. Rebholz 📂 Library 📅 2015 🏛 De Gruyter 🌐 English

Scientific Computing for Scientists and Engineers is designed to teach undergraduate students relevant numerical methods and required fundamentals in scientific computing. Most problems in science and engineering require the solution of mathematical problems, most of which can onl

Scientific Computing: For Scientists and

📁 Scientific Computing: For Scientists and Engineers

✍ Timo Heister; Leo G. Rebholz 📂 Library 📅 2015 🏛 De Gruyter 🌐 English

Scientific Computing for Scientists and Engineers is designed to teach undergraduate students relevant numerical methods and required fundamentals in scientific computing. Most problems in science and engineering require the solution of mathematical problems, most of which can onl