Ditapis dengan
Graph-Theoretic Concepts in Computer Science
Invited Lectures -- Hypertree Decompositions: Structure, Algorithms, and Applications -- Combinatorial Search on Graphs Motivated by Bioinformatics Applications: A Brief Survey -- Regular Papers -- Domination Search on Graphs with Low Dominating-Target-Number -- Fully Dynamic Algorithm for Recognition and Modular Decomposition of Permutation Graphs -- Approximating Rank-Width and Clique-Width Q…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314684
- Deskripsi Fisik
- XIV, 478 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Research and Technological Innovation
- Research, Technology, Innovation: Analysis and Cases -- Scientific-Technological Innovation and Industrial Growth -- The Intellectual Origins of Modern Economic Growth -- Local Systems and Networks in the Globalisation Process -- The Dynamics of High-Tech Clusters: Competition, Predation, Synergies -- High-Technology Clusters: Specialisation and Interaction -- New Industry, European Framework…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783790816587
- Deskripsi Fisik
- VIII, 290 p. 66 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Programmer's Introduction to C# 2.0
Object-Oriented Basics -- The .NET Runtime Environment -- C# Quick Start and C# Development -- Exception Handling -- Classes 101 -- Base Classes and Inheritance -- Member Accessibility and Overloading -- Other Class Details -- Structs (Value Types) -- Interfaces -- Versioning and Aliases -- Statements and Flow of Execution -- Variable Scoping and Definite Assignment -- Operators and Expressions…
- Edisi
- 3rd ed. 2005.
- ISBN/ISSN
- 9781430200352
- Deskripsi Fisik
- XXXVIII, 568 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Probability and Partial Differential Equations in Modern Applied Mathematics
Nonnegative Markov Chains with Applications -- Phase Changes with Time and Multi-Scale Homogenizations of a Class of Anomalous Diffusions -- Semi-Markov Cascade Representations of Local Solutions to 3-D Incompressible Navier-Stokes -- Amplitude Equations for Spdes: Approximate Centre Manifolds and Invariant Measures -- Enstrophy and Ergodicity Of Gravity Currents -- Stochastic Heat and Burgers …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387293714
- Deskripsi Fisik
- X, 272 p. 22 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
AMST'05 Advanced Manufacturing Systems and Technology
Trends in Manufacturing -- Machining Processes -- Machine Tools and Flexible Manufacturing Systems -- Non-Conventional Processes -- Forming -- Tool Condition Monitoring and New Materials -- Rapid Prototyping, Rapid Tooling and Rapid Manufacturing -- Ecodesign Assembly and Disassembly -- Quality Assurance.Manufacturing a product is not difficult, the difficulty consists in manufacturing a produc…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783211380536
- Deskripsi Fisik
- XXI, 792 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Physical Acoustics in the Solid State
Experimental Techniques -- Elasticity -- Thermodynamics and Phase Transitions -- Acoustic Waves in the Presence of Magnetic Ions -- Ultrasonics at Magnetic Phase Transitions -- Ultrasonics at Structural Transitions -- Metals and Semiconductors -- Unstable Moment Compounds -- Ultrasonics in Superconductors -- Coupling to Collective Excitations -- Ultrasonics in Low Dimensional Spin and Electroni…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540721949
- Deskripsi Fisik
- XIII, 428 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fluid Mechanics
Fluid Mechanics I -- Fluid Mechanics II -- Exercises in Fluid Mechanics -- Gasdynamics -- Exercises in Gasdynamics -- Aerodynamics Laboratory.Despite dramatic advances in numerical and experimental methods of fluid mechanics, the fundamentals are still the starting point for solving flow problems. This textbook introduces the major branches of fluid mechanics of incompressible and compressible …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540272236
- Deskripsi Fisik
- XI, 354 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integrated Formal Methods
Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322405
- Deskripsi Fisik
- XI, 407 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fuzzy Systems and Knowledge Discovery
Fuzzy Theory and Models -- Uncertainty Management in Data Mining -- Uncertainty Management and Probabilistic Methods in Data Mining -- Approximate Reasoning -- Axiomatic Foundation -- Fuzzy Classifiers -- Fuzzy Clustering -- Fuzzy Database Mining and Information Retrieval -- Information Fusion -- Neuro-Fuzzy Systems -- Fuzzy Control -- Fuzzy Hardware -- Knowledge Visualization and Exploration -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318309
- Deskripsi Fisik
- XLI, 1334 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Ubiquitous Computing Systems
Invited Talks -- The Pervasive Sensor -- From Everyday Things to Everyday Memories: Two Kinds of Interactions with Objects in a House -- Location-aware Computing -- Design, Implementation and Evaluations of a Direction Based Service System for Both Indoor and Outdoor -- Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments -- Position Tracking Using Infra-Red Si…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318095
- Deskripsi Fisik
- XIV, 278 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