Filter by
Computer Aided Systems Theory – EUROCAST 2015 15th International Conference…
This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological…
- Edition
- -
- ISBN/ISSN
- 9783319273402
- Collation
- xviii, 887 pages
- Series Title
- -
- Call Number
- 004
Computer aided verification : 27th International Conference, CAV 2015, San Fr…
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model check…
- Edition
- -
- ISBN/ISSN
- 9783319216683
- Collation
- xviii, 469 pages
- Series Title
- -
- Call Number
- 004
Computer aided verification : 27th International Conference, CAV 2015, San Fr…
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model check…
- Edition
- -
- ISBN/ISSN
- 9783319216904
- Collation
- xxiii, 677 pages
- Series Title
- -
- Call Number
- 004
Computer Aided Virtual Manufacturing Using Creo Parametric: Easy to Learn Ste…
Providing a step-by-step guide for the implementation of virtual manufacturing using Creo Parametric software (formerly known as Pro-Engineer), this book creates an engaging and interactive learning experience for manufacturing engineering students. Featuring graphic illustrations of simulation processes and operations, and written in accessible English to promote user-friendliness, the book co…
- Edition
- -
- ISBN/ISSN
- 9783319233598
- Collation
- l, 640 pages
- Series Title
- -
- Call Number
- 004
Urban Land Economics
This book covers the main aspects of regional and urban economics and presents state-of-the-art theories in a comprehensive and concise way. The book will be of interest to undergraduates in business and economics and covers specific areas such as real estate, urban and regional planning and geography and development studies.
- Edition
- -
- ISBN/ISSN
- 978-3-319-15320-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Uranium - Past and Future Challenges Proceedings of the 7th International Co…
This book is the collection of papers from the latest International Uranium Mining and Hydrogeology Conference (UMH VII) held in September 2014, in Freiberg, Germany. It is divided to five sessions: Uranium Mining, Uranium and Phosphates, Clean-up technologies for water and soil. Uranium and daughter nuclides and basic research and modeling. Each session covers a wide range of related topic and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11059-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Unraveling Thermoluminescence
The book is essentially about the theoretical aspects of thermoluminescence (TL). It is structured and written in a manner which will specially be of interest to the fresh undergraduate students and young researchers planning to take up work in the field of thermoluminescence. It is arranged into seven chapters, starting with the historical growth of the subject of TL and an overview of the lum…
- Edition
- -
- ISBN/ISSN
- 978-81-322-1940-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Unlocking the Secrets of White Dwarf Stars
Hugh Van Horn’s entire career since 1965 has been dedicated to conducting research into the properties of dense matter and applying that knowledge to objects such as white dwarfs and neutron stars. For almost 30 years, he led a research team investigating these topics at the University of Rochester, and a number of his former students have gone on to distinguished careers in astrophysics them…
- Edition
- -
- ISBN/ISSN
- 978-3-319-09369-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Universe Unveiled The Cosmos in My Bubble Bath
The bubbles were swirling all around me, massaging my body. As I luxuriated in this fantastic bath, I gasped realizing that those bubbles carried with them miniature galaxies bringing the entire Cosmos into my bathtub... Alfie is back. And so are George and other characters from the author’s previous book Einstein’s Enigma or Black Holes in My Bubble Bath. While the present book, Univers…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08213-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Social Media in Northern Chile
Based on 15 months of ethnographic research in the city of Alto Hospicio in northern Chile, this book describes how the residents use social media, and the consequences of this use in their daily lives. Nell Haynes argues that social media is a place where Alto Hospicio’s residents – or Hospiceños – express their feelings of marginalisation that result from living in city far from the na…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781910634578, 9781910634585
- Collation
- 224
- Series Title
- Why We Post
- Call Number
- 301 HAY s
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography