Ditapis dengan
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
- -
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
- -
Manual of Aesthetic Surgery 2
Breast Augmentation -- Brachioplasty -- Abdominoplasty -- Thigh and Buttock Lift -- Liposuction -- Hair Transplantation -- Adjuvant Therapies Including Spacelift.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540263845
- Deskripsi Fisik
- XLIII, 272 p. 412 illus., 206 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Enterprise Management with SAP SEM™/ Business Analytics
Current Problems and Requirements -- Business Management Background -- Business Management Instruments -- Information Technology Instruments -- Components of the SAP Solution -- Case Studies -- Conclusion.In order to make strategy happen there is a need for powerful management information systems. SAP focuses on the application of modern business administration concepts, e.g. Value Based Manage…
- Edisi
- 2nd ed
- ISBN/ISSN
- 9783540247357
- Deskripsi Fisik
- XI, 220 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