Modern development of science and technology is based to a large degree on computer modelling. To understand the principles and techniques of computer modelling, students should first get a strong background in classical numerical methods, which are the subject of this book. Thi…
Numerical analysis is a subject of extreme interest to mathematicians and computer scientists, who will welcome this first inexpensive paperback edition of a groundbreaking classic text on the subject. In an introductory chapter on numerical methods and their relevance to comput…
For this inexpensive paperback edition of a groundbreaking classic, the author has extensively rearranged, rewritten, and enlarged the material. Book is unique in its emphasis on the frequency approach and its use in the solution of problems. Contents include: Fundamentals and A…
Learn how to use R to turn raw data into insight, knowledge, and understanding. This book introduces you to R, RStudio, and the tidyverse, a collection of R packages designed to work together to make data science fast, fluent, and fun. Suitable for readers with no previous progr…
The only how-to guide offering a unified, systemic approach to acquiring, cleaning, and managing data in R Every experienced practitioner knows that preparing data for modeling is a painstaking, time-consuming process. Adding to the difficulty is that most modelers learn the ste…
Providing both introductory and advanced techniques, this single-source guide to R data and its preparation, offers a unified, systematic approach to acquiring, modeling, manipulating, cleaning, and maintaining data in R. --
This book provides training and access to MATLAB®, the computational language developed by MathWorks®, specific to research speech-language pathology and audiology. This book is intended for students, practitioners, and researchers who wish to increase their productivity by inco…
This reference on undergraduate mathematical computing provides guidance in applying Maple and MATLAB to problems in the workplace.
Theory and applications of satisfiability testing - SAT 2010: 13th International Conference, SAT 2010, Edinburg…
by Strichman, Ofer, Szeider, Stefan, International Conference on Theory and Applications of Satisfiability Testing, SAT, Edinburgh, Great Britain)
fromLecture Notes in Computer Science
Annotation
"During World War II, when the newly minted Jet Propulsion Laboratory needed quick-thinking mathematicians to calculate jet velocities and plot missile trajectories, they recruited an elite group of young women--known as human computers--who, with only pencil, paper, and mathema…