Ditapis dengan
Progress in Cryptology - INDOCRYPT 2004
Invited Talks -- Design of Secure Key Establishment Protocols: Successes, Failures and Prospects -- Secure Protocols for Complex Tasks in Complex Environments -- Cryptographic Protocols -- Tripartite Key Exchange in the Canetti-Krawczyk Proof Model -- The Marriage Proposals Problem: Fair and Efficient Solution for Two-Party Computations -- Applications -- On the Security of a Certified E-Mail S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305569
- Deskripsi Fisik
- XIV, 431 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Practice and Theory of Automated Timetabling V
General Issues -- Learning User Preferences in Distributed Calendar Scheduling -- Semantic Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper-heuristics for Timetabling and Scheduling -- Transport Timetabling -- A Hybridised Integer Programming and Local Search Method for Robust Train Driver Schedules Planning -- Logistics Service Network Des…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324218
- Deskripsi Fisik
- XII, 360 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications
Keynote Speech -- Session 1A: Parallel Algorithms and Systems I -- Session 1B: Data Mining and Management -- Session 1C: Distributed Algorithms and Systems -- Session 2A: Fault Tolerance Protocols and Systems -- Session 2B: Sensor Networks and Protocols -- Session 2C: Cluster Systems and Applications -- Session 3A: Parallel Algorithms and Systems II -- Session 3B: Grid Applications and Systems …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540305668
- Deskripsi Fisik
- XXIV, 1058 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Numerical Analysis and Its Applications
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318521
- Deskripsi Fisik
- XIII, 630 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318521
- Deskripsi Fisik
- XIII, 630 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Discrete and Computational Geometry
Matching Points with Circles and Squares -- The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation -- Algorithms for the d-Dimensional Rigidity Matroid of Sparse Graphs -- Sliding Disks in the Plane -- Weighted Ham-Sandwich Cuts -- Towards Faster Linear-Sized Nets for Axis-Aligned Boxes in the Plane -- Farthest-Point Queries with Geometric and Combinatorial Constraints -- Grid Ver…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320890
- Deskripsi Fisik
- VIII, 213 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing in Sensor Systems
Invited Talks -- Algorithmic Problems in Ad Hoc Networks -- Five Challenges in Wide-Area Sensor Systems -- Challenges in Programming Sensor Networks -- Regular Papers -- Distributed Proximity Maintenance in Ad Hoc Mobile Networks -- Adaptive Triangular Deployment Algorithm for Unattended Mobile Sensor Networks -- An Adaptive Blind Algorithm for Energy Balanced Data Propagation in Wireless Senso…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316718
- Deskripsi Fisik
- XV, 423 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Discrete Geometry for Computer Imagery
Applications -- Increasing Interconnection Network Connectivity for Reducing Operator Complexity in Asynchronous Vision Systems -- Geometric Robot Mapping -- Discrete Geometry Applied in Hard Real-Time Systems Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid Framework -- Optimal Design of 2D/3D Hierarchical Content-Based Meshes for Multime…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319658
- Deskripsi Fisik
- X, 430 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Approximation, Randomization and Combinatorial Optimization. Algorithms and T…
Contributed Talks of APPROX -- The Network as a Storage Device: Dynamic Routing with Bounded Buffers -- Rounding Two and Three Dimensional Solutions of the SDP Relaxation of MAX CUT -- What Would Edmonds Do? Augmenting Paths and Witnesses for Degree-Bounded MSTs -- A Rounding Algorithm for Approximating Minimum Manhattan Networks -- Packing Element-Disjoint Steiner Trees -- Approximating the B…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318743
- Deskripsi Fisik
- XI, 495 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Approximation and Online Algorithms
Invited Talks -- Online Packet Switching -- Approximation Algorithms for Mixed Fractional Packing and Covering Problems -- Regular Papers -- Minimum Sum Multicoloring on the Edges of Planar Graphs and Partial k-Trees -- Online Bin Packing with Resource Augmentation -- A PTAS for Delay Minimization in Establishing Wireless Conference Calls -- This Side Up! -- Approximation Algorithm for Directed…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318330
- Deskripsi Fisik
- VIII, 295 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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah