Electronic Books

Total Books: 241 - 260 /274
978-3-540-32881-0
Theoretical Computer Science (vol. # 3895)

the book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer ...

Continue reading
978-0-387-75252-5
Theoretical Kaleidoscope

The book is based on lectures given by the author over many years. The main source of problems addressed in the book are ...

Continue reading
978-3-540-28131-3
Theoretical and Experimental DNA Computation

This book provides a broad overview of the entire field of DNA computation, tracing its history and development. It contains ...

Continue reading
978-3-540-78767-9
Theory and Simulation of Hard-Sphere Fluids and Related Systems

Hard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served ...

Continue reading
978-3-540-30593-4
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 ...

Continue reading
978-3-030-45190-5
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 ...

Continue reading
978-3-030-45237-7
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 ...

Continue reading
978-3-030-72016-2
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 ...

Continue reading
978-3-030-72013-1
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 ...

Continue reading
978-3-030-17465-1
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; ...

Continue reading
978-3-540-29239-5
Topics in Dynamic Model Analysis

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

Continue reading
978-0-8176-4515-1
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 ...

Continue reading
978-1-4020-4666-7
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 ...

Continue reading
978-1-4020-3177-9
Topological Quantum Field Theory and Four Manifolds

Deals with topological quantum field theories and their applications to topological aspects of four manifolds. This book ...

Continue reading
978-3-540-73086-6
Towards Mechanized Mathematical Assistants

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

Continue reading
978-3-030-01294-6
Transmedial Narration : Narratives and Stories in Different Media

including our own. By reconstructing the theoretical framework of transmedial narration, this book enables the inclusion ...

Continue reading
978-3-540-35591-5
Transseries and Real Differential Algebra

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

Continue reading
978-3-540-77817-2
Trapped Charged Particles and Fundamental Interactions

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

Continue reading
978-1-4020-3144-1
Trends in Continuum Mechanics of Porous Media

This book addresses postgraduate students and scientists working in engineering, physics, and mathematics. It provides an ...

Continue reading
978-3-211-33159-0
Tsunamis and Hurricanes

This book presents new research on the mathematical description of tsunamis and hurricanes. The book uses the equivalence ...

Continue reading
Total Books: 241 - 260 /274