International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...
اقرأ المزيدThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
اقرأ المزيدConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
اقرأ المزيدThis textbook prepares graduate students for research in numerical analysis/computational mathematics by giving to them a ...
اقرأ المزيدThis book provides a broad overview of the entire field of DNA computation, tracing its history and development. It contains ...
اقرأ المزيدThis survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, ...
اقرأ المزيدSense perception is one of the classical themes in philosophy. It is traditionally considered a necessary preamble to many ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...
اقرأ المزيدThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
اقرأ المزيدSAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
اقرأ المزيدThis monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to ...
اقرأ المزيدThe present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...
اقرأ المزيدThis textbook focuses on concrete-filled steel tubular structures formed by placing concrete inside the steel tube. The content ...
اقرأ المزيدThis is an advanced textbook for graduate students and researchers wishing to learn about high temperature superconductivity ...
اقرأ المزيدTCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...
اقرأ المزيدThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيدSemiconductor science and technology is the art of defect engineering. The theoretical modeling of defects has improved dramatically ...
اقرأ المزيدThis book deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments ...
اقرأ المزيدThis book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...
اقرأ المزيد