Electronic Books

Total Books: 5661 - 5680 /6016

Timber Design - Architect's Guidebooks to Structures / Paul W. McMullin, Jonathan S. Price

Covers timber fundamentals for students and professional architects and engineers, such as tension elements, flexural elements, ...

Time and Space in Economics

In August 2005, a small but important conference took place at Chuo University in Tokyo, Japan. This international conference, ...

Time--Frequency and Time--Scale Methods

Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis and time--scale (wavelet) ...

Time-Dependent Scheduling

Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...

Time-Varying Network Optimization

Network flow optimization analyzes optimization problems on networks; hence, network optimization is reflected in many application ...

Timing and Temporality in Islamic Philosophy and Phenomenology of Life

From time immemorial, concern with timing of life has been crucial for the regulation of human praxis as well as for the ...

Tips and Techniques in Laparoscopic Surgery

This comprehensive manual demonstrates basic laparoscopic techniques step-wise, with emphasis on practical details and tips. ...

Tissue Engineering

This special issue of Advances in Experimental Medicine and Biology includes much of the research presented at the recent ...

Tissue Repair, Contraction and the Myofibroblast

The purpose of this book, is to put together the most recent advances in the understanding of myofibroblast biology and to ...

Tobacco BY-2 Cells: From Cellular Dynamics to Omics

Thus we decided to compile a new volume on tobacco BY-2 cells which includes these new topics. In addition, towards the end ...

Toll and Toll-Like Receptors:

Toll-Like Receptor (TLR) biology would prove to be one of these secrets. Analyses of the evolution of these receptors (Tolls ...

Tool and Object : A History and Philosophy of Category Theory

The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory ...

Toolbox Digital Business : Leadership, Business Models, Technologis and Change / Ralf T. Kreutzer

Provides important guidelines for the digital transformation process and shows how established companies in particular can ...

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

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

Total Books: 5661 - 5680 /6016