To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Continue readingMost topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Continue readingThis book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Continue readingThis book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...
Continue readingThis book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...
Continue readingClassical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...
Continue readingTopological bifurcation theory is one of the most essential topics in mathematics. This book contains original bifurcation ...
Continue readingTopological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
Continue readingThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Continue readingThis book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
Continue readingTransactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Continue readingThis book is devoted to the recent progress on the turnpike theory. The turnpike property was discovered by Paul A. Samuelson, ...
Continue readingThis book presents a series of models in the general area of cell physiology and signal transduction, with particular attention ...
Continue readingThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Continue readingThe 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Continue readingThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Continue readingThe treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural ...
Continue readingVLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...
Continue readingThis book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
Continue readingThis book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...
Continue reading