Programming Books | Windows Programming Books

With the advance of computing technology, Monte Carlo simulation research has become increasingly popular among quantitative researchers in a variety of disciplines. More and more, statistical methods are being subjected to rigorous empirical scrutiny in the form of statistical simulation so that their limitations and strengths can be understood. With the combination of powerful built-in statistical procedures and versatile programming capabilities, SAS is ideal for conducting Monte Carlo simulation research! Xitao Fan, Akos Felsovalyi, Stephen Sivo, and Sean Keenan's SAS for Monte Carlo Studies: A Guide for Quantitative Researchers provides detailed and practical guidance for conducting Monte Carlo studies using SAS. Quantitative researchers will find this book attractive for its practicality and for its many hands-on application examples of Monte Carlo research.

Numerous step-by-step examples show you--the economist, business forecaster, student, or researcher--how to use SAS to generate forecasts for a variety of business and economic data. Examples are based on both time series models and econometric models. You'll learn how to use SAS to forecast time series data using Box-Jenkins ARIMA methodology; develop and forecast transfer functions and intervention models; fit and forecast regression models with autocorrelated, heteroskedastic, and ARCH-GARCH error terms; estimate nonlinear regression models; create forecast confidence limits using Monte Carlo simulation; and more! The main focus of the book is on the code-based procedures in SAS/ETS software, but this book also provides an introduction to the interactive Time Series Forecasting System, and it shows how to plot data and forecasts with SAS/GRAPH software.

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.

This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages. 22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

This book constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. The 20 revised full papers presented were carefully reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized in topical sections on data-flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference, and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled "data-flow analysis as model checking of abstract interpretations".

This book constitutes the refereed proceedings of the 6th International Symposium on Static Analysis, SAS'99, held in Venice, Italy in September 1999. The 18 revised full papers presented together with five invited contributions, were carefully reviewed and selected from 42 submissions. The book presents the state of the art in Static Analysis. The papers are organized in sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment, and foundations.

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000. The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.

SAS/STAT software provides extensive statistical capabilities with tools for both specialized and enterprise-wide analytical needs. It can help you analyze data and make informed decisions for research, engineering, manufacturing, medical, and business applications. This user's guide provides the latest, detailed reference material for the procedures in SAS/STAT, including analysis of variance, regression, categorical data analysis, multivariate analysis, survival analysis, psychometric analysis, cluster analysis, nonparametric analysis, and survey data analysis. Also included are syntax and usage information, examples, and a discussion of the use of the Output Delivery System with the statistical software. New chapters for SAS 9.1 describe software for power and sample size computations, robust regression, multiple imputation, crosstabulations, table analysis, and logistic regression for survey data. Many other chapters have been updated with SAS 9.1 enhancements. This title serves as a reference guide for both novice and expert users of SAS/STAT software. This title is also available free online from SAS Publishing.

JMP Start Statistics: A Guide to Statistics and Data Analysis Using JMP, Fourth Edition, is a complete and orderly introduction to analyzing data using JMP statistical discovery software from SAS. A mix of software manual and statistics text, this book provides hands-on tutorials with just the right amount of conceptual and motivational material to illustrate how to use JMP's intuitive interface for data analysis. Each chapter features concept-specific tutorials, examples, brief reviews of concepts, step-by-step illustrations, and exercises. This book is a great tool for statistics students or practitioners needing a software-related statistics review.