Rims symposium software science (22 resultados)

Condición: New.

Paperback or Softback. Condición: New. Rims Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings. Book.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. pp. 340.

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Condición: Neu. RIMS Symposium on Software Science and Engineering | Kyoto, 1982. Proceedings | E. Goto (u. a.) | Taschenbuch | vi | Englisch | 1983 | Springer | EAN 9783540119807 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Condición: Very Good. Used Very Good -Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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¿ 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. 340 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 244 pp. Englisch.…

Condición: New. Print on Demand pp. 340 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 matc.…

Condición: New. PRINT ON DEMAND pp. 340.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 244 pp. Englisch.…