Electronic Books

Total Books: 1141 - 1160 /1325

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...

Symmetry Breaking

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

Systemic Innovation: Entrepreneurial Strategies and Market Dynamics / Dimitri Uzunidis

Systemic innovation is based on business networks and new business models in a global economy integrated by flows of knowledge, ...

Systems Biology : International Research and Development

Systems biology is defined for the purpose of this study as the understanding of biological network behaviors, and in particular ...

Systems Modeling and Simulation

The Asia Simulation Conference 2006 (JSST 2006) was aimed at exploring challenges in methodologies for modeling, control ...

TNF Receptor Associated Factors (TRAFs)

TNF Receptor Associated Factors is the only literature that is entirely devoted to TRAFs. Almost every aspect of TRAF signaling ...

Task Design In Mathematics Education : an ICMI study 22

The authors develop explicit understandings of the opportunities and difficulties involved in designing and implementing ...

Te Puna - A New Zealand Mission Station : Historical Archaeology in New Zealand

The historical archaeology of Te Puna demonstrates the particularities of one outpost of early nineteenth century British ...

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

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

Term Rewriting and Applications (vol. # 4098)

PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...

Test Bias in Employment Selection Testing : A Visual Introduction / Thomas A. Stetz

Studies performed by the Society for Human Resource Management (SHRM) consistently show that selection is a key competency ...

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

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

Textbook of Personalized Medicine

This book is for personalized medicine as a prescription of specific treatments and therapeutics best suited for an individual ...

The Age of Alternative Logics

This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...

The Amazing Journey of Reason from DNA to Artificial Intelligence

This book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...

Total Books: 1141 - 1160 /1325