Ditapis dengan
Nonlinear Physical Oceanography
Background Material -- A Dynamical Systems Point of View -- Numerical Techniques -- The Wind-Driven Circulation -- The Thermohaline Circulation -- The Dynamics and Physics of ENSO.In this book, methodology of dynamical systems theory is applied to investigate the physics of the large-scale ocean circulation. Topics include the dynamics of western boundary currents such as the Gulf Stream in the…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9781402022630
- Deskripsi Fisik
- XVI, 532 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Preface -- Solving Over-Constrained Problems with SAT Technology -- A Symbolic Search Based Approach for Quantified Boolean Formulas -- Substitutional Definition of Satisfiability in Classical Propositional Logic -- A Clause-Based Heuristic for SAT Solvers -- Effective Preprocessing in SAT Through Variable and Clause Elimination -- Resolution and Pebbling Games -- Local and Global Complete Solu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316794
- Deskripsi Fisik
- XII, 492 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
- -
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
- -
Evolutionary Multi-Criterion Optimization
Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization: An Engineering Design Perspective -- Tutorial -- 1984-2004 – 20 Years of Multiobjective Metaheuristics. But What About the Solution of Combinatorial Problems with Multiple Objectives? -- Algorithm Improvements -- Omni-optimizer: A Procedure for Single and Multi-objective Optimization -- An EMO Al…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318804
- Deskripsi Fisik
- XVI, 912 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Grid Computing and Peer-to-Peer (P2P) Systems Workshop -- Spatial Analysis and GIS: Local or Global? Workshop -- Computer Graphics and Rendering Workshop -- Data Mining and Bioinformatics Workshop -- Parallel and Distribuited Computing Workshop -- Symbolic Computation, SC 2005 Workshop -- Specific Aspects of Computational Physics for Modeling Suddenly-Emerging Phenomena Workshop -- Internet Com…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320456
- Deskripsi Fisik
- CXXXII, 1342 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Approaches or Methods of Security Engineering Workshop -- Information Security and Hiding (ISH 2005) Workshop -- Modeling of Location Management in Mobile Information Systems Workshop -- Intelligent Multimedia Services and Synchronization in Mobile Multimedia Networks Workshop -- Ubiquitous Web Systems and Intelligence Workshop -- Modelling Complex Systems Workshop.The four volume set assembled…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320449
- Deskripsi Fisik
- CXXXII, 1316 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Information and Communication Technology (ICT) Education Workshop -- Digital Device for Ubiquitous Computing Workshop -- Optimization: Theories and Applications (OTA) 2005 Workshop -- Tracks.The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore,…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540323099
- Deskripsi Fisik
- XXVII, 1353 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hybrid Metaheuristics
Comparing Parallelization of an ACO: Message Passing vs. Shared Memory -- An LP-Based Hybrid Heuristic Procedure for the Generalized Assignment Problem with Special Ordered Sets -- Parametrized Greedy Heuristics in Theory and Practice -- A Taxonomy of Cooperative Search Algorithms -- A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem -- A Hybrid Meta-heuristic Appr…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318989
- Deskripsi Fisik
- XII, 155 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Euro-Par 2005 Parallel Processing
Invited Talks -- Topic 1 – Support Tools and Environments -- Topic 2 – Performance Prediction and Evaluation -- Topic 3 – Scheduling and Load-Balancing -- Topic 4 – Compilers for High Performance -- Topic 5 – Parallel and Distributed Databases, Data Mining and Knowledge Discovery -- Topic 6 – Grid and Cluster Computing: Models, Middleware and Architectures -- Topic 7 – Parallel Co…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319252
- Deskripsi Fisik
- XXXVI, 1299 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