Filter by
Automated Technology for Verification and Analysis : 13th International Sympo…
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24953-7
- Collation
- XIII, 520
- Series Title
- -
- Call Number
- 006.3
Automated Reasoning with Analytic Tableaux and Related Methods : 24th Interna…
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24312-2
- Collation
- XVI, 355
- Series Title
- -
- Call Number
- 006.4
Ranaviruses : Lethal Pathogens of Ectothermic Vertebrates
This is the first book on ranaviruses. Ranaviruses are double-stranded DNA viruses that cause hemorrhagic disease in amphibians, reptiles, and fish. They have caused mass die-offs of ectothermic vertebrates in wild and captive populations around the globe. There is evidence that this pathogen is emerging and responsible for population declines in certain locations. Considering that amphibians a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13755-1
- Collation
- -
- Series Title
- -
- Call Number
- 579.165 RAN
Eulerian Numbers
This text presents the Eulerian numbers in the context of modern enumerative, algebraic, and geometric combinatorics. The book first studies Eulerian numbers from a purely combinatorial point of view, then embarks on a tour of how these numbers arise in the study of hyperplane arrangements, polytopes, and simplicial complexes. Some topics include a thorough discussion of gamma-nonnegativity and…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3091-3
- Collation
- 74 b/w illustrations, 4 illustrations in colour
- Series Title
- -
- Call Number
- -
Ethnobotany of Mexico Interactions of People and Plants in Mesoamerica
This book reviews the history, current state of knowledge, and different research approaches and techniques of studies on interactions between humans and plants in an important area of agriculture and ongoing plant domestication: Mesoamerica. Leading scholars and key research groups in Mexico discuss essential topics as well as contributions from international research groups that have conduct…
- Edition
- -
- ISBN/ISSN
- 978-1-4614-6669-7
- Collation
- 21 b/w illustrations, 71 illustrations in colour
- Series Title
- -
- Call Number
- -
Essentials of Vascular Surgery for the General Surgeon
This volume provides a concise and up to date resource that directly addresses the needs of general surgeons who perform vascular surgery by focusing on the diagnosis and clinical management of common vascular conditions. The volume is divided into sections on arterial disease, venous disease, vascular trauma, and vascular access. Chapters on arterial disease outline the management and surgical…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-1326-8
- Collation
- 100 b/w illustrations, 90 illustrations in colour
- Series Title
- -
- Call Number
- -
Essentials of Stochastic Processes
Building upon the previous editions, this textbook is a first course in stochastic processes taken by undergraduate and graduate students (MS and PhD students from math, statistics, economics, computer science, engineering, and finance departments) who have had a course in probability theory. It covers Markov chains in discrete and continuous time, Poisson processes, renewal processes, martinga…
- Edition
- -
- ISBN/ISSN
- 978-3-319-45614-0
- Collation
- 26 b/w illustrations
- Series Title
- -
- Call Number
- -
Essentials of Robotic Surgery
Essentials of Robotic Surgery is designed to present a comprehensive and state-of-the-art approach to robotic surgery within the broad confines of general surgery. Sections address preliminary issues faced by surgeons who may be initially undertaking robotics. These areas include training, basic techniques and setup, as well as general troubleshooting. Subsequent chapters focus on specific dis…
- Edition
- -
- ISBN/ISSN
- 978-3-319-09564-6
- Collation
- 2 b/w illustrations, 117 illustrations in colour
- Series Title
- -
- Call Number
- -
Essentials of Cerebellum and Cerebellar Disorders A Primer For Graduate Stud…
Essentials of the Cerebellum and Cerebellar Disorders is the first book of its kind written specifically for graduate students and clinicians. It is based on the 4-volume treatise, Handbook of the Cerebellum and Cerebellar Disorders (Springer, 2013), the definitive reference for scientists and neurologists in the field of cerebellar neurobiology. There have been fundamental advances in the basi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24551-5
- Collation
- 51 b/w illustrations, 61 illustrations in colour
- Series Title
- -
- Call Number
- -
Essential Tremor in Clinical Practice
This practical, concise guide discusses how to distinguish different types of tremor and make the diagnosis of essential tremor. Written in an easy-to-read format, this book summarises other conditions that may be confused with essential tremor and details all current treatment options for this condition, including medications, surgery and non-invasive alternatives. Examination techniques for …
- Edition
- -
- ISBN/ISSN
- 978-3-319-14598-3
- Collation
- 14 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography