+612 9045 4394
 
CHECKOUT
Rims Symposium on Software Science and Engineering : Kyoto, 1982. Proceedings - E. Goto

Rims Symposium on Software Science and Engineering

Kyoto, 1982. Proceedings

By: E. Goto (Editor), K. Furukawa (Editor), R. Nakajima (Editor), I. Nakata (Editor), Akinori Yonezawa (Editor)

Paperback Published: 1st January 1983
ISBN: 9783540119807
Number Of Pages: 232

Share This Book:

Paperback

$115.95
or 4 easy payments of $28.99 with Learn more
Ships in 5 to 9 business days
Partial computation of programs.- Treatment of big values in an applicative language HFP.- Toward the design and implementation of object oriented architecture.- DURAL: an extended Prolog language.- An algorithm for intelligent backtracking.- A pattern matching algorithm in binary trees.- Polynomial time inference of extended regular pattern languages.- Effects of practical assumption in area complexity of VLSI computation.- Hardware algorithms and logic design automation.- List processing with a data flow machine.- Relational algebra machine GRACE.- Vocabulary building for database queries.

ISBN: 9783540119807
ISBN-10: 3540119809
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 232
Published: 1st January 1983
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.3
Weight (kg): 0.35