Goto / Yuasa / Araki | RIMS Symposium on Software Science and Engineering II | Buch | 978-3-540-16470-8 | sack.de

Buch, Englisch, Band 220, 330 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1060 g

Reihe: Lecture Notes in Computer Science

Goto / Yuasa / Araki

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
1986
ISBN: 978-3-540-16470-8
Verlag: Springer Berlin Heidelberg

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

Buch, Englisch, Band 220, 330 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1060 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-16470-8
Verlag: Springer Berlin Heidelberg


Springer Book Archives

Goto / Yuasa / Araki RIMS Symposium on Software Science and Engineering II jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


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 harmonic motion.- List 2 Generated fortran code for simple harmonic motion.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.