Electronic Books

Total Books: 1221 - 1240 /2372

includes contributions originating from a conference held at Chapman University during November 14-19, 2017. It presents ...

This book covers two major classes of mixed effects models—linear mixed models and generalized linear mixed models—and ...

This book covers two major classes of mixed effects models, linear mixed models and generalized linear mixed models, and ...

"Linear and Nonlinear Programming" is considered a classic textbook in Optimization. While it is a classic, it also reflects ...

The predictive power of mathematics in quantum phenomena is one of the great intellectual successes of the 20th century. ...

The aim of this book is to give a systematic introduction to and overview of the relatively simple and popular linearization ...

The book addresses the “balancing act” between developing students’ modelling skills on the one hand, and using modelling ...

The whole volume consisting of 19 chapters is divided into 3 parts: Models and Theories; Operators and Frameworks; Applications. ...

In this book, experts in statistics and psychometrics describe classes of linkages, the history of score linkings, data collection ...

Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local ...

Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...

Although modern location theory is now more than 90 years old, the focus of researchers in this area has been mainly problem ...

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

Total Books: 1221 - 1240 /2372