Electronic Books

Total Books: 661 - 680 /808

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, ...

Total Books: 661 - 680 /808