Filter by
NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA,…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17523-2
- Collation
- XIII, 458
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Nanoscience in Food and Agriculture 2
This book is the second volume on this topic within the series. With unique properties, nanomaterials are rapidly finding novel applications in many fields such as food, medicine, agriculture and pollution. Such applications include to treat cancer, nanosensors to detect food contamination, nanomaterials for food packaging, nanoencapsulation to preserve nutraceuticals, and nanofertilisers for…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-39305-6
- Collation
- XVII, 373
- Series Title
- Sustainable Agriculture Reviews
- Call Number
- -
Nanoscience in Food and Agriculture 1
Nanotechnology is a fast-evolving discipline that already produces outstanding basic knowledge and industrial applications for the benefit of society. Whereas the first applications of nanotechnology have been developed mainly in material sciences, applications in the agriculture and food sectors are still emerging. Due to a rapid population growth there is a need to produce food and beverages …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-39302-5
- Collation
- XIX, 324
- Series Title
- Sustainable Agriculture Reviews
- Call Number
- -
Nature of Computation and Communication:International Conference, ICTCC 2014,…
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural appr…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-15391-9
- Collation
- XIII, 371
- Series Title
- -
- Call Number
- -
Critical by Design?: Genealogies, Practices, Positions
In its constructive and speculative nature, design has the critical potential to reshape prevalent socio-material realities. At the same time, design is inevitably normative, if not often violent, as it stabilises the past, normalises the present, and precludes just and sustainable futures. The contributions rethink concepts of critique that influence the field of design, question inherent blin…
- Edition
- -
- ISBN/ISSN
- 9783839461044
- Collation
- -
- Series Title
- -
- Call Number
- 391 CRI c
Nature in Indian Philosophy and Cultural Traditions
Working within a framework of environmental philosophy and environmental ethics, this book describes and postulates alternative understandings of nature in Indian traditions of thought, particularly philosophy. The interest in alternative conceptualizations of nature has gained significance after many thinkers pointed out that attitudes to the environment are determined to a large extent by our…
- Edition
- 1
- ISBN/ISSN
- 978-81-322-2999-5
- Collation
- XV, 219
- Series Title
- Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures
- Call Number
- -
Nanoscale Materials and Devices for Electronics, Photonics and Solar Energy
This book presents research dedicated to solving scientific and technological problems in many areas of electronics, photonics and renewable energy. Progress in information and renewable energy technologies requires miniaturization of devices and reduction of costs, energy and material consumption. The latest generation of electronic devices is now approaching nanometer scale dimensions; new ma…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18632-0
- Collation
- XII, 282
- Series Title
- Nanostructure Science and Technology
- Call Number
- -
Myxozoan Evolution, Ecology and Development
This book provides an up-to-date review of the biology of myxozoans, which represent a divergent clade of endoparasitic cnidarians. Myxozoans are of fundamental interest in understanding how early diverging metazoans have adopted parasitic lifestyles, and are also of considerable economic and ecological concern as endoparasites of fish. Synthesizing recent research, the chapters explore issues …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-14752-9
- Collation
- XIII, 441
- Series Title
- -
- Call Number
- -
Natural User Interfaces in Medical Image Analysis
This unique text/reference highlights a selection of practical applications of advanced image analysis methods for medical images. The book covers the complete methodology for processing, analysing and interpreting diagnostic results of sample CT images. The text also presents significant problems related to new approaches and paradigms in image understanding and semantic image analysis. To fur…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-07799-4
- Collation
- XII, 288
- Series Title
- Advances in Computer Vision and Pattern Recognition
- Call Number
- -
Natural UV Radiation in Enhancing Survival Value and Quality of Plants
This book is the first of its kind to highlight the positive impact of natural UV radiation on plants through unique adaptations in various metabolic pathways, and provides an evolutionary sketch of the development of molecular mechanisms for protecting plants from solar UV ever since their migration to terrestrial habitats. Experimental evidence is provided for establishing how plants, through…
- Edition
- 1
- ISBN/ISSN
- 978-81-322-2765-6
- Collation
- XIX, 204
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography