Published by Springer-Verlag, Berlin, 1991
ISBN 10: 0387541527 ISBN 13: 9780387541525
Language: English
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 506; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540541527 ISBN 13: 9783540541523
Language: English
Seller: NEPO UG, Rüsselsheim am Main, Germany
£ 7.69
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Gut. 504 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969.
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10: 3540541527 ISBN 13: 9783540541523
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
£ 6.91
Convert currencyQuantity: 1 available
Add to basketSoftcover. 1991. XV, 488 S. : graph. Darst. Edition 1991! Good condition. Sligt traces of storage and use. 9783540541523 Sprache: Englisch Gewicht in Gramm: 839.
Seller: Basi6 International, Irving, TX, U.S.A.
£ 50.14
Convert currencyQuantity: 1 available
Add to basketCondition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540541527 ISBN 13: 9783540541523
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 46.22
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems.- Models for dynamically placed concurrent processes.- Formalisation of the behavior of actors by colored Petri nets and some applications.- Program refinement in fair transition systems.- Communication abstraction and refinement.- On the semantics of languages for massively parallel SIMD architectures.- A denotational real-time semantics for shared processors.- Concurrent clean.- The scriptic programming language.- Structural operational semantics for Kernel Andorra Prolog.- Customization of first-class tuple-spaces in a higher-order language.- A formal specification of the process trellis.- Strong bisimilarity on nets revisited.- A configuration approach to parallel programming.- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system.- Parallel associative combinator evaluation.- Static analysis of term graph rewriting systems.- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor.- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler.- Virtual memory support for OR-parallel logic programming systems.- Interfacing engines and schedulers in Or-Parallel Prolog systems.- Reduction of code space in parallel logic programming systems.- Search level parallel processing of production systems.
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540541527 ISBN 13: 9783540541523
Language: English
Seller: moluna, Greven, Germany
£ 55.37
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP par.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 45.73
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Condition: New. Illus.
£ 96.92
Convert currencyQuantity: 1 available
Add to basketCondition: New. Index.
£ 101.74
Convert currencyQuantity: 1 available
Add to basketCondition: New.
Condition: New. Illus.
£ 105.19
Convert currencyQuantity: 1 available
Add to basketCondition: New. Index.
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1991, 1991
ISBN 10: 3540541527 ISBN 13: 9783540541523
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
£ 83.21
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems.- Models for dynamically placed concurrent processes.- Formalisation of the behavior of actors by colored Petri nets and some applications.- Program refinement in fair transition systems.- Communication abstraction and refinement.- On the semantics of languages for massively parallel SIMD architectures.- A denotational real-time semantics for shared processors.- Concurrent clean.- The scriptic programming language.- Structural operational semantics for Kernel Andorra Prolog.- Customization of first-class tuple-spaces in a higher-order language.- A formal specification of the process trellis.- Strong bisimilarity on nets revisited.- A configuration approach to parallel programming.- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system.- Parallel associative combinator evaluation.- Static analysis of term graph rewriting systems.- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor.- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler.- Virtual memory support for OR-parallel logic programming systems.- Interfacing engines and schedulers in Or-Parallel Prolog systems.- Reduction of code space in parallel logic programming systems.- Search level parallel processing of production systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.
£ 113.32
Convert currencyQuantity: 1 available
Add to basketCondition: New.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Published by Springer Berlin Heidelberg Mai 1991, 1991
ISBN 10: 3540541527 ISBN 13: 9783540541523
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
£ 83.21
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems.- Models for dynamically placed concurrent processes.- Formalisation of the behavior of actors by colored Petri nets and some applications.- Program refinement in fair transition systems.- Communication abstraction and refinement.- On the semantics of languages for massively parallel SIMD architectures.- A denotational real-time semantics for shared processors.- Concurrent clean.- The scriptic programming language.- Structural operational semantics for Kernel Andorra Prolog.- Customization of first-class tuple-spaces in a higher-order language.- A formal specification of the process trellis.- Strong bisimilarity on nets revisited.- A configuration approach to parallel programming.- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system.- Parallel associative combinator evaluation.- Static analysis of term graph rewriting systems.- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor.- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler.- Virtual memory support for OR-parallel logic programming systems.- Interfacing engines and schedulers in Or-Parallel Prolog systems.- Reduction of code space in parallel logic programming systems.- Search level parallel processing of production systems. 512 pp. Englisch.