Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor ...
Continue reading
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
Continue reading
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Continue reading
This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their ...
Continue reading
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Continue reading
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Continue reading
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Continue reading
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Continue reading
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Continue readingThis book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
Continue readingFirmly grounded in the scholarly literature globally, it engages with the experience of local practicioners. It presents ...
Continue readingThe foods you choose to eat can have a direct impact on your ability to enjoy life to its fullest. Perhaps the most obvious ...
Continue reading
Accelerated partial breast irradiation (APBI) is being rapidly introduced into the clinical management of early breast cancer. ...
Continue reading
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Continue readingThis book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
Continue reading
The book offers a concise guide for librarians, helping them understand the challenges, processes and technologies involved ...
Continue reading
The sixth campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held from January to September ...
Continue reading
In this book Claudia Lemke develops a comprehensive Multi-Level Sustainable Development Index (MLSDI) that is applicable ...
Continue reading
Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop ...
Continue reading
Designed to meet the needs of all orthodontists interested in treating children, adolescents, and/or adults with brackets ...
Continue reading