Advances in Computing Science - ASIAN 2000
Editat de Jifeng He, Masahiko Satoen Limba Engleză Paperback – 13 dec 2000
Preț: 322.99 lei
Preț vechi: 403.74 lei
-20%
Puncte Express: 484
Carte tipărită la comandă
Livrare economică 13-27 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540414285
ISBN-10: 3540414282
Pagini: 316
Ilustrații: X, 306 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.48 kg
Ediția:2000
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540414282
Pagini: 316
Ilustrații: X, 306 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.48 kg
Ediția:2000
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables.- Performance Evaluation of Networks: New Problems and Challenges.- Emerging Patterns and Classification.- IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications.- Performance of Location Caching Scheme to Support Call Locality in Wireless Networks.- A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures.- Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network.- Spatial Congruence for Ambients Is Decidable.- A Spatio-temporal Representation Scheme for Modeling Moving Objects in Video Data.- Node-to-Set Disjoint Paths Problem in Rotator Graphs.- On Simulation-Checking with Sequential Systems.- Reusing Animations in Databases for Multimedia Presentations.- Reflecting BDDs in Coq.- On Model Checking Synchronised Hardware Circuits.- Safe Ambients: Control Flow Analysis and Security.- Security Types for Mobile Safe Ambients.- Improving Functional Logic Programs by Difference-Lists.- A New Multihop Logical Topology for Reliable Broadband Communication.- A New Scalable Topology for Multihop Optical Networks.- On Computable Tree Functions.- Sharpening the Undecidability of Interval Temporal Logic.