Ditapis dengan
Education and the Knowledge Society
A comprehensive synthesis of research -- A comprehensive synthesis of research -- Lifelong Learning in the Knowledge Society -- Lifelong Learning in the Knowledge Society -- Collective intelligence and capacity building -- Collective intelligence and capacity building -- ETampere -- ETampere -- Information: a strategic resource for technological change -- Information: a strategic resource for t…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387231204
- Deskripsi Fisik
- XII, 306 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing – IWDC 2005
Keynote Talk I -- Distributed Coordination Algorithms for Mobile Robot Swarms: New Directions and Challenges -- Session I A: Theory -- Labeling Schemes for Tree Representation -- Single-Bit Messages Are Insufficient in the Presence of Duplication -- Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels -- Efficiently Implementing LL/SC Objects Shared by…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324287
- Deskripsi Fisik
- XXII, 590 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing -- IWDC 2004
Keynote Talk I -- The Next Chapter in Networking Research: Evolutionary or Revolutionary? -- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol -- Distributed Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Dist…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305361
- Deskripsi Fisik
- XIX, 546 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
New Horizons of Parallel and Distributed Computing
Programming Models and Support Tools -- Flexible Message Passing Interface for A Heterogenous Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems -- Programming Cellular Automata-Like Systems in a Multimedia Parallel Environment -- Algorithms -- Vector-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387289670
- Deskripsi Fisik
- XIV, 333 p. 136 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dissemination of Information in Communication Networks
The Telegraph and Telephone Modes -- Fundamentals -- Broadcasting -- Gossiping -- Systolic Communication -- Fault-Tolerance -- Distributed Networks -- Broadcast on Distributed Networks -- Leader Election in Asynchronous Distributed Networks -- Fault-Tolerant Broadcast in Distributed Networks.Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540266631
- Deskripsi Fisik
- XIV, 364 p. 73 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecture Description Languages
Tutorial -- An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering -- Models and Analysis -- Deploying QoS Contracts in the Architectural Level -- Hierarchical Composition and Abstraction in Architecture Models -- Pattern-Based Analysis of an Embedded Real-Time System Architecture -- An ADL Centric…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387245904
- Deskripsi Fisik
- X, 212 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecting Dependable Systems III
1. Architectures for Dependable Services -- Semantics-Aware Services for the Mobile Computing Environment -- The Role of Agreements in IT Management Software -- Toward Undoing in Composite Web Services -- Architecting Web Services Applications for Improving Availability -- Dependable Composite Web Services with Components Upgraded Online -- 2. Monitoring and Reconfiguration in Software Architec…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316480
- Deskripsi Fisik
- XIV, 343 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications and Theory of Petri Nets 2005
Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov N…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315599
- Deskripsi Fisik
- XI, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms and Computation
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324263
- Deskripsi Fisik
- XX, 1190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324263
- Deskripsi Fisik
- XX, 1190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms and Computation
Puzzles, Art, and Magic with Algorithms -- The ABCs of AVDs: Geometric Retrieval Made Simple -- Pareto Optimality in House Allocation Problems -- Property-Preserving Data Reconstruction -- On the Monotone Circuit Complexity of Quadratic Boolean Functions -- Generalized Function Matching -- Approximate Distance Oracles for Graphs with Dense Clusters -- Multicriteria Global Minimum Cuts -- Polyli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305514
- Deskripsi Fisik
- XVII, 935 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