RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. 1st ed. 1986
- 種類:
- 電子ブック
- 責任表示:
- edited by Eiichi Goto, Keijiro Araki, Taiichi Yuasa
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 220
- ISBN:
- 9783540398097 [3540398090]
- 注記:
- A fast parallel merging algorithm for 2–3 trees -- Evaluation of graph representations with active nodes -- On equivalence transformations for term rewriting systems -- A portable logic simulation system for development of FLATS machine -- Partial computation with a dataflow machine -- OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog -- Incorporating Naïve Negation into Prolog -- Algebraic specification method of programming languages -- Multiversion concurrency control scheme for a distributed database system — A trial to break concurrent update of redundant copies — -- Global storage allocation in attribute evaluation -- On program transformation with tupling technique -- Evaluation of working set algorithms for data-flow machines -- Comparison of closure reduction and combinatory reduction schemes -- The BC-chain method for representing combinators in linear space -- Circuit simulation code generation by computer algebra -- List 1 Algebraic code for simple harmo
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |