Orna Grumberg & Michael Kaminski 
Languages: From Formal to Natural [PDF ebook] 
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

This text provides a detailed introduction to number theory, demonstrating how other areas of mathematics enter into the study of the properties of natural numbers. It contains problem sets within ea …

The goal of this book is to present the main ideas and techniques in the field of continuous smooth and nonsmooth optimization. Starting with the case of differentiable data and the classical results …

The book takes a problem solving approach in presenting the topic of differential equations. It provides a complete narrative of differential equations showing the theoretical aspects of the problem …

The second edition of a bestselling textbook, Using R for Introductory Statistics guides students through the basics of R, helping them overcome the sometimes steep learning curve. The author does th …

Intellectual property owners must continually exploit new ways of reproducing, distributing, and marketing their products. However, the threat of piracy looms as a major problem with digital distribu …

This book focuses on the class of large-scale stochastic systems, which has dominated the attention of many academic and research groups. It discusses distributed-sensor networks, decentralized detec …

This work offers detailed coverage of every important aspect of symmetric structures in function of a single real variable, providing a historical perspective, proofs and useful methods for addressin …

Over the past six decades, several extremely important fields in mathematics have been developed. Among these are Itô calculus, Gaussian measures on Banach spaces, Malliavan calculus, and white noise …

A First Course in Ergodic Theory provides readers with an introductory course in Ergodic Theory. This textbook has been developed from the authors’ own notes on the subject, which they have been teac …

This book describes different mathematical modeling and soft computing techniques used to solve practical engineering problems. It gives an overview of the current state of soft computing techniques …