Ditapis dengan
Recent Advances in Constraints
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322528
- Deskripsi Fisik
- X, 217 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles and Practice of Semantic Web Reasoning
Architectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Langu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320289
- Deskripsi Fisik
- X, 166 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecture Description Languages
Tutorial -- An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering -- Models and Analysis -- Deploying QoS Contracts in the Architectural Level -- Hierarchical Composition and Abstraction in Architecture Models -- Pattern-Based Analysis of an Embedded Real-Time System Architecture -- An ADL Centric…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387245904
- Deskripsi Fisik
- X, 212 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Local Pattern Detection
Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues in Rule Learning Algorithms -- Pattern Discovery Tools for Detecting Cheating in Student Coursework -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based Relational Subgroup Discovery -- Visualizing Very Large Graphs Using Clustering Neighborhoods -- Fe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318941
- Deskripsi Fisik
- XI, 233 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Signaling Pathways in Liver Diseases
Cell Types and Matrix -- Hepatocytes -- Signaling Pathways in Biliary Epithelial Cells -- Stellate Cells -- Kupffer Cells -- Hepatic Sinusoidal Endothelial Cells -- Extracellular Matrix -- Specific Signaling Pathways -- IL-6/gpl30/Stat3 -- Vascular Endothelial Growth Factor Signaling -- Insulin Pathway -- Nature and Function of Hepatic Tumor Necrosis Factor-? Signaling -- The Fas/FasL Signaling…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540271949
- Deskripsi Fisik
- XVI, 442 p. 103 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Small-scale Freshwater Toxicity Investigations
Overview of contemporary toxicity testing -- Effluent assessment with the Peep (Potential Ecotoxic Effects Probe) index -- A multitest index of effluent toxicity by PLS regression -- The pT-method as a Hazard Assessment Scheme for wastewaters -- Strategies for monitoring environmental effects of industrial effluents -- Overview of toxicity reduction and identification evaluations for use with s…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402035531
- Deskripsi Fisik
- XVIII, 422 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Astrobiology: Future Perspectives
The Synthesis of the Elements and the Formation of Stars -- Organic Molecules in the Interstellar Medium -- Chemistry of Protoplanetary Disks -- Planet Formation -- From Elemental Carbon to Complex Macromolecular Networks in Space -- Organic Molecules in Planetary Atmospheres -- Observations and Laboratory Data of Planetary Organics -- The Molecular Complexity of Comets -- Kuiper Belt: Water an…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402023057
- Deskripsi Fisik
- XVI, 518 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Microorganisms in Soils: Roles in Genesis and Functions
What Are Soils? -- Microbial Diversity in Soils -- Microorganisms and Soil Genesis -- Role of Microorganisms in Wear Down of Rocks and Minerals -- Humification and Mineralization in Soils -- Importance of Microorganisms for Soil Aggregation -- Microorganisms and Biogeochemical Processes in Soils -- Microbial Energetics in Soils -- Role of Microorganisms in Carbon Cycling in Soils -- Contributio…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540266099
- Deskripsi Fisik
- XXII, 422 p. 71 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Smart Business Networks
Welcome to Smart Business Networks -- The Actors -- The Emergence of Smart Business Networks -- Challenges of Smart Business Networks — Five Perspectives -- The Cordys Panel — Science Meets Business -- Outcomes of Smart Business Networks -- Spontaneous Collaborative Networks -- Where Are the Smarts Located in a Smart Business Network? -- Information Flow Structure in Large-Scale Product Dev…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540266945
- Deskripsi Fisik
- XII, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Norbert Elias and Violence
1. Introduction -- 2. War, Hope, and Fear. – 3. Writings on Violence at the End of a Long Life -- 3. Figurational Analysis of Michael Haneke’s Time of the Wolf -- 4. Violence and Civilité: The Ambivalences of the State -- 5. Elias’ Civilizing Process and the Janus-faced of Modernity -- 6. Civilisation and Violence at the Periphery of Capitalism: Notes for Rethinking the Brazilian Civiliz…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781137561183
- Deskripsi Fisik
- XI, 232 p. 2 illus.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