Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lire la suiteThe present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...
Lire la suiteThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suiteClassical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...
Lire la suiteThis text adopts the latter perspective by applying an arithmetic-algebraic viewpoint to the study of function fields as ...
Lire la suiteThis book is an attempt to give a systematic presentation of results and me- ods which concern the ?xed point theory of multivalued ...
Lire la suiteThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lire la suiteTransseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Lire la suiteThe development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Lire la suiteThis book addresses postgraduate students and scientists working in engineering, physics, and mathematics. It provides an ...
Lire la suiteThis book presents new research on the mathematical description of tsunamis and hurricanes. The book uses the equivalence ...
Lire la suiteThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suiteThis textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
Lire la suiteMatousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Lire la suiteThis book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
Lire la suitefeatures of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lire la suite