Ditapis dengan
Research and Advanced Technology for Digital Libraries
Digital Library Models and Architectures -- Requirements Gathering and Modeling of Domain-Specific Digital Libraries with the 5S Framework: An Archaeological Case Study with ETANA -- On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach -- LibraRing: An Architecture for Distributed Digital Libraries Based on DHTs -- Multimedia and Hypermedia Digital Librarie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319313
- Deskripsi Fisik
- XVIII, 545 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
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
- -
Recent Trends in Algebraic Development Techniques
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319597
- Deskripsi Fisik
- VIII, 280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Artificial intelligence :
hal. 1045-1081
- Edisi
- -
- ISBN/ISSN
- 0-13-080302-2
- Deskripsi Fisik
- xxviii, 1081 hal.: ilus., tab.; 25 cm.; hal. 987-1043.
- Judul Seri
- Prentice Hall series in Artificial Intelligence.
- No. Panggil
- 001.535 Rus a 2003
Artificual intelligence:
hal. 905-932
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- xxviii, 92 hal.: ilus.; 24 cm.; hal. 859-903
- Judul Seri
- Prentice-Hall Series in Artificial Intelligence
- No. Panggil
- 001.535 Rus a
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
- -
Using Algebraic Geometry
Solving Polynomial Equations -- Resultants -- Computation in Local Rings -- Modules -- Free Resolutions -- Polytopes, Resultants, and Equations -- Polyhedral Regions and Polynomials -- Algebraic Coding Theory -- The Berlekamp-Massey-Sakata Decoding Algorithm.In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation on fast inexpens…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9780387271057
- Deskripsi Fisik
- XII, 575 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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah