This new edition of Prof. Strocchi's well received primer on rigorous aspects of symmetry breaking presents a more detailed ...
اقرأ المزيدIn the first part of this book, devoted to classical field theory, such a mechanism is explained in terms of the occurrence ...
اقرأ المزيدA biochemical hypothesis - that Alzheimer's disease (AD) is a progressive cerebral amyloidosis caused by the aggregation ...
اقرأ المزيدSystemic Governance addresses accounting and accountability and develops conceptual tools to enhance the capacity of policy ...
اقرأ المزيدThis book constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju ...
اقرأ المزيدThe ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...
اقرأ المزيدThis survey focuses on the main trends in the field of calculus education. Despite their variety, the findings reveal a cornerstone ...
اقرأ المزيدThis book examines the interrelationship of national policy, teacher effectiveness, and student outcomes with a specific ...
اقرأ المزيدThis book applies proactive crisis management to the management of technology organizations to make them more sustainable ...
اقرأ المزيدIt featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop ...
اقرأ المزيدTo study breadmaking is to realize that, like many other food processes, it is constantly changing as processing methodologies ...
اقرأ المزيدTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيدThis volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
اقرأ المزيدThis volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
اقرأ المزيدConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
اقرأ المزيدThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
اقرأ المزيدOffers a detailed introduction to the fundamental theories and methods of text data mining, ranging from pre-processing (for ...
اقرأ المزيدFollowing the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
اقرأ المزيد