Ditapis dengan
Commercial Surfactants for Remediation
Introduction -- Bioavailability of Metals in Sediment -- Solubilization of Metals in Invertebrate Guts -- Surfactants -- Commercial Surfactants for Remediation- Introduction -- Commercial Surfactants for Remediation- Methodology -- Metal Analysis -- Metal Concentration -- Kinetics of Metal Release by Surfactants -- Surfactant Availability of Metals -- Implication of Surfactants in Remediation -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9789811302213
- Deskripsi Fisik
- XIX, 100 p. 36 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Legal personhood: animals artificial intelligence and the unborn
Part I: Identifying the Legal Person -- 1. The Troublesome ‘Person (Bartosz Brozek) -- 2. Legal Persons as Abstractions (Ngaire Naffine) -- 3. The Idea of Non-Personal Subjects of Law (Tomasz Pietrzykowski) -- Part II Persons, Things and Rights -- 4. Why Things Can Hold Rights: Reconceptualizing the Legal Person (Visa Kurki) -- 5. The Right of a House (Qing Xiangyang) -- 6. Animals' Race Agai…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319534626
- Deskripsi Fisik
- IX, 158 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Service Availability
TTA Supported Service Availability -- The Value of Conformance Testing and a Look at the SAF Test Project -- Building Highly Available Application Using SA Forum Cluster: A Case Study of GGSN Application -- Using Logical Data Protection and Recovery to Improve Data Availability -- Contract-Based Web Service Composition Framework with Correctness Guarantees -- Practical Approach to Specification…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320180
- Deskripsi Fisik
- VIII, 216 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Service Availability
ISAS 2004 -- Architecture of Highly Available Databases -- Data Persistence in Telecom Switches -- Distributed Redundancy or Cluster Solution? An Experimental Evaluation of Two Approaches for Dependable Mobile Internet Services -- OpenHPI: An Open Source Reference Implementation of the SA Forum Hardware Platform Interface -- Quality of Service Control by Middleware -- Benefit Evaluation of High…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540302254
- Deskripsi Fisik
- X, 218 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Semantic Web: Research and Applications
Semantic Web Services -- Automatic Location of Services -- Feta: A Light-Weight Architecture for User Oriented Semantic Service Discovery -- Optimally Distributing Interactions Between Composed Semantic Web Services -- A POP-Based Replanning Agent for Automatic Web Service Composition -- Process-Level Composition of Executable Web Services: ”On-the-fly” Versus ”Once-for-all” Composition…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315476
- Deskripsi Fisik
- XV, 728 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Semantic Web and Databases
Service Oriented Computing: Opportunities and Challenges -- Data Semantics Revisited -- Dynamic Agent Composition from Semantic Web Services -- Ontology-Extended Component-Based Workflows : A Framework for Constructing Complex Workflows from Semantically Heterogeneous Software Components -- Data Procurement for Enabling Scientific Workflows: On Exploring Inter-ant Parasitism -- XSDL: Making XML…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318392
- Deskripsi Fisik
- X, 227 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Semantic Web – ISWC 2005
Invited Paper -- Using the Semantic Web for e-Science: Inspiration, Incubation, Irritation -- Semantic Acceleration Helping Realize the Semantic Web Vision or “The Practical Web” -- Semantic Web Public Policy Challenges: Privacy, Provenance, Property and Personhood -- Research/Academic Track -- Constructing Complex Semantic Mappings Between XML Data and Ontologies -- Stable Model Theory for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320821
- Deskripsi Fisik
- XXIII, 1073 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Self-Stabilizing Systems
Snap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of Byzantine Protocols -- Self-stabilization with r-Operators Revisited -- Self-stabilization Preserving Compiler -- Self-stabilizing Mobile Node Location Management and Message Routing -- Memory Management for Self-stabilizing Operati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321231
- Deskripsi Fisik
- X, 229 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Selected Areas in Cryptography
Stream Cipher Cryptanalysis -- An Improved Correlation Attack on A5/1 -- Extending the Resynchronization Attack -- A New Simple Technique to Attack Filter Generators and Related Ciphers -- Side-Channel Analysis -- On XTR and Side-Channel Analysis -- Provably Secure Masking of AES -- Block Cipher Design -- Perfect Diffusion Primitives for Block Ciphers -- Security of the MISTY Structure in the L…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305644
- Deskripsi Fisik
- XI, 354 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security Protocols
Where Have All the Protocols Gone? -- A Protocol’s Life After Attacks... -- A Protocol’s Life After Attacks... -- Towards Flexible Credential Negotiation Protocols -- Towards Flexible Credential Negotiation Protocols -- Man-in-the-Middle in Tunnelled Authentication Protocols -- Man-in-the-Middle in Tunnelled Authentication Protocols -- Towards a Framework for Autonomic Security Protocols --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318361
- Deskripsi Fisik
- X, 354 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