Electronic Books

Total Books: 561 - 580 /618
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 ...

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

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

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

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

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

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

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

Lee mas
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; ...

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

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

Lee mas
Topics in Dynamic Model Analysis

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

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

Lee mas
Topological Fixed Point Theory of Multivalued Mappings

This book is an attempt to give a systematic presentation of results and me- ods which concern the ?xed point theory of multivalued ...

Lee mas
Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

Lee mas
NoIMG
Towards Synthesis of Micro-

At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...

Lee mas
Transactions on Aspect-Oriented Software Development III

This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...

Lee mas
Transmission Electron Microscopy and Diffractometry of Materials

This book explains concepts of transmission electron microscopy (TEM) and x-ray diffractometry (XRD) that are important for ...

Lee mas
Transseries and Real Differential Algebra

Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...

Lee mas
Trapped Charged Particles and Fundamental Interactions

The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...

Lee mas
Total Books: 561 - 580 /618