Ditapis dengan
Reliable Software Technology – Ada-Europe 2005
Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applica…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316664
- Deskripsi Fisik
- XVI, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reliable Distributed Systems
Basic Distributed Computing Technologies -- Fundamentals -- Basic Communication Services -- High Assurance Communication -- Remote Procedure Calls and the Client/Server Model -- Styles of Client/Server Computing -- CORBA: The Common Object Request Broker Architecture -- System Support for Fast Client/Server Communication -- Web Technologies -- The World Wide Web -- Major Web Technologies -- Web…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387276014
- Deskripsi Fisik
- XXXVI, 668 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
Reasoning Web
to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic A…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316756
- Deskripsi Fisik
- X, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Variational Methods in Shape Optimization Problems
to Shape Optimization Theory and Some Classical Problems -- Optimization Problems over Classes of Convex Domains -- Optimal Control Problems: A General Scheme -- Shape Optimization Problems with Dirichlet Condition on the Free Boundary -- Existence of Classical Solutions -- Optimization Problems for Functions of Eigenvalues -- Shape Optimization Problems with Neumann Condition on the Free Bound…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644031
- Deskripsi Fisik
- VIII, 216 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Variational Analysis and Applications
1 -- The Work of G. Stampacchia in Variational Inequalities -- In Memory of Guido Stampacchia -- The Collaboration between Guido Stampacchia and Jacques-Louis Lions on Variational Inequalities -- In Memory of Guido Stampacchia -- Guido Stampacchia -- Memories of Guido Stampacchia -- In Memory of Guido Stampacchia -- Guido Stampacchia, My Father -- 2 -- Convergence and Stability of a Regularizat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387242767
- Deskripsi Fisik
- XII, 1184 p. 40 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Traffic and Granular Flow ' 03
Empirical Traffic Data -- Lane-Change Maneuvers Consuming Freeway Capacity -- Empirical Description of Car-Following -- Optimization Potential of a Highway Network: An Empirical Study -- Observation, Theory and Experiment for Freeway Traffic as Physics of Many-Body System -- Fluctuation in Expressway Traffic Flow -- Calibration and Validation of Microscopic Traffic Flow Models -- Real Highway T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540280910
- Deskripsi Fisik
- XIV, 602 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Time‒Frequency and Time‒Scale Methods
Wavelets: Basic properties, parameterizations and sampling -- Derivatives and multiwavelets -- Sampling in Fourier and wavelet analysis -- Bases for time-frequency analysis -- Fourier uncertainty principles -- Function spaces and operator theory -- Uncertainty principles in mathematical physics.Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644314
- Deskripsi Fisik
- XXII, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Supply Chain Optimization
Information Centric Optimization of Inventories in Capacitated Supply Chains: Three Illustrative Examples -- An Analysis of Advance Booking Discount Programs Between Competing Retailers -- Third Party Logistics Planning with Routing and Inventory Costs -- Optimal Investment Strategies for Flexible Resources, Considering Pricing -- Multi-Channel Supply Chain Design in B2C Electronic Commerce -- …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387262819
- Deskripsi Fisik
- X, 414 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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah