Del i serien Lecture Notes in Computer Science

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

Häftad, Engelska, 1986

AvEiichi Goto,Keijiro Araki,Taiichi Yuasa

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1986-05-01
Mått155 x 235 x 19 mm
Vikt517 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor330
Upplaga1986
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540164708

Tillhör följande kategorier

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.

Du kanske också är intresserad av

DC Flux Parametron: A New Approach to Josephson Junction Logic

Eiichi Goto, Kia Fock Loe

Inbunden, 1986

1 489 kr

Advanced LISP Technology

Taiichi Yuasa, Hiroshi G. Okuno

Inbunden, 2002

4 039 kr

Del 2

QUANTUM FLUX PARAMETRON: A SINGLE QUANTUM FLUX SUPERCONDUCTING LOGIC DEVICE

Willy Hioe, Eiichi Goto

Inbunden, 1991

1 499 kr

Loe Wada F. Loe Loe E. Goto, Eiichi Goto, Kia Fock Loe, Y Wada - Advances In Quantum Flux Parametron Computer Design: Studies In Josephson Supercomputers, Inbunden

Del 3

Advances In Quantum Flux Parametron Computer Design: Studies In Josephson Supercomputers

Loe Wada F. Loe Loe E. Goto, Eiichi Goto, Kia Fock Loe, Y Wada

Inbunden, 1992

1 539 kr

Advanced LISP Technology

Taiichi Yuasa, Hiroshi G. Okuno

Häftad, 2019

1 329 kr

PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP PDSIA ’99

TAKAYASU ITO & TAIICHI YUASA, Takayasu Ito, Taiichi Yuasa

Inbunden, 2000

3 079 kr

FME 2003: Formal Methods

Keijiro Araki, Stefania Gnesi, Dion Mandrioli

Häftad, 2003

1 479 kr

Formal Methods and Software Engineering

Shaoying Liu, Tom Maibaum, Keijiro Araki

Häftad, 2008

749 kr

High Performance Computing

Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya

Häftad, 1997

749 kr

Theoretical Aspects of Computing - ICTAC 2004

Zhiming Liu, Keijiro Araki

Häftad, 2005

1 479 kr

Del i serien Lecture Notes in Computer Science

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

Häftad, Engelska, 1986

AvEiichi Goto,Keijiro Araki,Taiichi Yuasa

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1986-05-01
Mått155 x 235 x 19 mm
Vikt517 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor330
Upplaga1986
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540164708

Tillhör följande kategorier

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.