Filter by
Model Checking Software
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23403-8
- Collation
- XVIII, 319
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Microorganisms in Biorefineries
The book describes how plant biomass can be used as renewable feedstock for producing and further processing various products. Particular attention is given to microbial processes both for the digestion of biomass and the synthesis of platform chemicals, biofuels and secondary products. Topics covered include: new metabolic pathways of microbes living on green plants and in silage; using ligno…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-45208-0
- Collation
- X, 369
- Series Title
- Microbiology Monographs
- Call Number
- -
Ordered Data Analysis, Modeling and Health Research Methods : In Honor of H. …
This volume presents an eclectic mix of original research articles in areas covering the analysis of ordered data, stochastic modeling and biostatistics. These areas were featured in a conference held at the University of Texas at Dallas from March 7 to 9, 2014 in honor of Professor H. N. Nagaraja’s 60th birthday and his distinguished contributions to statistics. The articles were written by …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25433-3
- Collation
- -
- Series Title
- Springer Proceedings in Mathematics & Statistics
- Call Number
- 613.072 ORD
Modelling and Implementation of Complex Systems:Proceedings of the 4th Intern…
This volume is a comprehensive collection of extended contributions from the fourth international symposium on Modeling and Implementing Complex Systems (MICS’2106) organized into four main topics: Networking and Cloud Computing, Software Engineering and Formal Methods, Intelligent and Information Systems, and Algorithms and Complexity. This book presents recent advances related to theory and…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-33409-7
- Collation
- XV, 342
- Series Title
- Lecture Notes in Networks and Systems
- Call Number
- -
Electronic Waste Recycling Techniques
This book presents an overview of the characterization of electronic waste. In addition, processing techniques for the recovery of metals, polymers and ceramics are described. This book serves as a source of information and as an educational technical reference for practicing scientists and engineers, as well as for students.
- Edition
- -
- ISBN/ISSN
- 978-3-319-15714-6
- Collation
- 21 b/w illustrations, 3 illustrations in colour
- Series Title
- -
- Call Number
- -
Metastability:A Potential-Theoretic Approach
This monograph provides a concise presentation of a mathematical approach to metastability, a wide-spread phenomenon in the dynamics of non-linear systems - physical, chemical, biological or economic - subject to the action of temporal random forces typically referred to as noise, based on potential theory of reversible Markov processes. The authors shed new light on the metastability pheno…
- Edition
- 1
- ISBN/ISSN
- 0072-7830
- Collation
- XXI, 581
- Series Title
- Grundlehren der mathematischen Wissenschaften
- Call Number
- -
Memory Controllers for Mixed-Time-Criticality Systems:Architectures, Methodol…
This book discusses the design and performance analysis of SDRAM controllers that cater to both real-time and best-effort applications, i.e. mixed-time-criticality memory controllers. The authors describe the state of the art, and then focus on an architecture template for reconfigurable memory controllers that addresses effectively the quickly evolving set of SDRAM standards, in terms of worst…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-32093-9
- Collation
- XXVII, 202
- Series Title
- Embedded Systems
- Call Number
- -
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015 18t…
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
- Edition
- 1
- ISBN/ISSN
- 1611-3349
- Collation
- XXVII, 720
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24553-9
- Collation
- XLVII, 740
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Metric Modular Spaces
Aimed toward researchers and graduate students familiar with elements of functional analysis, linear algebra, and general topology; this book contains a general study of modulars, modular spaces, and metric modular spaces. Modulars may be thought of as generalized velocity fields and serve two important purposes: generate metric spaces in a unified manner and provide a weaker convergence, the m…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25281-0
- Collation
- XIII, 137
- Series Title
- SpringerBriefs in Mathematics
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography