RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

AvEiichi Goto,Keijiro Araki

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-05-01
Mått:155 x 235 x 19 mm
Vikt:517 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:330
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164708

Utforska kategorier

Innehållsförteckning

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.

Mer från samma författare

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 181 kr

Del 2

QUANTUM FLUX PARAMETRON: A SINGLE QUANTUM FLUX SUPERCONDUCTING LOGIC DEVICE

Willy Hioe, Eiichi Goto

Inbunden, 1991

1 154 kr

DC Flux Parametron: A New Approach to Josephson Junction Logic

Eiichi Goto, Kia Fock Loe

Inbunden, 1986

1 148 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Del 13216

Requirements Engineering: Foundation for Software Quality

Vincenzo Gervasi, Andreas Vogelsang

Häftad, 2022

627 kr

Component-Based Software Engineering

Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford

Häftad, 2007

571 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

DC Flux Parametron: A New Approach to Josephson Junction Logic

Eiichi Goto, Kia Fock Loe

Inbunden, 1986

1 148 kr

Advanced LISP Technology

Taiichi Yuasa, Hiroshi G. Okuno

Inbunden, 2002

3 100 kr

Del 2

QUANTUM FLUX PARAMETRON: A SINGLE QUANTUM FLUX SUPERCONDUCTING LOGIC DEVICE

Willy Hioe, Eiichi Goto

Inbunden, 1991

1 154 kr

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 181 kr

Advanced LISP Technology

Taiichi Yuasa, Hiroshi G. Okuno

Häftad, 2019

1 023 kr

Advanced LISP Technology

Hiroshi G. Okuno, Taiichi Yuasa

E-bok

2002

1 204 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

2 365 kr

Formal Methods and Software Engineering

Shaoying Liu, Tom Maibaum, Keijiro Araki

Häftad, 2008

571 kr

High Performance Computing

Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya

Häftad, 1997

571 kr

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

AvEiichi Goto,Keijiro Araki

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-05-01
Mått:155 x 235 x 19 mm
Vikt:517 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:330
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164708

Utforska kategorier

Innehållsförteckning

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.

Mer från samma författare

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 181 kr

Del 2

QUANTUM FLUX PARAMETRON: A SINGLE QUANTUM FLUX SUPERCONDUCTING LOGIC DEVICE

Willy Hioe, Eiichi Goto

Inbunden, 1991

1 154 kr

DC Flux Parametron: A New Approach to Josephson Junction Logic

Eiichi Goto, Kia Fock Loe

Inbunden, 1986

1 148 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051