Ditapis dengan
Fuzzy Modeling with Spatial Information for Geographic Problems
Reasoning About Regions, Relations, and Fields -- Fuzzy Reasoning about Geographic Regions -- Combined Extraction of Directional and Topological Relationship Information from 2D Concave Objects -- Field Based Methods for the Modeling of Fuzzy Spatial Data -- Modeling Localities with Fuzzy Sets and GIS -- Fuzzy Classification -- Mining Weather Data Using Fuzzy Cluster Analysis -- Modelling the F…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268864
- Deskripsi Fisik
- XII, 338 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Science Logic
Invited Lectures -- XML Navigation and Tarski’s Relation Algebras -- Verification in Predicate Logic with Time: Algorithmic Questions -- Note on Formal Analogical Reasoning in the Juridical Context -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed Control Flow with Classical Modal Logic -- A Logic of Coequations -- A Semantic Formula…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318972
- Deskripsi Fisik
- XI, 567 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints -- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries -- Incremental Compilation-to-SAT Procedures -- Resolve and Expand…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315803
- Deskripsi Fisik
- XIII, 393 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applied Micromechanics of Porous Materials
Transport properties of porous media -- Transport in Porous Media: Upscaling by Multiscale Asymptotic Expansions -- Micromechanical Analysis of Saturated Porous Media with Local Mass Exchange Phenomenon -- Diffusive transport in disordered media. Application to the determination of the tortuosity and the permeability of cracked materials. -- Microporomechanics -- Poroelasticity and strength of …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783211380468
- Deskripsi Fisik
- VIII, 332 p. 80 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Preface -- Solving Over-Constrained Problems with SAT Technology -- A Symbolic Search Based Approach for Quantified Boolean Formulas -- Substitutional Definition of Satisfiability in Classical Propositional Logic -- A Clause-Based Heuristic for SAT Solvers -- Effective Preprocessing in SAT Through Variable and Clause Elimination -- Resolution and Pebbling Games -- Local and Global Complete Solu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316794
- Deskripsi Fisik
- XII, 492 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Acronyms and general notations -- Management and Risk -- The Human Being and Risks -- Principles of Risk Management in Design -- Risk Management at Debugging Tests -- Risk Management in Operation on Basis of Monitoring -- Risk Management on Dangerous Plant -- Bases of Logic and Probabilistic Calculus -- Logic and Probabilistic Method and Risk -- Automated Structural and Logical Modelling -- Fou…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402029783
- Deskripsi Fisik
- XVI, 392 p. 82 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Plastic Mechanics of Geomaterial
Introduction -- Stress and strain and its basic equations -- The basic mechanical characteristics of the geomaterial -- The elastic model of geomaterial -- Classical Plasticity Theory -- The development of the plastic theory of geomaterial -- The static elastoplastic model for geomaterial -- Generalized plastic mechanics considering the rotation of principal axis of stress -- The dynamic consti…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9789811337536
- Deskripsi Fisik
- XIII, 250 p. 158 illus., 5 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Sustainable Tunneling and Underground Use
1.An approach for optimization of drilled shaft design in dubai -- 2.Effect of soil parameter on the long drive micro-tunelling process (a case study of al jadaf area, dubai, uae) -- 3.Probabilistic and deterministic analysis of an excavation supported by tiebacks and nailing in residual soil of gneiss -- 4.Ground movements induced by tunnels excavation using pressurized tunnel boring machine-c…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783030018849
- Deskripsi Fisik
- VIII, 211 p. 175 illus., 135 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Sustainability Issues for the Deep Foundations
1.Earth pressure distribution on rigid pipes overlain by tda inclusion -- 2.Dynamic nonlinear horizontal resistance of pile group considering soil types and pile-soil contact conditions -- 3.Response of four pile group subjected to eccentric loading -- 4.Negative skin friction distribution on a single pile - numerical analysis -- 5.The proposed use of generalized regression neural network to pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783030019020
- Deskripsi Fisik
- XIII, 286 p. 231 illus., 169 illus. in color.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