This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Continue readingThis book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
Continue readingThis book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics ...
Continue readingthis book explores the applications of Critical Pedagogy to actual classroom situations. Written in a straight-forward, concise, ...
Continue readingThis detailed but accessible text describes the concepts, formalism, interpretation, and experimental observation of decoherence ...
Continue readingWhat is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Continue readingIt uses the advance core (the core of ground ahead of the face) as a structural tool for the long and short term stabilisation ...
Continue readingExamines alternative design procedures for plain and piled raft foundations. Chapters are written by leading consultants ...
Continue readingOffers systematic dynamic analysis of soils and their engineering applications, including machine foundations, and aims to ...
Continue readingThis book describes the principles of working with soil as a construction material, including two basic ways of treating ...
Continue readingProvides a comprehensive explanation and illustration of earth reinforcement and soil structures, from the viewpoint of practising ...
Continue readingAs urban areas keep growing, water infrastructure ages, and the requirements on environmental protection become more rigorous, ...
Continue readingThe book is about soft soil engineering and is intended to serve the practicing as well as the research engineers. The planning, ...
Continue readingThis book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...
Continue readingThis volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Continue readingThis book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...
Continue readingThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue reading