This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Lee masThis book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
Lee masThis book includes different issues related with: process and engineering of model transformations; model transformations ...
Lee masThis book deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments ...
Lee masThis book is written for people who are interested in stochastic differential equations (SDEs) and their applications. It ...
Lee masThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee masThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee masTo support application developers in the various tasks involved in this process, several different tools need to be at his ...
Lee masMost topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Lee masThis book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Lee masThis book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...
Lee masThis book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...
Lee masClassical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...
Lee masTopological bifurcation theory is one of the most essential topics in mathematics. This book contains original bifurcation ...
Lee masTopological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
Lee masThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee masThis book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
Lee masThe first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...
Lee masTransactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Lee masThis book is devoted to the recent progress on the turnpike theory. The turnpike property was discovered by Paul A. Samuelson, ...
Lee mas