Filter by
Modelling and Simulation for Autonomous Systems:Second International Workshop…
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2015, held in Prague, Czech Republic, in April 2015. The 18 revised full papers included in the volume were carefully reviewed and selected from 33 submissions. They are organized in the following topical sections: state of the ar…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22382-7
- Collation
- XII, 241
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Elementary Mathematics from a Higher Standpoint Volume III: Precision Mathem…
These three volumes constitute the first complete English translation of Felix Klein’s seminal series “Elementarmathematik vom höheren Standpunkte aus”. “Complete” has a twofold meaning here: First, there now exists a translation of volume III into English, while until today the only translation had been into Chinese. Second, the English versions of volume I and II had omitted severa…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-49439-4
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Microstructure-Property Optimization in Metallic Glasses
This thesis consists of an in-depth study of investigating microstructure-property relationships in bulk metallic glasses using a novel quantitative approach by which influence of the second phase features on mechanical properties can be independently and systematically analyzed. The author evaluates and optimizes the elastic and plastic deformation, as well as the overall toughness of cellular…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13033-0
- Collation
- XIII, 89
- Series Title
- Springer Theses
- Call Number
- -
Microbial Toxins and Related Contamination in the Food Industry
This Brief concerns the chemical risk in food products from the viewpoint of microbiology. The “Hazard Analysis and Critical Control Point” (HACCP) approach, which is applied for this purpose, is dedicated to the study and the analysis of all possible dangers by food consumptions and the related countermeasures with the aim of protecting the health of consumers. This difficult objective is …
- Edition
- -
- ISBN/ISSN
- 978-3-319-20558-8
- Collation
- VI, 101
- Series Title
- SpringerBriefs in Molecular Science
- Call Number
- -
Elementary Functions Algorithms and Implementation
This textbook presents the concepts and tools necessary to understand, build, and implement algorithms for computing elementary functions (e.g., logarithms, exponentials, and the trigonometric functions). Both hardware- and software-oriented algorithms are included, along with issues related to accurate floating-point implementation. This third edition has been updated and expanded to incorpo…
- Edition
- 1
- ISBN/ISSN
- 978-1-4899-7983-4
- Collation
- 40 b/w illustrations
- Series Title
- -
- Call Number
- -
Microelectronics From Fundamentals to Applied Design
This book serves as a practical guide for practicing engineers who need to design analog circuits for microelectronics. Readers will develop a comprehensive understanding of the basic techniques of analog modern electronic circuit design, discrete and integrated, application as sensors and control and data acquisition systems,and techniques of PCB design. · Describes fundamentals of microele…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22544-9
- Collation
- 114 b/w illustrations
- Series Title
- -
- Call Number
- -
Ordered Random Variables : Theory and Applications
Ordered Random Variables have attracted several authors. The basic building block of Ordered Random Variables is Order Statistics which has several applications in extreme value theory and ordered estimation. The general model for ordered random variables, known as Generalized Order Statistics has been introduced relatively recently by Kamps (1995).
- Edition
- -
- ISBN/ISSN
- 978-94-6239-225-0
- Collation
- -
- Series Title
- Atlantis Studies in Probability and Statistics
- Call Number
- 518.28 SHA o
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
- -
Modelling and Management of Engineering Processes:Proceedings of the 3rd Inte…
Innovative processes for the development of products and services are more and more considered as an organisational capability, which is recognised to be increasingly important for business success in today’s competitive environment. However, management and academia need a more profound understanding of these processes and to develop improved management approaches to exploit such business pot…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-44008-7
- Collation
- VIII, 203
- Series Title
- -
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography