Learn IT - Amazing Books

Mathematical Methods for Mechanics: A Handbook with MATLAB Experiments

Springer, 2008

The interaction between mathematics and mechanics is a never ending source of new developments. This present textbook includes a wide –ranging spectrum of topics from the three body problem and gyroscope theory to bifurcation theory, optimization, control and continuum mechanics of elastic bodies and fluids. For each of the covered topics the...

Logic Synthesis for Compositional Microprogram Control Units (Lecture Notes in Electrical Engineering)

Springer, 2008

The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristics as the size or performance of control units is to adapt their structures to the particular...

Viruses and Nanotechnology (Current Topics in Microbiology and Immunology)

Springer, 2008

Viral nanoparticles (VNPs) serve as excellent nanobuilding blocks for materials design and fabrication. The main advantages are their nanometer-range size, the propensity to self-assemble into monodisperse nanoparticles of discrete shape and size, the high degree of symmetry and polyvalency, the relative ease of producing large quantities, the...

Handbook of Large-Scale Random Networks

Springer, 2009

With the advent of digital computers more than half a century ago, researchers working in a wide range of scientific disciplines have obtained an extremely powerful tool to pursue deep understanding of natural processes in physical, chemical, and biological systems. Computers pose a great challenge to mathematical sciences, as the range of...

Theory of Sobolev Multipliers: With Applications to Differential and Integral Operators (Grundlehren der mathematischen Wissenschaften)

Springer, 2008

The purpose of this book is to give a comprehensive exposition of the theory of pointwise multipliers acting in pairs of spaces of differentiable functions. The theory was essentially developed by the authors during the last thirty years and the present volume is mainly based on their results.

Part I is devoted to the theory of multipliers and...

T Cell Activation by CD1 and Lipid Antigens (Current Topics in Microbiology and Immunology)

Springer, 2007

There is increasing evidence that the CD1 system has been conserved throughout mammalian evolution and is capable of presenting structurally diverse diacyglycerol, sphingolipid, polyisoprenol and lipopeptide antigens. This volume provides a comprehensive discussion of these basic aspects of CD1 biology and summarizes the most recent research...

Scheduling Algorithms

Springer, 2007

From the reviews of the fourth edition:

"This is a book about scheduling algorithms. … The book contains eleven chapters. … Most of the chapters contain the summarized complexity results. In this edition the complexity columns have been updated. The book is completed by the bibliography which also has been updated and...

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Springer, 2007

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006.

The 19 revised full papers presented together with 1 keynote paper, and 2 working group reports were carefully reviewed and...

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Springer, 2007

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages.

The 19 revised full papers presented together with 2 invited papers were carefully...

Transactions on Edutainment I (Lecture Notes in Computer Science / Transactions on Edutainment) (No. 1)

Springer, 2008

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of Edutainment, such as Game-based Learning and Serious Games, Interactive Storytelling, Virtual Learning Environments, VR-based...

Neuroendocrine Cells and Peptidergic Innervation in Human and Rat Prostrate (Advances in Anatomy, Embryology and Cell Biology)

Springer, 2007

The prostate hosts neuroendocrine cells whose origin and functional roles warrant better understanding. These cells synthesize and deliver a number of neurosecretory substances having regulative activities over growth, cell differentiation, and secretion, and might influence the development of proliferative disorders such as hyperplasia or...

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)

Springer, 2008

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and...

Result Page: Previous 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 Next