| ชื่อเรื่อง |
Algorithms, concurrency, and knowledge : 1995 AsianComputing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings / Kanchana Kanchanasut, Jean-Jacques L้vy, eds. |
| ผู้แต่งนิติบุคคล |
Asian Computing Science Conference |
| ผู้แต่ง |
Asian Computing Science Conference (1995 : Pathumthani,Thailand) |
| ISBN |
354-060-688-2
|
| ISBN |
978-354-06-0688-8
|
| พิมพ์ลักษณ์ |
Berlin ; New York : Springer, c1995. |
| เลขเรียก |
005.3 GL |
| เลขหมู่ |
QA76.9.A43 A85 1995 |
| ลักษณะทางกายภาพ |
x, 410 p. : ill. ; 24 cm. |
| หมายเหตุ |
Contents: Leapfrogging Samplesort / Eliezer A. Albacea
-- Spanning 2-Trees / Leizhen Cai
-- Minimal Linear Invariants / Ming-Yang Kao
-- Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs / Luca Baffi and Rossella Petreschi
-- Efficient Equality-Testing and Updating of Sets / Tak Wah Lam and Ka Hing Lee
-- Binary Space Partitions for Sets of Hyperrectangles / Viet Hai Nguyen and Peter Widmayer
-- Transformation of Orthogonal Term Rewriting Systems / Sugwoo Byun, Richard Kennaway and Ronan Sleep
-- An Automation-Driven Frame Disposal Algorithm and its Proof of Correctness / M. Satpathy, A. Sanyal and G. Venkatesh
-- Labeled [lambda]-Calculus and aGenerated Notion of Strictness / M. Gandhe, G. Venkatesh and A. Sanyal
-- Preemption Primitives in Reactive Languages / Sophie Pinchinat, Eric Rutten and R. Shyamasundar
-- Multi-Action Process Algebra / Wojciech Fraczak. |
| หัวเรื่อง |
Computer algorithms--Congresses. |
| หัวเรื่อง |
Parallel processing (Electronic computers)--Congresses. |
| หัวเรื่อง |
Knowledge representation (Information theory)--Congresses. |
| ผู้แต่งร่วม |
Kanchanasut, Kanachana, 1951- |
| ผู้แต่งร่วม |
L้vy, Jean-Jacques, 1947- |
แสดงรายละเอียดบรรณานุกรม
QR code
ปิดหน้าต่าง
ขอยืม
Copyright 2025. All Rights Reserved.