Learn IT - Springer

Formal Methods: State of the Art and New Directions

Springer, 2009

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this...

Batch Chemical Process Integration: Analysis, Synthesis and Optimization

Springer, 2009

“Batch Chemical Process Integration: Analysis, Synthesis and Optimization” is an excellent source of information on state-of-the-art mathematical and graphical techniques for analysis, synthesis and optimization of batch chemical plants. It covers recent techniques in batch process integration with a particular focus on the...

Mobile Robot Navigation with Intelligent Infrared Image Interpretation

Springer, 2009

Mobile robots require the ability to make decisions such as "go through the hedges" or "go around the brick wall." Mobile Robot Navigation with Intelligent Infrared Image Interpretation describes in detail an alternative to GPS navigation: a physics-based adaptive Bayesian pattern classification model that uses a...

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer, 2009

In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics. Explanantion...

Advances in Crytology - ASIACRYPT 2009: 15th International Conference on the Theory and Application of Cryptology and Information Security

Springer, 2009

This book constitutes the refereed proceedings of the 15th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2009, held in Tokyo, Japan, in December 2009.

The 41 revised full papers presented were carefully reviewed and selected from 298 submissions. The papers are organized in...

Advanced Photonic Structures for Biological and Chemical Detection (Integrated Analytical Systems)

Springer, 2009

This book is a part of Books Series on Integrated Microanalytical Systems. It discusses the latest applications of photonic technologies in bio-chemical sensing. Based on the photonic structures, the book is divided into four sections:

Photonic crystal structures;

Optical microring resonator structures;

...

Optimality and Risk - Modern Trends in Mathematical Finance: The Kabanov Festschrift

Springer, 2009

Problems of stochastic optimization and various mathematical aspects of risk are the main themes of this contributed volume. The readers learn about the recent results and techniques of optimal investment, risk measures and derivative pricing. There are also papers touching upon credit risk, martingale theory and limit theorems.

...

Andrology: Male Reproductive Health and Dysfunction

Springer, 2009

This is the 3^rd, totally revised edition of a well-known textbook that continues to represent the gold standard in the literature on clinical andrology. It examines in depth all aspects of male reproductive health, encompassing the basic physiology of male reproductive function and a wide range of disorders. Each of the chapters is...

New Frontiers in Integrated Solid Earth Sciences (International Year of Planet Earth)

Springer, 2010

Man’s intensifying use of the Earth’s habitat has led to an urgent need for scientifically advanced ‘geo-prediction systems’ that accurately locate subsurface resources and forecast the timing and magnitude of earthquakes, volcanic eruptions and land subsidence.

As advances in the earth sciences lead to...

Fungi and Food Spoilage

Springer, 2009

This is the third edition of the definitive work on fungi in foods covering identification, isolation, enumeration, taxonomy, physiology and mycotoxin formation. High quality halftones provide a book of great value to food microbiologists, mycologists, food scientists and technologists and all those involved in food quality and safety.

...

How Does One Cut a Triangle?

Springer, 2009

How Does One Cut a Triangle? is a work of art, and rarely, perhaps never, does one find the talents of an artist better suited to his intention than we find in Alexander Soifer and this book.

—Peter D. Johnson, Jr.

This delightful book considers and solves many problems in dividing...

Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets

Springer, 2001

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms...

Result Page: 335 334 333 332 331 330 329 328 327 326 325 324 323 322 321 320 319 318 317