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