Advances in Computing Science - Asian 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings - Lecture Notes in Computer Science - J He - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540414285 - 2000. gada 13. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Advances in Computing Science - Asian 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings - Lecture Notes in Computer Science

Cena
€ 64,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 7. - 21. aug.
Saņemiet paziņojumus par jauniem J He izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Marc Notes: Includes bibliographical references and index. Table of Contents: 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. Publisher Marketing: This book constitutes the refereed proceedings of the 6th Asian Computing Science Conference, ASIAN 2000, held in Penang, Malaysia in November 2000. The 18 revised full papers presented were carefully reviewed and selected from a total of 61 submissions. The papers presented cover various topics in computer science and its applications, with a certain focus on networking and network performance and on programming logics and program semantics.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2000. gada 13. decembris
ISBN13 9783540414285
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 306
Izmēri 156 × 234 × 16 mm   ·   444 g
Valoda Vācu  
Redaktors He Jifeng
Redaktors Sato, Masahiko

Vairāk no tā paša izdevēja

Skatīt visus J He ( piem., Paperback Book )