Electronic Books

Total Books: 3081 - 3100 /3291

Thinking about Life :The History and Philosophy of Biology and Other Sciences

Our previous book, About Life, concerned modern biology. We used our present-day understanding of cells to ‘define’ the ...

Thinking in Complexity

The theory of nonlinear, complex systems has become by now a proven problem-solving approach in the natural sciences. In ...

Third-Party Liability of Classification Societies

Classification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and ...

Thought-Contents : On the Ontology of Belief and the Semantics of Belief Attribution

This book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de ...

Three-Dimensional Cephalometry

The book It shows you how the head can be analysed in orthodontists have relied on the interpretation of three dimensions ...

Thrown Rope

Hutchinson's works are ephemeral and evanescent, produced out in the open, where they are subject to the whims of nature. ...

Tigri e Teoremi : Scrivere teatro e scienza = Tigers and Theorems: Writing theater and science

From science according to Popper and Toulmin to theater according to Morteo and Brecht, a path is built between the two disciplines ...

Time Series Analysis : With Applications in R

Time Series Analysis With Applications in R, Second Edition, presents an accessible approach to understanding time series ...

Time and Modality

Time and Modality is a unique work of reference; not only does it unite studies which explore the syntax and semantics of ...

Time-Dependent Scheduling

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

Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings

The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...

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

Tissue Engineering in Oral and Maxillofacial Surgery

This book provides a thorough, up-to-date description of the scientific basis and concepts of tissue engineering in the oral ...

Tobacco Control Policy in the Netherlands

Governments have known since the 1960s that smoking results in irreversible health damage. This open access book examines ...

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

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

Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

Total Books: 3081 - 3100 /3291