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 ...
Lee mas
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, ...
Lee mas
Continuum Mechanics
This book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics ...
Lee mas
Critical Pedagogy And The Everyday Classroom
this book explores the applications of Critical Pedagogy to actual classroom situations. Written in a straight-forward, concise, ...
Lee mas
Decoherence and the Quantum-To-Classical Transition
This detailed but accessible text describes the concepts, formalism, interpretation, and experimental observation of decoherence ...
Lee mas
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? ...
Lee mas
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 ...
Lee masDesign applications of raft foundations
Examines alternative design procedures for plain and piled raft foundations. Chapters are written by leading consultants ...
Lee masDynamics of soils and their engineering applications
Offers systematic dynamic analysis of soils and their engineering applications, including machine foundations, and aims to ...
Lee mas
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 ...
Lee masEarth reinforcement and soil structures
Provides a comprehensive explanation and illustration of earth reinforcement and soil structures, from the viewpoint of practising ...
Lee masEnhancing Urban Environment by Environmental Upgrading and Restoration
As urban areas keep growing, water infrastructure ages, and the requirements on environmental protection become more rigorous, ...
Lee mas
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, ...
Lee mas
Fading Foundations
This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...
Lee mas
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 ...
Lee mas
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lee mas
Foundations of Quantum Theory
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...
Lee mas
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 ...
Lee mas
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 ...
Lee masFoundations 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 ...
Lee mas
