Ditapis dengan
Organic Spectroscopy
1. Introduction to Spectroscopy (Spectrometry) -- 2. Ultraviolet (UV) and Visible Spectroscopy -- 3. Infrared (IR) Spectroscopy -- 4. Raman Spectroscopy -- 5. Proton Nuclear Magnetic Resonance (PMR or 1H NMR) Spectroscopy -- 6. 13C NMR Spectroscopy -- 7. Electron Spin Resonance (ESR) Spectroscopy -- 8. Mass Spectroscopy (MS) -- 9. Spectroscopic Solutions of Structural Problems -- Answers to Pro…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402025754
- Deskripsi Fisik
- X, 324 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Outsourcing to India
to India -- First Impressions -- Indian History and Religion -- Contemporary Indian Politics -- Culture and Food -- Domestic Travel -- Security Concerns -- The Outsourcing Industry in India -- The Outsourcing Drivers -- The Major Industry Players in India -- Ownership Models and Partnership -- The Major Outsourcing Locations -- Industry Associations and Research Bodies -- How to Organise the Ou…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540247944
- Deskripsi Fisik
- XXII, 320 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intraseasonal Variability in the Atmosphere-Ocean Climate System
Historical perspective -- South Asian monsoon -- East Asian monsoon -- Pan-America -- Australian-Indonesian monsoon -- The oceans -- Air-sea interaction -- Mass, momentum, and geodynamics -- El Niño Southern Oscillation connection -- Theory -- Modeling -- Predictability and forecasting.As the first comprehensive and authoritative review of intra-seasonal variability (ISV), this multi-author wo…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540272502
- Deskripsi Fisik
- XXVII, 437 p. 80 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Techniques for Networked and Distributed Systems - FORTE 2005
KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive Actions -- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets -- A Hierarch…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320845
- Deskripsi Fisik
- XII, 558 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Image Analysis and Processing – ICIAP 2005
Invited Papers -- Pattern Recognition for Computer Network Security -- Computer Vision for Augmented Reality and Augmented Environments -- Low and Middle Level Processing -- Image Segmentation -- Feature Extraction and Image Analysis -- Graphs -- Shape and Motion -- Image Modelling and Computer Graphics -- Image Communication, Coding and Security -- Computer Architectures, Technologies and Tool…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318668
- Deskripsi Fisik
- XXIV, 1219 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intelligent Document Retrieval
Related Work -- Data Analysis and Domain Model Construction -- Incorporating Additional Knowledge -- A Dialogue System for Partially Structured Data -- UKSearch - Intelligent Web Search -- UKSearch - Evaluation and Discussion -- YPA - Searching Classified Directories -- Future Directions and Conclusions.Collections of digital documents can nowadays be found everywhere in institutions, universit…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402037689
- Deskripsi Fisik
- XVI, 198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods for Mobile Computing
Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Str…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320210
- Deskripsi Fisik
- VIII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Generic Optimization
Genetic algorithms: a guide for absolute beginners -- Evolutionary algorithms and their theory -- Epistasis -- Examples -- Walsh transforms -- Multary epistasis -- Generalized Walsh transforms.
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402036651
- Deskripsi Fisik
- XIII, 298 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation of Functional Languages
Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Program…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540278610
- Deskripsi Fisik
- X, 190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mountain Ecosystems
Mountains Ecosystems Studies in Treeline Ecology General Aspects of Vegetation and Soils in Cold Environments -- Guideline for Describing Soil Profiles in Mountain Ecosystems -- Peripheral Plant Population Survival in Polar Regions -- Climate Change and High Mountain Vegetation Shifts -- Mountain Ecosystems Studies in Treeline Ecology Regional Treeline Studies in America -- Regeneration of Whit…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540273653
- Deskripsi Fisik
- XVI, 354 p. 96 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