Matches in Harvard for { <http://id.lib.harvard.edu/aleph/006792995/catalog> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- catalog abstract ""This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases."--PUBLISHER'S WEBSITE.".
- catalog contributor b9432798.
- catalog contributor b9432799.
- catalog contributor b9432800.
- catalog contributor b9432801.
- catalog created "c1995.".
- catalog date "1995".
- catalog date "c1995.".
- catalog dateCopyrighted "c1995.".
- catalog description ""This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references.".
- catalog description "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 a Generated 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.".
- catalog extent "x, 410 p. :".
- catalog hasFormat "Algorithms, Concurrency and Knowledge.".
- catalog identifier "3540606882 (soft : alk. paper)".
- catalog isFormatOf "Algorithms, Concurrency and Knowledge.".
- catalog isPartOf "Lecture notes in computer science ; 1023".
- catalog issued "1995".
- catalog issued "c1995.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "Algorithms, Concurrency and Knowledge.".
- catalog subject "005.1 20".
- catalog subject "Computer algorithms Congresses.".
- catalog subject "Knowledge representation (Information theory) Congresses.".
- catalog subject "Parallel processing (Electronic computers) Congresses.".
- catalog subject "Parallel processing Congresses.".
- catalog subject "QA76.9.A43 A85 1995".
- catalog tableOfContents "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 a Generated 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.".
- catalog title "Algorithms, concurrency, and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings / Kanchana Kanchanasut, Jean-Jacques Lévy, eds.".
- catalog type "Conference proceedings. fast".
- catalog type "text".