Ditapis dengan
Graph Drawing
Papers -- Reconfiguring Triangulations with Edge Flips and Point Moves -- Drawing Power Law Graphs -- Hexagonal Grid Drawings: Algorithms and Lower Bounds -- Improved Bounds for the Number of (? k)-Sets, Convex Quadrilaterals, and the Rectilinear Crossing Number of K n -- On the Realizable Weaving Patterns of Polynomial Curves in -- Drawing the AS Graph in 2.5 Dimensions -- Boundary Labeling:…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318439
- Deskripsi Fisik
- XII, 540 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Shared Memory Parallel Programming with Open MP
Parallelization of General Matrix Multiply Routines Using OpenMP -- Performance Analysis of Hybrid OpenMP/MPI N-Body Application -- Performance and Scalability of OpenMP Programs on the Sun FireTM E25K Throughput Computing Server -- What Multilevel Parallel Programs Do When You Are Not Watching: A Performance Analysis Case Study Comparing MPI/OpenMP, MLP, and Nested OpenMP -- SIMT/OMP: A Toolse…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318323
- Deskripsi Fisik
- X, 154 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Developments in Language Theory
Restricted Towers of Hanoi and Morphisms -- Collapsing Words: A Progress Report -- Locally Consistent Parsing and Applications to Approximate String Comparisons -- Central Sturmian Words: Recent Developments -- Reversible Cellular Automata -- Inexpressibility Results for Regular Languages in Nonregular Settings -- Complexity of Quantum Uniform and Nonuniform Automata -- Membership and Finitenes…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316824
- Deskripsi Fisik
- XII, 412 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
SOFSEM 2005: Theory and Practice of Computer Science
Invited Talks -- Discovering Treewidth -- From Research Prototypes to Industrial Strength Open Source Products – The ObjectWeb Experience -- How Hard Is It to Take a Snapshot? -- Logical Foundations for Data Integration -- Recent Advances in Graph Drawing -- The Hyperdatabase Network – New Middleware for Searching and Maintaining the Information Space -- Architecture of a Business Framework…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305774
- Deskripsi Fisik
- XV, 428 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cognitive Engineering
The Psychological Basis of Cognitive Modeling -- Parallel and Distributed Logic Programming -- Distributed Reasoning by Fuzzy Petri Nets: A Review -- Belief Propagation and Belief Revision Models in Fuzzy Petri Nets -- Building Expert Systems Using Fuzzy Petri Nets -- Distributed Learning Using Fuzzy Cognitive Maps -- Unsupervised Learning by Fuzzy Petri Nets -- Supervised Learning by a Fuzzy P…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846282348
- Deskripsi Fisik
- XVIII, 354 p. 124 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Graphics and Geometric Modelling
Linear Algebra Topics -- Affine Geometry -- Projective Geometry -- Advanced Calculus Topics -- Point Set Topology -- Combinatorial Topology -- Algebraic Topology -- Differential Topology -- Differential Geometry -- Algebraic Geometry.Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume work covers implementation and theory …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281228
- Deskripsi Fisik
- XIV, 959 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integer Programming and Combinatorial Optimization
Mixed-Integer Cuts from Cyclic Groups -- Optimizing over the First Chvàtal Closure -- Sequential Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a Maximum Even Factor -- Improved Approximation Schemes for Linear Programming Relaxations of …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321026
- Deskripsi Fisik
- XII, 488 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Concept Analysis
Foundations -- Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies -- Semiconcept and Protoconcept Algebras: The Basic Theorems -- Features of Interaction Between Formal Concept Analysis and Algebraic Geometry -- From Formal Concept Analysis to Contextual Logic -- Contextual Attribute Logic of Many-Valued Attributes -- Treating Incomplete Knowledge in Formal Conce…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318811
- Deskripsi Fisik
- X, 349 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integration of AI and OR Techniques in Constraint Programming for Combinatori…
Invited Papers -- Integration of Rules and Optimization in Plant PowerOps -- Embedded Systems Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers -- Set Variables and Local Search -- The Temporal Knapsack Problem and Its Solution -- Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles -- The tree Cons…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322641
- Deskripsi Fisik
- XII, 412 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Graph-Based Representations in Pattern Recognition
Graph Representations -- Hypergraph-Based Image Representation -- Vectorized Image Segmentation via Trixel Agglomeration -- Graph Transformation in Document Image Analysis: Approaches and Challenges -- Graphical Knowledge Management in Graphics Recognition Systems -- A Vascular Network Growth Estimation Algorithm Using Random Graphs -- Graphs and Linear Representations -- A Linear Generative Mo…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319887
- Deskripsi Fisik
- XII, 384 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