Filter by
Logic, Language, and Computation: 10th International Tbilisi Symposium on Log…
This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them. The boo…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46906-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Drought stress tolerance in plants. Vol 1, Physiology and biochemistry
Abiotic stress adversely affects crop production worldwide, decreasing average yields for most of the crops to 50%. Among various abiotic stresses affecting agricultural production, drought stress is considered to be the main source of yield reduction around the globe. Due to an increasing world population, drought stress will lead to a serious food shortage by 2050. The situation may become wo…
- Edition
- -
- ISBN/ISSN
- 9783319288994
- Collation
- xix, 526 pages
- Series Title
- -
- Call Number
- 630
The Beauty of Geology : Art of Geology Mapping in China Over a Century
This open access book contains a collection of rare geologic maps and figures made by Chinese geologists in the last century. Preserved in National Geological Archives of China, these artworks demonstrate the development and innovation of geological mapping technology in China in the past 100 years. The collections are highly scientific and artistic, with most of the hand-drawn maps featured wi…
- Edition
- -
- ISBN/ISSN
- 978-981-13-3786-4
- Collation
- IX, 119 halaman
- Series Title
- -
- Call Number
- 531 BEA
Aerospace Robotics II
This book presents a selection of conference contributions from CARO’13 (Conference on Aerospace Robotics), which was held in Warsaw from July 1 to 3, 2013. It presents the most important and crucial problems of space automation in context of future exploration programs. These programs could involve such issues as space situational awareness program, planetary protection, exploitation of mine…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-13853-4
- Collation
- XIV, 198
- Series Title
- GeoPlanet: Earth and Planetary Sciences
- Call Number
- 629.47 ADV a
Logic, Language, Information, and Computation: 22nd International Workshop, W…
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully …
- Edition
- -
- ISBN/ISSN
- 978-3-662-47709-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Salt and drought stress tolerance in plants : signaling networks and adaptive…
This book presents various aspects of salt and drought stress signaling in crops, combining physiological, biochemical, and molecular studies. Salt and drought stress are two major constraints on crop production worldwide. Plants possess several mechanisms to cope with the adverse effects of salt and drought. Among these mechanisms, stress signaling is very important, because it integrates and …
- Edition
- -
- ISBN/ISSN
- 9783030402778
- Collation
- x, 403 pages
- Series Title
- -
- Call Number
- 630
Big Data Optimization : Recent Developments and Challenges
The main objective of this book is to provide the necessary background to work with big data by introducing some novel optimization algorithms and codes capable of working in the big data setting as well as introducing some applications in big data optimization for both academics and practitioners interested, and to benefit society, industry, academia, and government. Presenting applications in…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Logic in the Theory and Practice of Lawmaking
This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of law making. Elaborations of the process of law making have variously emphasised its political, socia…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19575-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Drought stress in Maize (Zea mays L.) : effects, resistance mechanisms, globa…
This book focuses on early germination, one of maize germplasm most important strategies for adapting to drought-induced stress. Some genotypes have the ability to adapt by either reducing water losses or by increasing water uptake. Drought tolerance is also an adaptive strategy that enables crop plants to maintain their normal physiological processes and deliver higher economical yield despite…
- Edition
- -
- ISBN/ISSN
- 9783319254425
- Collation
- -
- Series Title
- -
- Call Number
- 580
Logic for Programming, Artificial Intelligence, and Reasoning: 20th Internati…
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programmin…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48899-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography