Ditapis dengan
Analysis, Control and Optimization of Complex Dynamic Systems
Production and Inventory Systems -- Average Cost Optimality in Inventory Models with Markovian Demands and Lost Sales -- Inventory Control of Switched Production Systems: LMI Approach -- A Two-Time-Scale Approach for Production Planning in Discrete Time -- Evaluation of Throughput in Serial Production Lines with Non-Exponential Machines -- Supply Chain Production Planning Modeling Facility Lead…
- Edisi
- 1st ed
- ISBN/ISSN
- 9780387254777
- Deskripsi Fisik
- XVII, 252 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Digital Simulation in Electrochemistry
Basic Equations -- Approximations to Derivatives -- Ordinary Differential Equations -- The Explicit Method -- Boundary Conditions -- Unequal Intervals -- The Commonly Used Implicit Methods -- Other Methods -- Adsorption -- Effects Due to Uncompensated Resistance and Capacitance -- Two-Dimensional Systems -- Convection -- Performance -- Programming -- Simulation Packages -- Tables and Formulae -…
- Edisi
- 3rd ed.
- ISBN/ISSN
- 9783540315247
- Deskripsi Fisik
- XIII, 338 p. 252 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Image Analysis and Processing – ICIAP 2005
Invited Papers -- Pattern Recognition for Computer Network Security -- Computer Vision for Augmented Reality and Augmented Environments -- Low and Middle Level Processing -- Image Segmentation -- Feature Extraction and Image Analysis -- Graphs -- Shape and Motion -- Image Modelling and Computer Graphics -- Image Communication, Coding and Security -- Computer Architectures, Technologies and Tool…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318668
- Deskripsi Fisik
- XXIV, 1219 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing - HiPC 2004
Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High-Performance Microprocessors -- Low Power Robust Computing -- Networks and Games -- Plenary Session - Best Papers -- An Incentive Driven Lookup Protocol for Chord-Based Peer-to-Peer (P2P) Networks -- A No…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540304746
- Deskripsi Fisik
- XXV, 530 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Processing with Evolutionary Algorithms
Adaptive Business Intelligence Based on Evolution Strategies: Some Application Examples of Self-Adaptive Software -- Extending the Boundaries of Design Optimization by Integrating Fast Optimization Techniques with Machine Code Based, Linear Genetic Programming -- Evolutionary Optimization of Approximating Triangulations for Surface Reconstruction from Unstructured 3D Data -- An Evolutionary Alg…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281174
- Deskripsi Fisik
- XVIII, 334 p. 137 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Structural Information and Communication Complexity
Cellular Networks: Where Are the Mobile Users? -- Distributed Data Structures: A Survey -- On Designing Truthful Mechanisms for Online Scheduling -- On Private Computation in Incomplete Networks -- Traffic Grooming on the Path -- Range Augmentation Problems in Static Ad-Hoc Wireless Networks -- On the Approximability of the L(h,k)-Labelling Problem on Bipartite Graphs (Extended Abstract) -- A T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320739
- Deskripsi Fisik
- X, 323 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Super-Recursive Algorithms
Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems of Computability -- Superrecursive Algorithms: Problems of Efficiency -- Conclusion: Problems of Information Technology and Computer Science Development.New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic universe" and asserts the conventiona…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387268064
- Deskripsi Fisik
- XII, 304 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Job Scheduling Strategies for Parallel Processing
Parallel Job Scheduling — A Status Report -- Scheduling on the Top 50 Machines -- Parallel Computer Workload Modeling with Markov Chains -- Enhancements to the Decision Process of the Self-Tuning dynP Scheduler -- Reconfigurable Gang Scheduling Algorithm -- Time-Critical Scheduling on a Well Utilised HPC System at ECMWF Using Loadleveler with Resource Reservation -- Inferring the Topology and…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317951
- Deskripsi Fisik
- VIII, 320 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints -- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries -- Incremental Compilation-to-SAT Procedures -- Resolve and Expand…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315803
- Deskripsi Fisik
- XIII, 393 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Modern Antennas
Modern Antennas, 2nd edition provides a complete and rigorous treatment of the theory and practice of modern antenna design and use. Written by a team of experienced engineers, the text is presented in a simple and understandable manner which guides the reader progressively through the stages of the design process. The book is aimed at practising engineers and graduate-level students, and inclu…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9780387262314
- Deskripsi Fisik
- XX, 690 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