Electronic Books

Total Books: 761 - 780 /804

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...

This book includes different issues related with: process and engineering of model transformations; model transformations ...

This book deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments ...

A new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...

This book is written for people who are interested in stochastic differential equations (SDEs) and their applications. It ...

Covers timber fundamentals for students and professional architects and engineers, such as tension elements, flexural elements, ...

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

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

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

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

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

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

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

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

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

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

This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...

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

The main goal of this volume is to provide up-to-date information on the molecular and functional properties and pharmacology ...

The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...

Total Books: 761 - 780 /804