Filter by
Hardware and Software: Verification and Testing: 11th International Haifa Ver…
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; m…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26286-4
- Collation
- XVI, 293
- Series Title
- -
- Call Number
- 004 HAN
Membrane Computing
This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions. The volume also contains 3 invited talks in full-paper length.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-28474-3
- Collation
- XI, 387; 56 illustrations in colour
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Handbook of Sustainable Luxury Textiles and Fashion
The first volume of this handbook explores different aspects of sustainable luxury textiles and fashion, broadly based on the following topics: Sustainability and business management, Value chain management, Use of materials and Sustainable production processes.
- Edition
- -
- ISBN/ISSN
- 978-981-287-632-4
- Collation
- XI, 211
- Series Title
- -
- Call Number
- -
Mega Transport Infrastructure Planning
Based on the work of Poly5, or the Mediterranean Corridor, mega-transport infrastructure project, this ground-breaking reference explains how and why traditional top-down government-defined transport planning policies are failing, due to their tendency to eschew acknowledgement of profoundly multifarious local and regional issues. The authors use cognitive reports from the Mediterranean Corrido…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16395-6
- Collation
- X, 264
- Series Title
- -
- Call Number
- -
Micro/Nano Cell and Molecular Sensor
This book focuses on cell- and molecule-based biosensors using micro/nano devices as transducers. After providing basic information on micro/nano cell- and molecule-based biosensors, it introduces readers to the basic structures and properties of micro/nano materials and their applications. The topics covered provide a comprehensive review of the current state of the art in micro/nano cell- and…
- Edition
- 1
- ISBN/ISSN
- 978-981-10-1656-1
- Collation
- V, 243
- Series Title
- -
- Call Number
- -
Mesenchymal Stem Cells and Immunomodulation
This essential volume explores mesenchymal stem cells (MSCs) and their potential to suppress immune-mediated inflammation. The chapters examine applications in autoimmune diseases such as lupus, rheumatoid arthritis and multiple sclerosis; blood cancers such as leukemia and lymphoma; and reproductive complications, specifically pre-term labor and use of MSCs in vitro and in animal models to dis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-46731-3
- Collation
- XI, 85
- Series Title
- Stem Cell Biology and Regenerative Medicine
- Call Number
- -
Virtualized Cloud Data Center Networks: Issues in Resource Management.
This book discusses the characteristics of virtualized cloud networking, identifies the requirements of cloud network management, and illustrates the challenges in deploying virtual clusters in multi-tenant cloud data centers. The book also introduces network partitioning techniques to provide contention-free allocation, topology-invariant reallocation, and highly efficient resource utilization…
- Edition
- -
- ISBN/ISSN
- 978-3-319-32632-0
- Collation
- VIII, 57
- Series Title
- -
- Call Number
- -
Lung Stem Cells in the Epithelium and Vasculature
This book covers the identification and role of endogenous lung stem cells in health and disease, particularly the most recent advances. In addition, it discusses the rapidly growing field of stem cells and cell therapy as it relates to lung biology and disease as well as ex vivo lung bioengineering. Such approaches may provide novel therapeutic approaches for lung diseases. Human pluripotent s…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16232-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Handbook of Petroleum Processing
This extensively updated second edition of the already valuable reference targets research chemists and engineers who have chosen a career in the complex and essential petroleum industry, as well as other professionals just entering the industry who seek a comprehensive and accessible resource on petroleum processing. The handbook describes and discusses the key components and processes that ma…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14528-0
- Collation
- XVI, 1913
- Series Title
- -
- Call Number
- 621
Handbook of Manufacturing Engineering and Technology
he Springer Reference Work Handbook of Manufacturing Engineering and Technology provides overviews and in-depth and authoritative analyses on the basic and cutting-edge manufacturing technologies and sciences across a broad spectrum of areas. These topics are commonly encountered in industries as well as in academia. Manufacturing engineering curricula across universities are now essential topi…
- Edition
- -
- ISBN/ISSN
- 978-1-4471-4669-8
- Collation
- XLV, 3500
- Series Title
- -
- Call Number
- 621
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography