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