Ditapis dengan
Formal Techniques for Networked and Distributed Systems - FORTE 2005
KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive Actions -- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets -- A Hierarch…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320845
- Deskripsi Fisik
- XII, 558 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing - HiPC 2004
Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High-Performance Microprocessors -- Low Power Robust Computing -- Networks and Games -- Plenary Session - Best Papers -- An Incentive Driven Lookup Protocol for Chord-Based Peer-to-Peer (P2P) Networks -- A No…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540304746
- Deskripsi Fisik
- XXV, 530 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Introduction to Assembly Language Programming
Overview -- Basic Computer Organization -- Pentium Assembly Language -- The Pentium Processor -- Overview of Assembly Language -- Procedures and the Stack -- Addressing Modes -- Arithmetic Flags and Instructions -- Selection and Iteration -- Logical and Bit Operations -- String Processing -- ASCII and BCD Arithmetic -- MIPS Assembly Language -- MIPS Processor -- MIPS Assembly Language -- Interr…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9780387271552
- Deskripsi Fisik
- XXIV, 692 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Job Scheduling Strategies for Parallel Processing
Parallel Job Scheduling — A Status Report -- Scheduling on the Top 50 Machines -- Parallel Computer Workload Modeling with Markov Chains -- Enhancements to the Decision Process of the Self-Tuning dynP Scheduler -- Reconfigurable Gang Scheduling Algorithm -- Time-Critical Scheduling on a Well Utilised HPC System at ECMWF Using Loadleveler with Resource Reservation -- Inferring the Topology and…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317951
- Deskripsi Fisik
- VIII, 320 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints -- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries -- Incremental Compilation-to-SAT Procedures -- Resolve and Expand…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315803
- Deskripsi Fisik
- XIII, 393 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Trust, Privacy, and Security in Digital Business
Invited Talk -- Privacy Enhanced Technologies: Methods – Markets – Misuse -- Digital Business -- Sec-Shield: Security Preserved Distributed Knowledge Management Between Autonomous Domains -- Protection Mechanisms Against Phishing Attacks -- Dropout-Tolerant TTP-Free Mental Poker -- A Self-healing Mechanism for an Intrusion Tolerance System -- Protecting Online Rating Systems from Unfair Rat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317968
- Deskripsi Fisik
- XII, 332 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science -- ICCS 2005
Numerical Methods -- Algorithms and Computational Kernels -- Nonnumerical Algorithms -- Parallel Algorithms -- Environments and Libraries -- Performance and Scalability -- Programming Techniques -- Networks and Distributed Algorithms -- Parallel and Distributed Computing -- Grid Computing -- Failure Handling -- Optimization -- Modeling and Simulation -- Image Analysis and Processing -- Graphics…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321118
- Deskripsi Fisik
- LXIII, 1089 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science -- ICCS 2005
Workshop on “Simulation of Multiphysics Multiscale Systems” -- Workshop on “Grid Computing Security and Resource Management” -- 2nd International Workshop on Active and Programmable Grids Architectures and Components (APGAC2005) -- International Workshop on Computational Nano-Science and Technology -- Workshop on “Collaborative and Cooperative Environments” -- Workshop on “Autonom…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321187
- Deskripsi Fisik
- LXIII, 1143 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Grid and Cooperative Computing - GCC 2005
Towards Global Collaborative Computing: Opportunities and Challenges of Peer to Peer Networks and Applications -- Session 1: Grid Service and Grid Security -- Session 2: Grid Middleware and Applications -- Session 3: Knowledge Grid and Semantic Grid -- Session 4: Resource Management -- Session 5: P2P Computing and Automatic Computing -- Session 6: Performance Evaluation and Modeling -- Session …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322771
- Deskripsi Fisik
- XXI, 1203 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Topics in Cryptology -- CT-RSA 2005
Invited Talks -- Sub-linear Queries Statistical Databases: Privacy with Power -- Malicious Cryptography: Kleptographic Aspects -- Cryptanalysis -- Resistance of SNOW 2.0 Against Algebraic Attacks -- A Study of the Security of Unbalanced Oil and Vinegar Signature Schemes -- Hold Your Sessions: An Attack on Java Session-Id Generation -- Update on SHA-1 -- A Fast Correlation Attack on the Shrinkin…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305743
- Deskripsi Fisik
- X, 390 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