Ditapis dengan
Tubazioni in polietilene per il trasporto di acqua
Introduzione -- Il polietilene nel trasporto di acqua -- Ciclo di produzione -- Progettazione della tubazione -- Giunzioni -- Tecniche di posa -- Capitolato d’opera e collaudo -- Esercizio, manutenzione, e riabilitazione delle reti -- Vantaggi delle reti in polietilene.L’esigenza di quest’opera nasce dalla necessità di raccogliere, integrare e rendere disponibile agli operatori del setto…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9788847003569
- Deskripsi Fisik
- VII, 213 pagg.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mechanizing Mathematical Reasoning
A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI and Politics -- Logic and Deduction -- Some Reflections on Proof Transformations -- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective -- Temporal Dynamics of Support…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322542
- Deskripsi Fisik
- X, 570 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adapting Proofs-as-Programs
Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard Protocol -- Imperative Proofs-as-Programs -- Intuitionistic Hoare Logic -- Properties of Intuitionistic Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- G…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387281834
- Deskripsi Fisik
- XII, 420 p. 54 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
3D-Groundwater Modeling with PMWIN
Modeling Environment -- The Advective Transport Model PMPATH -- Tutorials -- Examples and Applications -- Supplementary Information.Processing Modflow is one of the most complete three-dimensional groundwater and transport simulation systems in the world. The text and the companion full-version software (PMWIN) offer a totally integrated simulation system. PMWIN comes with a professional graphi…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9783540275923
- Deskripsi Fisik
- XXV, 397 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Flow and Transport in Fractured Porous Media
Assessment of Fractured Porous Media -- Aquifer-Analogue Approach -- From Natural System to Numerical Model -- Project Scale Studies -- Core Scale -- Bench Scale -- Field-Block Scale -- Scale-Independent Approaches and Investigations -- The Multi-shell Model - A Conceptual Model Approach -- The Sensitivity Coefficient Approach -- Diffusivity Measurements -- Analysis of the Influence of Boundari…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540270126
- Deskripsi Fisik
- XVIII, 447 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Engineer and the Scandal
Prologue -- Karl von Terzaghi’s Childhood, Youth and his Road to Practice and Theory -- Prelude to the Scandal -- Intermezzo -- The Scandal -- The Further Development -- Epilogue.The Engineer and the Scandal gives an in-depth study into an important part of the development of the Theory of Porous Media as well as the amazing story of the glittering life of Professor Karl von Terzaghi. It prov…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540273035
- Deskripsi Fisik
- X, 294 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Tunnelling and Tunnel Mechanics
Design -- Installations in tunnels -- Investigation and description of the ground -- Heading -- Support -- Grouting and freezing -- The New Austrian Tunnelling Method -- Management of groundwater -- Application of compressed air -- Subaqueous tunnels -- Shafts -- Safety during construction -- Tunnelling Mechanics -- Behaviour of soil and rock -- Stress and deformation fields around a deep circu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540285007
- Deskripsi Fisik
- XVI, 438 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Trends in Continuum Mechanics of Porous Media
Over the last decade and particularly in recent years, the macroscopic porous media theory has made decisive progress concerning the fundamentals of the theory and the development of mathematical models in various fields of engineering and biomechanics. This progress has attracted some attention, and therefore conferences devoted almost exclusively to the macrosopic porous media theory have bee…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402031441
- Deskripsi Fisik
- XII, 282 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Tensile Fracturing in Rocks
From the contents: Fracture Physics: The Griffith Criterion; Nucleation; Linear Elastic Fracture Mechanisms; Dynamic Fracture; Subcritical Cracking -- Fracture Geology: Fractography and Tectonofractography; Uplift, Post-Uplift, Neotectonic and Surface Joints; Primary and Secondary Fractures -- Four Fracture Provinces in Sedimentary Rocks: The Appalachian Plateau; The Bristol Channel Basin; Zion…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540266143
- Deskripsi Fisik
- XIV, 570 p. 302 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Laws of Nature
What is a Law of Nature? -- Are there Laws of Nature at All? -- Can the Laws of Nature be Genuine Laws? -- Are the Laws of Logic Laws of Nature? -- Are the Laws of Mathematics Laws of Nature? -- Properties of Laws -- Does Every Law of Nature Express an Invariance (Symmetry)? -- Is Every Law of Nature Spacetime Invariant? -- Dynamical and Statistical Laws -- Laws, Boundary Conditions, and Consta…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540283034
- Deskripsi Fisik
- XII, 376 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah