Ditapis dengan
Advanced Parallel Processing Technologies
Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware Systems – Linking the Physical and Digital World -- Architecture -- A Data Transformations Based Approach for Optimizing Memory and Cache Locality on Distributed Memory Multiprocessors -- A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors -- A Loop Transformation Usin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321071
- Deskripsi Fisik
- XIV, 526 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Experimental and Efficient Algorithms
Invited Talks -- T? ??? ?í ? ??í?? ? The Interaction Between Algorithms and Game Theory -- Using an Adaptive Memory Strategy to Improve a Multistart Heuristic for Sequencing by Hybridization -- High-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed Regular Papers -- The “Real” Approximation Factor of the MST Heuristic for the Minimum…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320784
- Deskripsi Fisik
- XVI, 628 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
- -
Global Optimization and Constraint Satisfaction
Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block Backtracking: Exploiting the Structure in Continuous CSPs -- Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming Methods for Global Optimization -- A Method for Global Optimization of Large Syste…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320418
- Deskripsi Fisik
- XII, 193 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
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
- -
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
- -
High Performance Computational Science and Engineering
Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed Computing -- A Sparse Distributed Memory Capable of Handling Small Cues, SDMSCue -- Towards a Realistic Performance Model for Networks of Heterogeneous Computers -- Extending Clustersim with MP And DSM Modules -- Rendering Complex Scenes on Clusters with Limited Precomputation -- Numerical Computati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387240497
- Deskripsi Fisik
- X, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Spatially Structured Evolutionary Algorithms
Setting the Stage for Structured Populations -- Island Models -- Island Models: Empirical Properties -- Lattice Cellular Models -- Lattice Cellular Models: Empirical Properties -- Random and Irregular Cellular Populations -- Coevolutionary Structured Models -- Some Nonconventional Models.Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way in…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540299387
- Deskripsi Fisik
- XIII, 193 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Evolutionary Computation in Combinatorial Optimization
An External Partial Permutations Memory for Ant Colony Optimization -- A Novel Application of Evolutionary Computing in Process Systems Engineering -- Choosing the Fittest Subset of Low Level Heuristics in a Hyperheuristic Framework -- An Attribute Grammar Decoder for the 01 MultiConstrained Knapsack Problem -- EvoGeneS, a New Evolutionary Approach to Graph Generation -- On the Application of E…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319962
- Deskripsi Fisik
- XI, 271 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