Ditapis dengan
Sturm-Liouville Theory
Sturm’s 1836 Oscillation Results Evolution of the Theory -- Sturm Oscillation and Comparison Theorems -- Charles Sturm and the Development of Sturm-Liouville Theory in the Years 1900 to 1950 -- Spectral Theory of Sturm-Liouville Operators Approximation by Regular Problems -- Spectral Theory of Sturm-Liouville Operators on Infinite Intervals: A Review of Recent Developments -- Asymptotic Metho…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783764373597
- Deskripsi Fisik
- XX, 336 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Ambient Intelligence
Applications -- Social, Economic, and Ethical Implications of Ambient Intelligence and Ubiquitous Computing -- Integrated Microelectronics for Smart Textiles -- Ambient Intelligence Research in HomeLab: Engineering the User Experience -- How Ambient Intelligence will Improve Habitability and Energy Efficiency in Buildings -- System Design and Architecture -- Networked Infomechanical Systems (NI…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540271390
- Deskripsi Fisik
- XIV, 374 p. 143 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing in Science and Engineering, Munich 2004
Performance and Tools -- Performance of Scientific Applications on Modern Supercomputers -- A Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework for Hierarchical-hybrid Grid Structures in Technical Simulation and Scientific Visualization -- Computational Fluid Dynamics -- Preface -- Fully Three-Dimensional Coupling of Fluid and Thin-Wal…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540266570
- Deskripsi Fisik
- XIII, 484 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Netherlands Yearbook of International Law 2016
The Changing Nature of Territoriality in International Law -- The Paradoxical Place of Territory in International Law -- A State Without Territory – Science Fiction or Reality? -- Territory in The Law of Jurisdiction: Imagining Alternatives -- Cartographies of the Present: ‘Contingent Sovereignty’ and Territorial Integrity -- Data Territories: Changing Architectures of Association in Inte…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9789462652071
- Deskripsi Fisik
- XV, 424 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Contrast Agents III
R. Alberto: New Organometallic Technetium Complexes for Radiopharmaceutical Imaging -- I. Santos, A. Paulo, J.D.G. Correia: Re and Tc Complexes Anchored by Phosphines and Scorpionates for Radiopharmaceutical Applications -- A. Boschi, A. Duatti, L.Uccelli: Development of Technetium-99m and Rhenium-188 Radiopharmaceuticals Containing a Terminal Metal-Nitrido Multiple Bond for Diagnosis and Thera…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314646
- Deskripsi Fisik
- XII, 222 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mechanizing Mathematical Reasoning
A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI and Politics -- Logic and Deduction -- Some Reflections on Proof Transformations -- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective -- Temporal Dynamics of Support…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322542
- Deskripsi Fisik
- X, 570 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Abstract Computing Machines
Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine and Others -- Toward Full-Fledged ?-Calculus Machines -- Interpreted Head-Order Graph Reduction -- The B-Machine -- The G-Machine -- The ?-red Machinery -- Pattern Matching -- Another Functional Abstract Machine -- Imperative Abstract Machines -- Real Computing Machines.The book addresses ways and means …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540273592
- Deskripsi Fisik
- XIV, 384 p. 89 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Sun, Solar Analogs and the Climate
The Earth's Climate and its Response to Solar Variability: The Climate System -- Atmospheric Dynamics, Modes of Variability and Climate Modelling -- Climate Records -- Radiative Processes in the Atmosphere -- The Greenhouse Effect and Radiative Forcing of Climate Change -- Clouds -- Atmospheric Photochemistry -- Response of Climate to Variations in Solar Irradiance -- The Earth's Electric Field…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540275107
- Deskripsi Fisik
- XIV, 426 p. 288 illus., 32 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Springer Handbook of Condensed Matter and Materials Data
Part 1 General Tables: 1.1 The Fundamental Constants -- 1.2 The International System of Units -- 1.3 Rudiments of Crystallography Part 2 The Elements Part 3 Classes of Materials: 3.1 Metals -- Magnesium and Magnesium Alloys -- Aluminium and Aluminium Alloys -- Titanium and Titanium Alloys -- Zirconium and Zirconium Alloys -- Iron and Steels -- Cobalt and Cobalt Alloys -- Nickel and Nickel Super…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540304371
- Deskripsi Fisik
- eReference.online resource.
- Judul Seri
- -
- No. Panggil
- -
Digital Holography
Fundamental Principles of Holography -- Digital Holography -- Digital Holographic Interferometry (DHI) -- Digital Holographic Microscopy -- Special Techniques and Applications -- Speckle Metrology.This book presents a self-contained treatment of the principles and major applications of digital hologram recording and numerical reconstruction (Digital Holography). The first part deals with optica…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540269113
- Deskripsi Fisik
- X, 164 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