Ditapis dengan
Singular Stochastic Differential Equations
Introduction -- 1. Stochastic Differential Equations -- 2. One-Sided Classification of Isolated Singular Points -- 3. Two-Sided Classification of Isolated Singular Points -- 4. Classification at Infinity and Global Solutions -- 5. Several Special Cases -- Appendix A: Some Known Facts -- Appendix B: Some Auxiliary Lemmas -- Rferences -- Index of Notation -- Index of Terms.The authors introduce, …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315605
- Deskripsi Fisik
- VIII, 128 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Riemannian Geometry and Geometric Analysis
Foundational Material -- De Rham Cohomology and Harmonic Differential Forms -- Parallel Transport, Connections, and Covariant Derivatives -- Geodesics and Jacobi Fields -- Symmetric Spaces and Kähler Manifolds -- Morse Theory and Floer Homology -- Variational Problems from Quantum Field Theory -- Harmonic Maps.
- Edisi
- 4th ed. 2005.
- ISBN/ISSN
- 9783540288916
- Deskripsi Fisik
- XIII, 566 p. 14 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Postmodern analysis
Calculus for Functions of One Variable -- Prerequisites -- Limits and Continuity of Functions -- Differentiability -- Characteristic Properties of Differentiable Functions. Differential Equations -- The Banach Fixed Point Theorem. The Concept of Banach Space -- Uniform Convergence. Interchangeability of Limiting Processes. Examples of Banach Spaces. The Theorem of Arzela-Ascoli -- Integrals and…
- Edisi
- 3rd ed.
- ISBN/ISSN
- 9783540288909
- Deskripsi Fisik
- XV, 375 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Microsystems for Automotive Applications 2005
Biological Aspects in Technical Sensor Systems -- The International Market for Automotive Microsystems, Regional Characteristics and Challenges -- Status of the Inertial MEMS-based Sensors in the Automotive -- The Assessment of the Socio-economic Impact of the Introduction of Intelligent Safety Systems in Road Vehicles — Findings of the EU Funded Project SEiSS -- Safety -- Special Cases of La…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540274636
- Deskripsi Fisik
- XVI, 543 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dynamical Systems
Stability of dynamical systems, bifurcations, and generic properties -- Discrete invariants of dynamical systems -- Entropy and topological aspects of dynamical systems -- Entropy and metric aspects of dynamical systems -- Entropy and measure theoretic aspects of dynamical systems -- Smooth dynamical systems -- Cellular automata and Boolean networks as examples of discrete dynamical systems.Our…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540288893
- Deskripsi Fisik
- VIII, 190 p. 65 illus., 15 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Service-Oriented Mapping
Changing Paradigm in Map Production and Geoinformation Management – an Introduction -- Service-Oriented Processing and Analysis of Massive Point Clouds in Geoinformation Management -- Establishing Common Ground through INSPIRE: the Legally- Driven European Spatial Data Infrastructure -- Developing a Statistical Geospatial Framework for the European Statistical System -- Vizzuality: Designing …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319724348
- Deskripsi Fisik
- XXX, 434 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications of Evolutionary Computing
EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Hu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320036
- Deskripsi Fisik
- XX, 631 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multi-Agent Programming
Logic- or Process Algebra-Based Agent Programming Languages -- Jason and the Golden Fleece of Agent-Oriented Programming -- Programming Multi-Agent Systems in 3APL -- Impact: A Multi-Agent Framework with Declarative Semantics -- Claim and Sympa: A Programming Environment for Intelligent and Mobile Agents -- Java-Based Agent Programming Languages -- Jade — A Java Agent Development Framework --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387263502
- Deskripsi Fisik
- XXXIV, 296 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
- -
Inelastic Analysis of Solids and Structures
An Introduction to the Incremental-Iterative Solution of Nonlinear Structural Problems -- Fundamental Notions of Metal Plasticity -- A General Procedure for Stress Integration and Applications in Metal Plasticity -- Creep and Viscoplasticity -- Plasticity of Geological Materials -- Large Strain Elastic-Plastic Analysis.This book presents computational procedures for the stress integration of in…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540265078
- Deskripsi Fisik
- XII, 420 p. 136 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