Vor Ort
Merkzettel Warenkorb
  • Produktbild: Advances in Computing Science - ASIAN 2000
  • Produktbild: Advances in Computing Science - ASIAN 2000
Band 1961

Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.12.2000

Herausgeber

Jifeng He + weitere

Verlag

Springer Berlin

Seitenzahl

306

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-41428-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.12.2000

Herausgeber

Verlag

Springer Berlin

Seitenzahl

306

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-41428-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Advances in Computing Science - ASIAN 2000
  • Produktbild: Advances in Computing Science - ASIAN 2000
  • 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.