Electronic Books

Total Books: 661 - 680 /689

Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

To support application developers in the various tasks involved in this process, several different tools need to be at his ...

Topics in Analysis and its Applications

Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...

Topics in Cryptology - CT-RSA 2008 : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings

This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...

Topics in Cryptology -- CT-RSA 2005

This book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...

Topics in Cryptology – CT-RSA 2007

This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...

Topics in Dynamic Model Analysis

Classical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...

Topological Degree Approach to Bifurcation Problems

Topological bifurcation theory is one of the most essential topics in mathematics. This book contains original bifurcation ...

Topological and Bivariant K-theory

Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...

Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

Transactions on Computational Systems Biology IX

This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...

Transactions on High-Performance Embedded Architectures and Compilers I

Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...

Turnpike Properties in the Calculus of Variations and Optimal Control

This book is devoted to the recent progress on the turnpike theory. The turnpike property was discovered by Paul A. Samuelson, ...

Tutorials in Mathematical Biosciences II

This book presents a series of models in the general area of cell physiology and signal transduction, with particular attention ...

Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...

Typed Lambda Calculi and Applications

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...

Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Uncertainty Assessment of Large Finite Element Systems

The treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural ...

VLSI-Design of Non-Volatile Memories

VLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...

Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique

This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...

Variational Analysis and Applications

This book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...

Total Books: 661 - 680 /689