Ditapis dengan
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
- -
Generative Programming and Component Engineering
Invited Talks -- Object-Oriented Reengineering Patterns — An Overview -- abc: The AspectBench Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language -- On Domain-Specific Languages Reengineering -- Bossa Nova: Introducing Modularity into the …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319771
- Deskripsi Fisik
- XII, 452 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
- -
Systems Modeling and Simulation: Theory and Applications
Keynotes -- Modeling and Simulation Methodology – I -- Manufacturing -- Aerospace – I -- Military Simulation -- Medical Simulation – I -- General Applications – I -- Network – I -- e-Business -- Numerical Simulation -- Modeling and Simulation Methodology – II -- Traffic Simulation -- Network – II -- Aerospace – II -- Network – III -- General Applications – II -- Transportati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305859
- Deskripsi Fisik
- XIV, 733 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
- -
Computational Intelligence and Security
Learning and Fuzzy Systems -- Evolutionary Computation -- Intelligent Agents and Systems -- Intelligent Information Retrieval -- Support Vector Machine -- Swarm Intelligence -- Data Mining -- Pattern Recognition -- Applications.
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315995
- Deskripsi Fisik
- XLI, 1122 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Detection of Intrusions and Malware, and Vulnerability Assessment
Obfuscated Code Detection -- Analyzing Memory Accesses in Obfuscated x86 Executables -- Hybrid Engine for Polymorphic Shellcode Detection -- Honeypots -- Experiences Using Minos as a Tool for Capturing and Analyzing Novel Worms for Unknown Vulnerabilities -- A Pointillist Approach for Comparing Honeypots -- Vulnerability Assessment and Exploit Analysis -- Automatic Detection of Attacks on Crypt…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316459
- Deskripsi Fisik
- X, 241 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
- -
Testing Commercial-off-the-Shelf Components and Systems
Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components -- COTS Component Testing through Built-In Test -- COTS Component Testing through Aspect-Based Metadata -- Automatic Testing of Exception Handling Code -- Basic Concepts and Terms -- Testing Components in the Context of a System -- A Process and Role-Based Taxonomy of Techniques to Make Testable COT…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540270713
- Deskripsi Fisik
- XIV, 410 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Geometry for Computer Graphics
From the contents: Geometry -- Lines, angles and trigonometry -- Circe -- Triangle -- Quadrilaterals -- Polygon -- Three-dimensional objects -- Coordinate systems -- Vectors -- Quaternions -- Transformations -- 2D Straight line -- Lines and circles -- Second degree curves -- 3D Straight line -- The plane -- Line, plane and sphere -- 3D Triangle -- Parametric curves and patches -- Second-degree …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281167
- Deskripsi Fisik
- XXII, 342 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