Ditapis dengan
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops
Workshop 1: International Workshop on Applications and Economics of Peer-to-Peer Systems (AEPP 2005) -- Aurelia: Building Locality-Preserving Overlay Network over Heterogeneous P2P Environments -- On Building and Updating Distributed LSI for P2P Systems -- Performing Efficient Keyword Search by Keyword Grouping in DHT Peer-to-Peer Network -- Characterization of P2P File-Sharing System -- Analys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321156
- Deskripsi Fisik
- XX, 672 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications
Keynote Speech -- Tutorial -- Session 1A: Cluster Systems and Applications -- Session 1B: Performance Evaluation and Measurements -- Session 1C: Distributed Algorithms and Systems -- Session 1D: Fault Tolerance and Reliability -- Session 2A: High-Performance Computing and Architecture I -- Session 2B: Parallel Algorithms and Systems I -- Session 2C: Network Routing and Communication Algorithms …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540321002
- Deskripsi Fisik
- XXIV, 1164 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Bioinformatics Technologies
to Bioinformatics -- Overview of Structural Bioinformatics -- Database Warehousing in Bioinformatics -- Data Mining for Bioinformatics -- Machine Learning in Bioinformatics -- Systems Biotechnology: a New Paradigm in Biotechnology Development -- Computational Modeling of Biological Processes with Petri Net-Based Architecture -- Biological Sequence Assembly and Alignment -- Modeling for Bioinfor…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268888
- Deskripsi Fisik
- XV, 396 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automating Business Modelling
From the Contents. Introduction -- Background Knowledge -- Problems and Overviews of Approach -- Logic -- Formal Support for Data Modelling -- Formal Support for Process Modelling -- Reasoning on and Executing Processes -- Knowledge Sharing and Reuse of Models -- The Use of System: KBST-BM -- Evaluation of System -- Conclusion -- Appendices - A. Generic Models from BSDM -- B. Example Models of …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281068
- Deskripsi Fisik
- XVII, 322 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Software and Systems
Keynote Speeches and Invited Talks Abstracts (Partial) -- Track 1 Distributed Embedded Computing -- Track 2 Embedded Systems -- Track 3 Embedded Hardware and Architecture -- Track 4 Middleware for Embedded Computing -- Track 5 Mobile Systems -- Track 6 Transducer Network -- Track 7 Embedded Operating System -- Track 8 Power-Aware Computing -- Track 9 Real-Time System -- Track 10 Embedded System…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318231
- Deskripsi Fisik
- XX, 612 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Digital Libraries: International Collaboration and Cross-Fertilization
Keynote and Invited Papers -- Papers -- Posters.The International Conference on Asian Digital Libraries (ICADL) is an annual international forum that provides opportunities for librarians, researchers and experts to exchange their research results, innovative ideas, service experiences and state-- the-art developments in the field of digital libraries. Building on the success of the first six I…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305446
- Deskripsi Fisik
- XX, 690 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Uncertainty Assessment of Large Finite Element Systems
Part I Deterministic Methods and Procedures. Spectral Analysis of Finite Dimensional Operators. Finite Element Method. Non-Linear Static Analysis. Dynamic Analysis -- Part II Probabilistic Methods and Procedures. Rational Treatment of Uncertainties. Karhunen-Loève Expansion. Direct Monte Carlo Simulation. Equivalent Statistical Linearization. Random Vibrations of Large Finite Element Systems -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323983
- Deskripsi Fisik
- X, 166 p. 61 illus., 3 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Data Mining and Knowledge Management
Keynote Lectures -- Visualization-Based Data Mining Tool and Its Web Application -- Knowledge Management, Habitual Domains, and Innovation Dynamics -- Knowledge-Information Circulation Through the Enterprise: Forward to the Roots of Knowledge Management -- Data Mining Methodology -- A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals -- Fuzzy Classification Using Self-Organizin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305378
- Deskripsi Fisik
- XIV, 266 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cyberspace Security and Defense: Research Issues
General Security Issues -- IT Security Development -- A Case for Public and Private Review of Developing it Security Standards -- Assuring Critical Information Infrastructure -- Systemic Challenges for Critical Information Infrastructure Protection -- Decentralized Energy Supply to Secure Computer Systems -- Dependability -- Safety Analysis Methods—Software Development Questions -- Trust Case…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402033810
- Deskripsi Fisik
- X, 382 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Symbolic Analysis and Reduction of VLSI Circuits
Fundamentals -- Basics Of Circuit Analysis -- Linear VLSI Circuits -- Model-Order Reduction -- Generalized Y-? Transformation — Fundamental Theory -- Generalized Y-? Transformation — Advance Topics -- Y-? Transformation: Application I — Model Stabilization -- Y-? Transformation: Application II — Realizable Parasitic Reduction -- Analog VLSI Circuits -- Topological Analysis of Passive Ne…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387239057
- Deskripsi Fisik
- XXIV, 284 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