Ditapis dengan
Computational Science -- ICCS 2005
Numerical Methods -- Algorithms and Computational Kernels -- Nonnumerical Algorithms -- Parallel Algorithms -- Environments and Libraries -- Performance and Scalability -- Programming Techniques -- Networks and Distributed Algorithms -- Parallel and Distributed Computing -- Grid Computing -- Failure Handling -- Optimization -- Modeling and Simulation -- Image Analysis and Processing -- Graphics…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321118
- Deskripsi Fisik
- LXIII, 1089 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Computer Science
Invited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems --…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320241
- Deskripsi Fisik
- XI, 411 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science -- ICCS 2005
Workshop on “Simulation of Multiphysics Multiscale Systems” -- Workshop on “Grid Computing Security and Resource Management” -- 2nd International Workshop on Active and Programmable Grids Architectures and Components (APGAC2005) -- International Workshop on Computational Nano-Science and Technology -- Workshop on “Collaborative and Cooperative Environments” -- Workshop on “Autonom…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321187
- Deskripsi Fisik
- LXIII, 1143 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Grid and Cooperative Computing - GCC 2005
Towards Global Collaborative Computing: Opportunities and Challenges of Peer to Peer Networks and Applications -- Session 1: Grid Service and Grid Security -- Session 2: Grid Middleware and Applications -- Session 3: Knowledge Grid and Semantic Grid -- Session 4: Resource Management -- Session 5: P2P Computing and Automatic Computing -- Session 6: Performance Evaluation and Modeling -- Session …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322771
- Deskripsi Fisik
- XXI, 1203 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Graph-Theoretic Concepts in Computer Science
Invited Papers -- Lexicographic Breadth First Search – A Survey -- Wireless Networking: Graph Theory Unplugged -- Graph Algorithms: Trees -- Constant Time Generation of Trees with Specified Diameter -- Treelike Comparability Graphs: Characterization, Recognition, and Applications -- Elegant Distance Constrained Labelings of Trees -- Collective Tree Spanners and Routing in AT-free Related Grap…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305590
- Deskripsi Fisik
- XI, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Transactions on Rough Sets II
Feature Selection with Rough Sets for Web Page Classification -- On Learning Similarity Relations in Fuzzy Case-Based Reasoning -- Incremental versus Non-incremental Rule Induction for Multicriteria Classification -- Three Strategies to Rule Induction from Data with Numerical Attributes -- Fuzzy Transforms -- Possible Equivalence Relations and Their Application to Hypothesis Generation in Non-d…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540277781
- Deskripsi Fisik
- X, 363 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Aspects of Computing - ICTAC 2004
Invited Speakers -- Software Services: Scientific Challenge or Industrial Hype? -- Integrating Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic and Model Checking for Mobile Processes -- Concurrent and Distributed Systems -- Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes -- Specifying Software Connectors -- Repli…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318620
- Deskripsi Fisik
- XIV, 566 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Unconventional Computation
Invited Papers -- Using Genetic Algorithms to Evolve Behavior in Cellular Automata -- Quantum Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA Nanotechnology: Molecular Construction and Computation -- Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics -- Regular Papers -- On Self-assembly in Population P…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320227
- Deskripsi Fisik
- XI, 267 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Theory of Distributed Objects
Review -- Analysis -- Formalisms and Distributed Calculi -- ASP Calculus -- An Imperative Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties -- Parallel Semantics -- Basic ASP Properties -- Confluence Property -- Determinacy -- A Few More Features -- More Confluent Features -- Non-Confluent Features -- Migration -- Groups -- Components -- Chan…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540272458
- Deskripsi Fisik
- XXXII, 352 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing
Invited Talks -- Digital Fountains and Their Application to Informed Content Delivery over Adaptive Overlay Networks -- Securing the Net: Challenges, Failures and Directions -- Regular Papers -- Coterie Availability in Sites -- Keeping Denial-of-Service Attackers in the Dark -- On Conspiracies and Hyperfairness in Distributed Computing -- On the Availability of Non-strict Quorum Systems -- Musi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320753
- Deskripsi Fisik
- XIV, 522 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