Computer Science

For students in industrial and systems engineering (ISE) and operations research (OR) to understand optimization at an advanced level, they must fi...

In this book, fascinating autobiographical accounts by leading scholars in a variety of fields and disciplines provide a rich introduction to the a...

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. ...

Clustering remains a vibrant area of research in statistics. Although there are many books on this topic, there are relatively few that are well fo...

Clustering remains a vibrant area of research in statistics. Although there are many books on this topic, there are relatively few that are well fo...

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It...

Numerical Analysis for Engineers: Methods and Applications demonstrates the power of numerical methods in the context of solving complex engineerin...

Writing and Managing SOPs for GCP is the first book to discuss managing Standard Operating Procedures (SOPs) for Good Clinical Practice (GCP) from ...

The Cauchy Transform, Potential Theory and Conformal Mapping explores the most central result in all of classical function theory, the Cauchy integ...

While aviation fatalities have thankfully fallen dramatically in recent years, the phenomena of complexity and cognitive bias have been shown to be...

While aviation fatalities have thankfully fallen dramatically in recent years, the phenomena of complexity and cognitive bias have been shown to be...

This book takes a holistic view of the roles of ICTs during the pandemic through the lens of social informatics, as it is critical to our understan...

This book aims to familiarize with the basics of the SEMS theory, including logical-probabilistic and logical-linguistic methods for their design a...

On the surface, matrix theory and graph theory seem like very different branches of mathematics. However, adjacency, Laplacian, and incidence matri...

Driver Reactions to Automated Vehicles focuses on the design and evaluation of the handover to and from driver and the automobile. The authors pres...

Developed from the authors courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logica...

Explosive Ordnance Disposal (EOD) personnel are some of the most highly trained people in the military, with a job description that spans defusing ...

Explosive Ordnance Disposal (EOD) personnel are some of the most highly trained people in the military, with a job description that spans defusing ...

Computational Mathematics: Models, Methods, and Analysis with MATLAB® and MPI is a unique book covering the concepts and techniques at the core of ...