Electronic Books

Total Books: 21 - 40 /94

Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers

This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...

Continuum Mechanics

This book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics ...

Critical Pedagogy And The Everyday Classroom

this book explores the applications of Critical Pedagogy to actual classroom situations. Written in a straight-forward, concise, ...

Decoherence and the Quantum-To-Classical Transition

This detailed but accessible text describes the concepts, formalism, interpretation, and experimental observation of decoherence ...

Deduction, Computation, Experiment : Exploring the Effectiveness of Proof

What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...

Design and Construction of Tunnels : Analysis of controlled deformation in rocks and soils (ADECO-RS)

It uses the advance core (the core of ground ahead of the face) as a structural tool for the long and short term stabilisation ...

Design applications of raft foundations

Examines alternative design procedures for plain and piled raft foundations. Chapters are written by leading consultants ...

Dynamics of soils and their engineering applications

Offers systematic dynamic analysis of soils and their engineering applications, including machine foundations, and aims to ...

Earth Structures : In Transport, Water and Environmental Engineering

This book describes the principles of working with soil as a construction material, including two basic ways of treating ...

Earth reinforcement and soil structures

Provides a comprehensive explanation and illustration of earth reinforcement and soil structures, from the viewpoint of practising ...

Enhancing Urban Environment by Environmental Upgrading and Restoration

As urban areas keep growing, water infrastructure ages, and the requirements on environmental protection become more rigorous, ...

Excavations and Foundations in Soft Soils

The book is about soft soil engineering and is intended to serve the practicing as well as the research engineers. The planning, ...

Fading Foundations

This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...

Foundations of Data Mining and Knowledge Discovery

This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art ...

Foundations of Information and Knowledge Systems

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

Foundations of Quantum Theory

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 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

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

Total Books: 21 - 40 /94