Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 : proceedings
The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, M...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | , |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science
1961 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advances in computing science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 2000, proceedings, Jifeng He, Masahiko Sato (eds.), 2000, Berlin, Springer, 1 vol. (VII-298 p.), Lecture notes in computer science, 3-540-41428-2 • Advances in Computing Science - ASIAN 2000, Texte imprimé, 9783662195741 |
Tabl Cynhwysion:
- 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.