# The Leading eBooks Store Online

## 3,661,113 members ⚫ 1,174,592 ebooks

#### Automated Theorem Proving: A Logical Basis

Elsevier Science 2016; US$ 72.95Automated Theorem Proving: A Logical Basis more...

#### Annual Review in Automatic Programming

Elsevier Science 2016; US$ 72.95Annual Review in Automatic Programming, Volume 2 is a collection of papers that discusses the controversy about the suitability of COBOL as a common business oriented language, and the development of different common languages for scientific computation. A couple of papers describes the use of the Genie system in numerical calculation and analyzes... more...

#### Practical Knowledge Engineering

Elsevier Science 2016; US$ 72.95This book provides knowledge engineers with practical methods for initiating, designing, building, managing, and demonstrating successful commercial expert systems. It is a record of what actually works (and does not work) in the construction of expert systems, drawn from the author's decade of experience in building expert systems in all major areas... more...

#### Programming Graphical User Interfaces in R

CRC Press 2016; US$ 87.95Programming Graphical User Interfaces with R introduces each of the major R packages for GUI programming: RGtk2, qtbase, Tcl/Tk, and gWidgets. With examples woven through the text as well as stand-alone demonstrations of simple yet reasonably complete applications, the book features topics especially relevant to statisticians who aim to provide... more...

#### Green?s Functions with Applications, Second Edition

CRC Press 2016; US$ 150.95Since publication of the first edition over a decade ago, Green?s Functions with Applications has provided applied scientists and engineers with a systematic approach to the various methods available for deriving a Green?s function. This fully revised Second Edition retains the same purpose, but has been meticulously updated to reflect the current... more...

#### Introduction to Partial Differential Equations for Scientists and Engineers Using Mathematica

CRC Press 2016; US$ 97.95With a special emphasis on engineering and science applications, this textbook provides a mathematical introduction to PDEs at the undergraduate level. It takes a new approach to PDEs by presenting computation as an integral part of the study of differential equations. The authors use Mathematica ® along with graphics to improve understanding and... more...

#### Group Theory for High Energy Physicists

CRC Press 2016; US$ 90.95Although group theory has played a significant role in the development of various disciplines of physics, there are few recent books that start from the beginning and then build on to consider applications of group theory from the point of view of high energy physicists. Group Theory for High Energy Physicists fills that role. It presents groups,... more...

#### Shock Waves & Explosions

CRC Press 2016; US$ 172.95Understanding the causes and effects of explosions is important to experts in a broad range of disciplines, including the military, industrial and environmental research, aeronautic engineering, and applied mathematics. Offering an introductory review of historic research, Shock Waves and Explosions brings analytic and computational methods to a... more...

#### Complete Guide to CISM Certification

CRC Press 2016; US$ 109.95The Certified Information Security Manager ® (CISM ® ) certification program was developed by the Information Systems Audit and Controls Association (ISACA ® ). It has been designed specifically for experienced information security managers and those who have information security management responsibilities. The Complete Guide to CISM ® Certification... more...

#### Interactive Dynamic-System Simulation, Second Edition

CRC Press 2016; US$ 109.95A hands-on tutorial, covering interactive simulation of dynamical systems such as aerospace vehicles, power plants, chemical processes, control systems, and physiological systems. In practice, simulation experiments are employed for iterative decision-making, whereby programs are run, modified, and run again and again. It is very important to emphasize... more...