Electronic Books

Total Books: 581 - 600 /646

The Wulff Crystal in Ising and Percolation Models

This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...

The effect of nutrition on skin health رزان البيطار ؛ خانوم عربش ؛ إشراف د. عفراء النقري

The more recent link between nutrition and skin aging began in earnest around the year 2000 with the demonstrated increase ...

Theorem Proving in Higher Order Logics

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

Theorem Proving in Higher Order Logics

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Theoretical Aspects of Computing – ICTAC 2007

Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...

Theoretical and Practical Advances in Computer-based Educational Measurement

Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...

Theory and Approach of Information Retrievals from Electromagnetic Scattering and Remote Sensing

This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...

Theory of Association Schemes

The present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...

Time Domain Methods in Electrodynamics

This book consists of contributions given in honor of Wolfgang J.R. Hoefer. The contributions represent the state of the ...

Time in Quantum Mechanics

The treatment of time in quantum mechanics is still an important and challenging open question in the foundation of the quantum ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

Tools and Criteria for Sustainable Coastal Ecosystem Management : Examples from the Baltic Sea and Other Aquatic Systems

The aim of this book is to discuss practically useful (operational) bioindicators for sustainable coastal management, criteria ...

Topics and Methods in Condensed Matter Theory

In this book a variety of many-body phenomena in condensed matter are discussed, with special attention paid to the understanding ...

Topics in Dynamic Model Analysis

Classical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...

Topics in the Theory of Algebraic Function Fields

This text adopts the latter perspective by applying an arithmetic-algebraic viewpoint to the study of function fields as ...

Total Books: 581 - 600 /646