Ditapis dengan
Real-Time Management of Resource Allocation Systems
Resource Allocation Systems: Concepts and Problems -- Logical Control of Disjunctive / Conjunctive Resource Allocation Systems -- Sequential RAS Admitting Optimal Nonblocking Supervision of Polynomial Complexity -- Polynomial-Kernel Nonblocking Supervisory Control Policies for Single-Unit RAS -- Logical Control of RAS with Complex Process Flows -- Performance-Oriented Modelling and Control of L…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387239675
- Deskripsi Fisik
- X, 244 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Algebra and Geometric Algebra with Applications
Computer Algebra and Applications -- On Wintner’s Conjecture About Central Configurations -- Polynomial General Solutions for First Order Autonomous ODEs -- The Newton Polygon Method for Differential Equations -- Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems -- Hybrid Method for Solving New Pose Estimation Equation System -- Some Necessary Conditions…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321194
- Deskripsi Fisik
- IX, 449 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Modular Algorithms in Symbolic Summation and Symbolic Integration
1. Introduction -- 2. Overview -- 3. Technical Prerequisites -- 4. Change of Basis -- 5. Modular Squarefree and Greatest Factorial Factorization -- 6. Modular Hermite Integration -- 7. Computing All Integral Roots of the Resultant -- 8. Modular Algorithms for the Gosper-Petkovšek Form -- 9. Polynomial Solutions of Linear First Order Equations -- 10. Modular Gosper and Almkvist & Zeilberger Alg…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540301370
- Deskripsi Fisik
- XVI, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mathematics of Surfaces XI
Free-Form Surface Construction in a Commercial CAD/CAM System -- Polyhedral Gauss Maps and Curvature Characterisation of Triangle Meshes -- Manifold Embedding of Graphs Using the Heat Kernel -- Detection of Surface Creases in Range Data -- Efficient Linear System Solvers for Mesh Processing -- Smoothing of Time-Optimal Feedrates for Cartesian CNC Machines -- Plausible 3D Colour Surface Completi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318354
- Deskripsi Fisik
- X, 478 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
An Introduction to Computational Micromechanics
Some Basics of the Mechanics of Solid Continua -- Fundamental Weak Formulations -- Fundamental Micro–Macro Concepts -- A Basic Finite Element Implementation -- Computational/Statistical Testing Methods -- Various Extensions and Further Interpretations of Partitioning -- Domain Decomposition Analogies and Extensions -- Nonconvex–Nonderivative Genetic Material Design -- Modeling Coupled Multi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323600
- Deskripsi Fisik
- X, 195 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High-Resolution Methods for Incompressible and Low-Speed Flows
Fundamental Physical and Model Equations -- The Fluid Flow Equations -- The Viscous Fluid Flow Equations -- Curvilinear Coordinates and Transformed Equations -- Overview of Various Formulations and Model Equations -- Basic Principles in Numerical Analysis -- Time Integration Methods -- Numerical Linear Algebra -- Solution Approaches -- Compressible and Preconditioned-Compressible Solvers -- The…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540264545
- Deskripsi Fisik
- XX, 622 p. 480 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fuzzy Mathematical Programming and Fuzzy Matrix Games
Crisp matrix and bi-matrix games: some basic results -- Fuzzy sets -- Fuzzy numbers and fuzzy arithmetic -- Linear and quadratic programming under fuzzy environment -- Duality in linear and quadratic programming under fuzzy environment -- Matrix games with fuzzy goals -- Matrix games with fuzzy pay-offs -- More on matrix games with fuzzy pay-offs -- Fuzzy Bi-Matrix Games -- Modality and other a…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323716
- Deskripsi Fisik
- XII, 236 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Upscaling Multiphase Flow in Porous Media
Pore Scale Network Modelling -- Bundle-of-Tubes Model for Calculating Dynamic Effects in the Capillary-Pressure-Saturation Relationship -- Predictive Pore-Scale Modeling of Single and Multiphase Flow -- Digitally Reconstructed Porous Media: Transport and Sorption Properties -- Pore-Network Modeling of Isothermal Drying in Porous Media -- Phenomenological Meniscus Model for Two-Phase Flows in Po…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402036040
- Deskripsi Fisik
- VIII, 258 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Methods of Celestial Mechanics
Physical, Mathematical, and Numerical Principles -- Overview of the Work -- Historical Background -- The Equations of Motion -- The Two- and the Three-Body Problems -- Variational Equations -- Theory of Perturbations -- Numerical Solution of Ordinary Differential Equations: Principles and Concepts -- Orbit Determination and Parameter Estimation.G. Beutler's Methods of Celestial Mechanics is a c…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268703
- Deskripsi Fisik
- XVI, 466 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Graph Theory and Combinatorial Optimization
Variable Neighborhood Search for Extremal Graphs. XI. Bounds on Algebraic Connectivity -- Problems and Results on Geometric Patterns -- Data Depth and Maximum Feasible Subsystems -- The Maximum Independent Set Problem and Augmenting Graphs -- Interior Point and Semidefinite Approaches in Combinatorial Optimization -- Balancing Mixed-Model Supply Chains -- Bilevel Programming: A Combinatorial Pe…
- Edisi
- 1st ed
- ISBN/ISSN
- 9780387255927
- Deskripsi Fisik
- XVI, 266 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