Ditapis dengan
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
- -
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
- -
Real-Time Vision for Human-Computer Interaction
RTV4HCI: A Historical Overview -- Real-Time Algorithms: From Signal Processing to Computer Vision -- Advances in RTV4HCI -- Recognition of Isolated Fingerspelling Gestures Using Depth Edges -- Appearance-Based Real-Time Understanding of Gestures Using Projected Euler Angles -- Flocks of Features for Tracking Articulated Objects -- Static Hand Posture Recognition Based on Okapi-Chamfer Matching …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387278902
- Deskripsi Fisik
- XVIII, 302 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Bioinformatics Using Computational Intelligence Paradigms
Medical Bioinformatics: Detecting Molecular Diseases with Case-Based Reasoning -- Prototype Based Recognition of Splice Sites -- Contact Based Image Compression in Biomedical High-Throughput Screening Using Artificial Neural Networks -- Discriminative Clustering of Yeast Stress Response -- A Dynamic Model of Gene Regulatory Networks Based on Inertia Principle -- Class Prediction with Microarray…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323617
- Deskripsi Fisik
- VII, 211 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Statistical Tools for Finance and Insurance
Finance -- Stable Distributions -- Extreme Value Analysis and Copulas -- Tail Dependence -- Pricing of Catastrophe Bonds -- Common Functional Implied Volatility Analysis -- Implied Trinomial Trees -- Heston's Model and the Smile -- FFT-based Option Pricing -- Valuation of Mortgage Backed Securities: from Optimality to Reality -- Predicting Bankruptcy with Support Vector Machines -- Econometric …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540273950
- Deskripsi Fisik
- IV, 518 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mathematics and the Historian's Craft
Introduction: The Birth and Growth of a Community -- History or Heritage? An Important Distinction in Mathematics and for Mathematics Education -- Ptolemy’s Mathematical Models and their Meaning -- Mathematics, Instruments and Navigation, 1600–1800 -- Was Newton’s Calculus a Dead End? The Continental Influence of Maclaurin’s Treatise of Fluxions -- The Mathematics and Science of Leonhar…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387282725
- Deskripsi Fisik
- XVI, 358 p. 91 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hyperbolic Conservation Laws in Continuum Physics
Balance Laws -- to Continuum Physics -- Hyperbolic Systems of Balance Laws -- The Cauchy Problem -- Entropy and the Stability of Classical Solutions -- The L1 Theory for Scalar Conservation Laws -- Hyperbolic Systems of Balance Laws in One-Space Dimension -- Admissible Shocks -- Admissible Wave Fans and the Riemann Problem -- Generalized Characteristics. -- Genuinely Nonlinear Scalar Conservati…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540290896
- Deskripsi Fisik
- XX, 626 p. 39 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Basics of Fluid Mechanics and Introduction to Computational Fluid Dynamics
to Mechanics of Continua -- Dynamics of Inviscid Fluids -- Viscous Incompressible Fluid Dynamics -- to Numberical Solutions for Ordinary and Partial Differential Equations -- Finite-Difference Methods -- Finite Element and Boundary Element Methods -- The Finite Volume Method and the Generalized Difference Method -- Spectral Methods.This handbook brings together the theoretical basics of fluid d…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387238388
- Deskripsi Fisik
- XIV, 500 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
In the Footsteps of Darwin: Geoheritage, Geotourism and Conservation in the G…
Introduction -- The Geological Evolution of the Galapagos Islands -- The Origins and Ecology of the Galapagos Islands -- Geoconservation, Geotourism and Sustainable Development in the Galapagos -- The Geodiversity and Geoheritage of the Galapagos Islands: A Geotouristic Guide.This book provides the first-ever overview of and guide to the geological setting and related features of the famous, vo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783030059156
- Deskripsi Fisik
- VI, 183 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Stream Data Management
to Stream Data Management -- Query Execution and Optimization -- Filtering, Punctuation, Windows and Synopses -- XML & Data Streams -- CAPE: A Constraint-Aware Adaptive Stream Processing Engine -- Efficient Support for Time Series Queries in Data Stream Management Systems -- Managing Distributed Geographical Data Streams with the GIDB Portal System -- Streaming Data Dissemination Using Peer-Pee…
- Edisi
- -
- ISBN/ISSN
- 9780387252292
- Deskripsi Fisik
- XIV, 170 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