Electronic Books

Total Books: 3081 - 3100 /3291
978-1-4020-8866-7
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 ...

Continue reading
978-3-540-72228-1
Thinking in Complexity

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

Continue reading
978-3-540-28562-5
Third-Party Liability of Classification Societies

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

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

Continue reading
978-3-540-29011-7
Three-Dimensional Cephalometry

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

Continue reading
978-1-56898-644-9
Thrown Rope

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

Continue reading
978-88-470-0642-3
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 ...

Continue reading
978-0-387-75959-3
Time Series Analysis : With Applications in R

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

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

Continue reading
978-3-540-69446-5
Time-Dependent Scheduling

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

Continue reading
978-3-540-87605-2
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 ...

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

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

Continue reading
978-3-319-72368-6
Tobacco Control Policy in the Netherlands

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

Continue reading
978-3-658-37017-6
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 ...

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

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

Continue reading
Total Books: 3081 - 3100 /3291