Ditapis dengan
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
- -
Argumentation in Multi-Agent Systems
Foundations of Dialogues -- Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues -- Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication -- Formal Dialectic Specification -- A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication -- Layered Strategies and Protocols for Argumentation-Based Agent Interaction -- Bel…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322610
- Deskripsi Fisik
- XII, 263 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applied Cryptography and Network Security
Two-Server Password-Only Authenticated Key Exchange -- Strengthening Password-Based Authentication Protocols Against Online Dictionary Attacks -- Cryptanalysis of an Improved Client-to-Client Password-Authenticated Key Exchange (C2C-PAKE) Scheme -- Efficient Security Mechanisms for Overlay Multicast-Based Content Distribution -- A Traitor Tracing Scheme Based on RSA for Fast Decryption -- N-Par…
- Edisi
- 1st ed. .
- ISBN/ISSN
- 9783540315421
- Deskripsi Fisik
- XII, 530 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications of Evolutionary Computing
EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Hu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320036
- Deskripsi Fisik
- XX, 631 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
- -
Ambient Networks
Information Models and Metrics -- On the Formalization of the Common Information Model Metaschema -- Ontology-Based Integration of Management Behaviour and Information Definitions Using SWRL and OWL -- On the Impact of Management on the Performance of a Managed System: A JMX-Based Management Case Study -- Security and Privacy -- Improving the Configuration Management of Large Network Security S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322443
- Deskripsi Fisik
- XIV, 282 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Ambient Intelligence
Ambient Intelligence -- Towards Ambient Intelligence For The Domestic Care Of The Elderly -- Scaling Ambient Intelligence -- Video and Radio Attributes Extraction For Heterogeneous Location Estimation -- Distributed Active Multicamera Networks -- A Distributed Multi Camera Surveillance System -- Learning Ang Integrating Information From Multiple Camera Views -- Fast Online Speaker Adaptation Fo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387229911
- Deskripsi Fisik
- XIII, 240 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Ambient Intelligence for Scientific Discovery
New Paradigms in Scientific Discovery -- Science at the Speed of Thought -- Computational Biology and Language -- Interactive Comprehensible Data Mining -- Scientific Discovery Within Data Streams -- Ambient Cognition -- Shape as Memory Storage -- Spatial Cues in 3D Visualization -- Textual Genre Analysis and Identification -- Cognitive Artifacts in Complex Work -- Ambient Intelligence Systems …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322634
- Deskripsi Fisik
- XIV, 314 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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah