ระบบห้องสมุดอัตโนมัติคณะวิศวกรรมศาสตร์

แสดงรายละเอียดบรรณานุกรม

กลับหน้าหลัก

Brief Record : Get Marc (ISO 2709) : E-mail record : QR code

ปิดหน้าต่าง

LEADER 00000nam 2200000uu 4500
001 13399112675
003 ULIBM
008 120717s\|\|\|\|\|\|\|\|th 000 0 tha d
020 3540606882
020 9783540606888
040 DLC^beng^cDLC^dBAKER^dC^Q^dNLGGC^dBTCTA^dLVB^dYDXCP^dOCLCG^dOCLCQ^dGBVCP^dUAB^dZWZ^dOCL^dGW5XE^dOCLCQ
050 00 QA76.9.A43^bA85 1995
082 00 ^a005.3^bGL
110 1 Asian Computing Science Conference
111 2 Asian Computing Science Conference^d(1995 :^cPathumthani,Thailand)
245 10 Algorithms, concurrency, and knowledge :^b1995 AsianComputing Science Conference, ACSC ^'95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /^cKanchana Kanchanasut, Jean-Jacques L้vy, eds.
260 Berlin ;^aNew York :^bSpringer,^cc1995.
300 x, 410 p. :^bill. ;^c24 cm.
490 1 Lecture notes in computer science ;^v1023
504 Includes bibliographical references.
505 0 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.
530 Also issued online.
650 0 Computer algorithms^vCongresses.
650 0 Parallel processing (Electronic computers)^vCongresses.
650 0 Knowledge representation (Information theory)^vCongresses.
700 1 Kanchanasut, Kanachana,^d1951-
700 1 L้vy, Jean-Jacques,^d1947-
830 0 Lecture notes in computer science ;^v1023.
945 ^p0^l0^i009311
999 ^aคณะวิศวะ (มมส)

คุณยังไม่ได้ล็อกอิน คุณสามารถมีกิจกรรมร่วมกับเว็บไซต์ได้ แต่ต้องล็อกอินก่อน ::

ล็อกอิน

ลำดับที่	ประเภท	เลขเรียก	สถานที่	สถานะ
1.	หนังสือภาษาอังกฤษ	005.3 GL	หนังสือภาษาอังกฤษ	On Shelf ขอยืม
[แสดง 1/1 รายการ]