Filter by
Writing Proofs in Analysis
This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical ind…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30967-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Working with Stem Cells
The content covered encompass not only the theoretic and methodological aspects for culturing human pluripotent stem cells, but also the establishment of induced pluripotent stem cells and their differentiation into specific cellular subtypes. This book has the most updated methods and technologies in an accessible and clear language, presenting protocols developed and optimized by researchers …
- Edition
- -
- ISBN/ISSN
- 978-3-319-30582-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Fetal Stem Cells in Regenerative Medicine Principles and Translational Strat…
This book explores the regenerative properties of fetal stem cells, from feto-maternal cell traffic through perinatal stem cells, with a discussion of key topics including stem cell banking, drug screening, in utero stem cell transplantation and ethical considerations. The expertly authored chapters also delve into embryonic, amniotic membrane, and umbilical cord blood stem cells; fetal develop…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3483-6
- Collation
- XIX, 453
- Series Title
- -
- Call Number
- -
Digital Logic Design Using Verilog Coding and RTL Synthesis
This second edition focuses on the thought process of digital design and implementation in the context of VLSI and system design. It covers the Verilog 2001 and Verilog 2005 RTL design styles, constructs and the optimization at the RTL and synthesis level. The book also covers the logic synthesis, low power, multiple clock domain design concepts and design performance improvement techniques. Th…
- Edition
- -
- ISBN/ISSN
- 9789811631993
- Collation
- -
- Series Title
- -
- Call Number
- 621.395
Recent Trends in Algebraic Development Techniques: 22nd International Worksho…
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal …
- Edition
- -
- ISBN/ISSN
- 978-3-319-28114-8
- Collation
- -
- Series Title
- -
- Call Number
- 005.131
The Making of Experimental Economics
This book is the transcript of a witness seminar on the history of experimental economics, in which eleven high-profile experimental economists participated, including Nobel Laureates Vernon Smith, Reinhard Selten and Alvin Roth. The witness seminar was constructed along four different topics: skills, community, laboratory, and funding. The transcript is preceded by an introduction explaining t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20952-4
- Collation
- VII, 245
- Series Title
- -
- Call Number
- -
An Introduction to Psychological Statistics
We are constantly bombarded by information, and finding a way to filter that information in an objective way is crucial to surviving this onslaught with your sanity intact. This is what statistics, and logic we use in it, enables us to do. Through the lens of statistics, we learn to find the signal hidden in the noise when it is there and to know when an apparent trend or pattern is really just…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 510 FOS i
Meta-Analytic Structural Equation Modelling
This book explains how to employ MASEM, the combination of meta-analysis (MA) and structural equation modelling (SEM). It shows how by using MASEM, a single model can be tested to explain the relationships between a set of variables in several studies. This book gives an introduction to MASEM, with a focus on the state of the art approach: the two stage approach of Cheung and Cheung & Chan. B…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-27172-9
- Collation
- VIII, 88
- Series Title
- SpringerBriefs in Research Synthesis and Meta-Analysis
- 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
- -
Metabolic Engineering for Bioprocess Commercialization
This volume reviews the current metabolic engineering tools and technologies from a practical point of view, and guides researchers as they overcome challenges at various stages of organism and bioprocess development. Microbes have been engineered to produce a variety of industrial products such as fuels, basic chemicals, fine chemicals, nutritional supplements, and pharmaceutical intermediates…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-41964-0
- Collation
- V, 122
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography