Electronic Books

Total Books: 461 - 480 /491
978-0-387-68222-8
The Seven Secrets of How to Think Like a Rocket Scientist

In this book, illustrated are the methods (the 7 secrets) with anecdotes, quotations and biographical sketches of famous ...

Continue reading
978-3-540-79462-2
The Subthalamic Nucleus Part II: Modelling and Simulation of Activity

Part II starts with a systemic model of the basal ganglia to evaluate the position of the STN in the direct, indirect and ...

Continue reading
978-3-540-72788-0
Theory and Applications of Satisfiability Testing - SAT 2007

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

Continue reading
978-3-540-79719-7
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

Continue reading
978-0-387-25403-6
Therapeutic Hypothermia

This volume will be of interest to both the researcher interested in therapeutic hypothermia as well as the clinician interested ...

Continue reading
978-3-540-72228-1
Thinking in Complexity

The theory of nonlinear, complex systems has become by now a proven problem-solving approach in the natural sciences. In ...

Continue reading
978-0-387-74644-9
Tourists in Space : A Practical Guide

Recent surveys have provided new and updated information into public insights of the nascent space tourism industry. Erik ...

Continue reading
978-3-540-87563-5
Transactions on Computational Science II

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

Continue reading
978-3-540-39383-2
Transactions on Rough Sets V

Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...

Continue reading
978-3-540-36906-6
Transport at the Air Sea Interface

This monograph contains selected, peer-reviewed post-conference contributions of the International Workshop on Transport ...

Continue reading
978-0-387-31066-4
Treating Chronic Depression with Disciplined Personal Involvement

For more than a century, the psychotherapist role has been dominated by Freud’s neutrality rule: don’t become personally ...

Continue reading
978-0-387-70883-6
Treating Trichotillomania

Trichotillomania has been described in the literature for at least a hundred years, but has only in the past decade received ...

Continue reading
978-3-540-48842-2
Tropical Rainforest Responses to Climatic Change

The goal of this book is to provide a current overview of the impacts of climate change on tropical forests, to investigate ...

Continue reading
978-0-387-49648-1
Ultra High Field Magnetic Resonance Imaging

Ultra High Field Magnetic Resonance Imaging covers the theoretical, experimental and clinical aspects of UHFMRI, and examines ...

Continue reading
978-3-540-28925-8
Ultrasonography in Vascular Diagnosis

This comprehensive and up-to-date presentation of vascular ultrasound provides a detailed account of this diagnostic modality ...

Continue reading
978-0-306-47949-6
Understanding Sleep and Dreaming

Although sleep has been the subject of serious study for several decades, there has not been available an integrated, introductory ...

Continue reading
978-3-540-87746-2
Uranium, Mining and Hydrogeology

Subject of the book is Uranium and its migration in aquatic environments. The following subjects are emphasised: Uranium ...

Continue reading
978-3-030-59880-8
Use of Force Training in Law Enforcement

This Brief describes a reality based approach to use-of-force training in law enforcement, an area of growing importance. ...

Continue reading
978-3-540-69738-1
Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Continue reading
978-3-540-78163-9
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Continue reading
Total Books: 461 - 480 /491