Ditapis dengan
Testing of Communicating Systems
The Epistemology of Validation and Verification Testing -- Passive Testing – A Constrained Invariant Checking Approach -- Dependence Testing: Extending Data Flow Testing with Control Dependence -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware -- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams -- Action Refineme…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320760
- Deskripsi Fisik
- X, 380 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Brain, Vision, and Artificial Intelligence
Brain Basics -- Towards a Dynamic Neuropharmacology: Integrating Network and Receptor Levels -- Cortical Architecture -- Unsupervised Recognition of Neuronal Discharge Waveforms for On-line Real-Time Operation -- Neural Connectivity and Dynamical Regimes of Neural Activity in a Network of Interactive Populations -- Signal Transmission and Synchrony Detection in a Network of Inhibitory Interneur…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320296
- Deskripsi Fisik
- XV, 556 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Microtectonics
A Framework of Microtectonic Studies -- Flow and Deformation -- Deformation Mechanisms -- Foliations, Lineations and Lattice Preferred Orientation -- Shear Zones -- Dilatation Sites — Veins, Strain Shadows, Fringes and Boudins -- Porphyroblasts and Reaction Rims -- Primary Structures -- Natural Microgauges -- Special Techniques -- Experimental Modelling Techniques -- From Sample to Section.Mi…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540293590
- Deskripsi Fisik
- XVI, 366 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Genetic Algorithms
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams -- Gray, Binary and Real Valued Encodings: Quad Search and Locality Proofs -- A Comparison of Simulated Annealing with a Simple Evolutionary Algorithm -- NP-Completeness of Deciding Binary Genetic Encodability -- Compact Genetic Codes as a Search Strategy of Evolutionary Processes -- Asymptotic Convergence of Some …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320357
- Deskripsi Fisik
- X, 314 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Regional Disparities in Small Countries
Concepts, Theory and Methods -- The Liability of Smallness: Can We Expect Less Regional Disparities in Small Countries? -- Country Size in Regional Economics -- Measures of Regional Inequality for Small Countries -- Investigating Spatial Patterns of Income Disparities Using Coordinate Transformations and GIS Mapping -- Empirical Evidence -- Regional Employment Disparities in Belgium: Some Empir…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540276395
- Deskripsi Fisik
- VI, 334 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Manual for Soil Analysis - Monitoring and Assessing Soil Bioremediation
Soil Sampling and Storage -- Determination of Chemical and Physical Soil Properties -- Quantification of Soil Contamination -- Immunotechniques as a Tool for Detection of Hydrocarbons -- Feasibility Studies for Microbial Remediation Hydrocarbon-Contaminated Soil -- Feasibility Studies for Microbial Remediation of Metal-Contaminated Soil -- Feasibility Studies for Phytoremediation of Metal-Conta…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540289043
- Deskripsi Fisik
- XVI, 366 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intrusion Detection and Correlation
Computer Security and Intrusion Detection -- Alert Correlation -- Alert Collection -- Alert Aggregation and Verification -- High-Level Alert Structures -- Large-Scale Correlation -- Evaluation -- Open Issues -- Conclusions.INTRUSION DETECTION AND CORRELATION: Challenges and Solutions presents intrusion detection systems (IDSs) and addresses the problem of managing and correlating the alerts pro…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387233994
- Deskripsi Fisik
- XIV, 118 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Short-Wave Solar Radiation in the Earth's Atmosphere
Solar Radiation in the Atmosphere -- Theoretical Base of Solar Irradiance and Radiance Calculation in the Earth Atmosphere -- Spectral Measurements of Solar Irradiance and Radiance in Clear and Cloudy Atmospheres -- The Problem of Retrieving Atmospheric Parameters from Radiative Observations -- Determination of Parameters of the Atmosphere and the Surface in a Clear Atmosphere -- Analytical Met…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540266921
- Deskripsi Fisik
- XVI, 303 p. 60 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Engineering for Multi-Agent Systems III
Agent Methodologies and Processes -- From Object-Oriented to Agent-Oriented Software Engineering Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System Development -- Requirements Engineering and Software Architectures -- A Social-Driven Design…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318460
- Deskripsi Fisik
- XII, 291 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Mediterranean Sea
Lucien LAUBIER: Mediterranean Sea and Humans: improving a Conflictual Partnership -- Claude MILLOT and Isabelle TAUPIER-LETAGE: Circulation in the Mediterranean Sea -- J.P. BETHOUX: Nutrient (N,P,Si), Oxygen (O2) and Carbon Ratios, CO2 Sequestration and Anthropogenic Forcing in the Mediterranean Sea -- Joan ALBAIGES: Persistent Organic Pollutants in the Mediterranean Sea -- Christophe MIGON: Tr…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314929
- Deskripsi Fisik
- XIV, 414 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