Electronic Books

Total Books: 661 - 680 /808

Symmetry Breaking

This new edition of Prof. Strocchi's well received primer on rigorous aspects of symmetry breaking presents a more detailed ...

Symmetry Breaking

In the first part of this book, devoted to classical field theory, such a mechanism is explained in terms of the occurrence ...

Synaptic Plasticity and the Mechanism of Alzheimers Disease

A biochemical hypothesis - that Alzheimer's disease (AD) is a progressive cerebral amyloidosis caused by the aggregation ...

Systemic Governance and Accountability

Systemic Governance addresses accounting and accountability and develops conceptual tools to enhance the capacity of policy ...

Systems Modeling and Simulation: Theory and Applications

This book constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju ...

Task Models and Diagrams for Users Interface Design ; 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...

Teaching and Learning of Calculus

This survey focuses on the main trends in the field of calculus education. Despite their variety, the findings reveal a cornerstone ...

Teaching for Excellence and Equity

This book examines the interrelationship of national policy, teacher effectiveness, and student outcomes with a specific ...

Techlash The Future of the Socially Responsible Tech Organization

This book applies proactive crisis management to the management of technology organizations to make them more sustainable ...

Technologies for E-Services (vol. # 3324)

It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop ...

Technology of Breadmaking

To study breadmaking is to realize that, like many other food processes, it is constantly changing as processing methodologies ...

Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

Term Rewriting and Applications

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

Testing of Communicating Systems (vol. # 3964)

This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...

Tests and Proofs

Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

Text Data Mining / Chengqing Zong, Rui Xia, Jiajun Zhang

Offers a detailed introduction to the fundamental theories and methods of text data mining, ranging from pre-processing (for ...

The Adaptive Web

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