• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Advances in Computing Science - ASIAN 2000

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

      AvJifeng He,Masahiko Sato

      Häftad, Engelska, 2000

      Del i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      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, Manila, and Phuket. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year’s conference (ASIAN2000) attracted 61 submissions from which 18 papers were selected through an electronic program committee (PC) meeting. The themes for this year’s conference are: – Logics in Computer Science – Data Mining – Networks and Performance The key note speaker for ASIAN2000 is Jean Vuillemin (ENS, France) and the invited speakers are Ramamohanarao Kotagiri (U. Melbourne, Australia) and Alain Jean-Marie (LIRMM, France). We thank them for accepting our - vitation. This year’s conference is sponsored by the Asian Institute of Technology (Thailand), INRIA (France), the National University of Singapore (Singapore), and UNU/IIST (Macau SAR, China). We thank all these institutions for their continued support of the ASIAN series. This year’s conference will be held in Penang, Malaysia. We are much obliged to Universiti Sains Malaysia and Penang State Government for providing the conference venue and to Dr. Abdullah Zawawi Haji Talib for making the local arrangements. We also wish to thank the PC members and the large number of referees for thesubstantialworkputinbytheminassessingthesubmittedpapers.

      Produktinformation

      • Utgivningsdatum:2000-12-13
      • Mått:155 x 235 x 18 mm
      • Vikt:482 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:306
      • Upplaga:2000
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540414285

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • 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.
      Hoppa över listan

      Du kanske också är intresserad av

      Masahiko Sato, Jifeng He - Advances in Computing Science - ASIAN 2000, E-bok

      Advances in Computing Science - ASIAN 2000

      Masahiko Sato, Jifeng He

      E-bok
      2003

      739 kr

      Neil Jones, Masami Hagiya, Masahiko Sato - Logic, Language and Computation, Häftad

      Logic, Language and Computation

      Neil Jones, Masami Hagiya, Masahiko Sato

      Häftad, 1994

      566 kr

      MASAHIKO SATO & YOSHIHITO TOYAMA, Masahiko Sato, Yoshihito Toyama - FUNCTIONAL AND LOGIC PROGRAMMING: PROCEEDINGS OF THE THIRD FUJI INTERNATIONAL SYMPOSIUM, Inbunden

      FUNCTIONAL AND LOGIC PROGRAMMING: PROCEEDINGS OF THE THIRD FUJI INTERNATIONAL SYMPOSIUM

      MASAHIKO SATO & YOSHIHITO TOYAMA, Masahiko Sato, Yoshihito Toyama

      Inbunden, 1998

      1 859 kr

      Jifeng He, Zhiming Liu - Formal Methods and Software Engineering, E-bok

      Formal Methods and Software Engineering

      Jifeng He, Zhiming Liu

      E-bok
      2006

      1 455 kr

      Jifeng He - Grundlagenforschung für vertrauenswürdige Software, Inbunden

      Grundlagenforschung für vertrauenswürdige Software

      Jifeng He

      Inbunden, 2025

      1 325 kr

      Zhiming Liu, Jifeng He - Formal Methods and Software Engineering, Häftad

      Formal Methods and Software Engineering

      Zhiming Liu, Jifeng He

      Häftad, 2006

      1 124 kr

      Jifeng He - Fundamental Research for Trustworthy Software, Inbunden

      Fundamental Research for Trustworthy Software

      Jifeng He

      Inbunden, 2023

      1 599 kr

      Jifeng He - Grundlagenforschung für vertrauenswürdige Software, E-bok

      Grundlagenforschung für vertrauenswürdige Software

      Jifeng He

      E-bok
      2025

      1 381 kr

      Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He - Advances in Blended Learning, Häftad

      Advances in Blended Learning

      Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He

      Häftad, 2008

      566 kr

      Jifeng He - Fundamental Research for Trustworthy Software, E-bok

      Fundamental Research for Trustworthy Software

      Jifeng He

      E-bok
      2023

      1 950 kr