Ditapis dengan
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
Basic Concepts -- Problem Formulations -- Convex and Lagrangian Relaxations -- Decomposition Methods -- Semidefinite Relaxations -- Convex Underestimators -- Cuts, Lower Bounds and Box Reduction -- Local and Global Optimality Criteria -- Adaptive Discretization of Infinite Dimensional MINLPs -- Algorithms -- Overview of Global Optimization Methods -- Deformation Heuristics -- Rounding, Partitio…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373740
- Deskripsi Fisik
- XVI, 213 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Regulatory Genomics
Predicting Genetic Regulatory Response Using Classification: Yeast Stress Response -- Detecting Functional Modules of Transcription Factor Binding Sites in the Human Genome -- Fishing for Proteins in the Pacific Northwest -- PhyloGibbs: A Gibbs Sampler Incorporating Phylogenetic Information -- Application of Kernel Method to Reveal Subtypes of TF Binding Motifs -- Learning Regulatory Network Mo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322801
- Deskripsi Fisik
- VIII, 116 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rapid Integration of Software Engineering Techniques
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320395
- Deskripsi Fisik
- X, 145 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Visualization, Explanation and Reasoning Styles in Mathematics
Mathematical Reasoning and Visualization -- Visualization in Logic and Mathematics -- From Symmetry Perception to Basic Geometry -- Naturalism, Pictures, and Platonic Intuitions -- Mathematical Activity -- Mathematical Explanation and Proof Styles -- Tertium Non Datur: On Reasoning Styles in Early Mathematics -- The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Pr…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402033353
- Deskripsi Fisik
- X, 300 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Tutorials on Emerging Methodologies and Applications in Operations Research
Heuristic Search for Network Design -- Polyhedral Combinatorics -- Constraint Languages for Combinatorial Optimization -- A Tutorial on Radiation Oncology and Optimization -- Parallel Algorithm Design for Branch and Bound -- Computer-Aided Design for Electrical and Computer engineering -- Nonlinear Programming and Engineering Applications -- Connecting MRP, MRP II and ERP — Supply Chain Produ…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387228273
- Deskripsi Fisik
- XVIII, 342 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Geology of the Oman Mountains, Eastern Arabia
Part I: Geography, History and Exploration. - Arabia Geography and Exploration -- Exploration of the Oman – UAE Mountains -- PART II: Geology -- Geology of the Oman – UAE Mountains -- Ophiolites and Structure of the Oman – UAE Mountains -- Oil and Gas -- PART III. Regional GeoPark Sites -- Musandam and Straits of Hormuz -- United Arab Emirates -- Northern Oman Mountains -- Ibri – Wadi H…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783030184537
- Deskripsi Fisik
- XXIV, 478 p. 389 illus., 382 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Systems Approaches and Their Application
The Systems Approach: History and Schools of Thinking -- Systems and Systems Theory -- Schools of Systems Thinking - Development Trends in Systems Methodology -- Systems Analysis in Sweden - Examples of Projects Using a Systems Approach -- Systems Analysis in Geography -- Multi-Agent Systems, Time Geography, and Microsimulations -- Analyzing Biological Systems: The Brain as an Example -- Defini…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402023705
- Deskripsi Fisik
- XVIII, 340 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Supply Chain Optimisation
Modelling Techniques -- An Initiative for International Consensus on Enterprise Inter- and Intra-Organisational Integration -- Towards Knowledge Logistics in Agile SME Networks -- A Modelling Framework for Human Resource-Based Business Processes -- Managing Service-Sensitive Demand Through Simulation -- Robust Modeling of Consumer Behaviour -- Sizing, Cycle Time and Plant Control Using Dioid Al…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387235813
- Deskripsi Fisik
- XVI, 290 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Stochastic Linear Programming
Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites -- Single-stage SLP Models -- Introduction -- Models involving Probability Functions -- Quantile Functions, Value at Risk -- Models Based on Expectation -- Models Built with Deviation Measures -- Modeling Risk and Opportunity -- Risk Measures -- Multi-stage SLP Models -- The General SLP with Recour…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387244402
- Deskripsi Fisik
- XII, 398 p. 32 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Statistical and Inductive Inference by Minimum Message Length
Inductive Inference -- Information -- Strict Minimum Message Length (SMML) -- Approximations to SMML -- MML: Quadratic Approximations to SMML -- MML Details in Some Interesting Cases -- Structural Models -- The Feathers on the Arrow of Time -- MML as a Descriptive Theory -- Related Work.The Minimum Message Length (MML) Principle is an information-theoretic approach to induction, hypothesis test…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387276564
- Deskripsi Fisik
- XVI, 432 p. 22 illus.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