Page 50
Page 50
A guide to business mathematics
A guide to using metrics to manage and measure performance, and business economics. Foundations on algebra, number theory, sequences and series, matrix theory and calculus are included as is a complete chapter on using software.
A First Course in Statistical Inference
Offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. Aimed at beginning undergraduate students in mathematics, it presents the concepts underpinning frequentist statistical theory. Written in a conversational and informal style, this concise text concentrates on ideas and concepts, with key theorems stated and proved. Detailed worked examples are included and each chapter ends with a set of exercises, with full solutions given at the back of the book. Examples using R are provided throughout the book, with a brief guide to the software included. Topics covered in the book include: sampling distributions, properties of estimators, confidence intervals, hypothesis testing, ANOVA, and fitting a straight line to paired data.
A Dictionary of Construction, Surveying and Civil Engineering
Covers the key areas of civil and construction engineering, construction technology and practice, construction management techniques and processes, as well as legal aspects such as contracts and procurement. It has been updated with more than 600 new entries spanning subjects such as sustainability, new technologies, disaster management, and building software. New additions include terms such as Air source heat pump, hydraulic failure, mechanical ventilation with heat recovery, off-site construction, predictive performance, sustainable development, and value engineering.
A Concise Introduction to Software Engineering
This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required to execute a software project successfully.
3D-groundwater modeling with PMWIN : A simulation system for modeling groundwater flow and transport processes
Along with a companion full-version software (PMWIN), this text offers an integrated simulation system. PMWIN comes with a professional graphical user-interface, supported models and programs and several other useful modeling tools. The graphical user-interface allows one to create and simulate models.
3-D Structural Geology : A Practical Guide to Quantitative Surface and Subsurface Map Interpretation
This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; for interpolating - tween and extrapolating beyond the control points; and for validating the final int- pretation. The underlying philosophy is that structures are three-dimensional solid bodies and that data from throughout the structure, whether in 2-D or 3-D format, should be integrated into an internally consistent 3-D interpretation. It is assumed that most users of this book will do their work on a computer. C- sequently, the book provides quantitative structural methods and techniques that are designed for use with spreadsheets, mapping software, and three-dimensional c- puter-graphics programs. The book is also intended to provide the background for understanding what interpretive software, for example, a computer contouring p- gram, does automatically. Most techniques are presented in both a traditional format appropriate for paper, pencil, and a pocket calculator, and in quantitative format for use with spreadsheets and computer-graphics or computer-aided-design programs.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
.NET Test Automation Recipes : A Problem-Solution Approach
If you develop, test, or manage .NET software, you will find .NET Test Automation Recipes: A Problem-Solution Approach very useful. The book presents practical techniques for writing lightweight software test automation in a .NET environment and covers API testing thoroughly. It also discusses lightweight, custom Windows application user interface automation and teaches you low-level web application user interface automation. Additional material covers SQL stored procedure testing techniques.
.NET 2.0 Interoperability Recipes : A Problem-Solution Approach
.NET represents a new and improved way of developing software for the Windows platform. Given the chance, you'd probably rewrite all of your existing code in the newer managed code environment that .NET provides. But it is difficult or impossible to throw out all existing legacy code and start over when a new technology arrives. Instead, you need to find a way to move forward with new .NET development while reusing existing pieces of tested, working code. You need a way to interoperate with the existing code until you have a chance to finally rewrite all of it in .NET.
