Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer-Verlag, Berlin, 1991
ISBN 10: 0387541527ISBN 13: 9780387541525
Librería: PsychoBabel & Skoob Books, Didcot, Oxfordshire, OXON, Reino Unido
Libro
paperback. Condición: Very Good. Estado de la sobrecubierta: 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.
Publicado por Springer-Verlag, Berlin, 1991
ISBN 10: 0387541519ISBN 13: 9780387541518
Librería: PsychoBabel & Skoob Books, Didcot, Oxfordshire, OXON, Reino Unido
Libro
paperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 505; 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.
Publicado por Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Libro
Softcover. 1991. XV, 488 S. : graph. Darst. Edition 1991! Good condition. Sligt traces of storage and use. 9783540541523 Sprache: Englisch Gewicht in Gramm: 839.
Publicado por Springer Berlin Heidelberg, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Libro
Taschenbuch. Condición: Gut. 504 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969.
Publicado por Springer, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Soft Cover. Condición: new.
Publicado por Springer, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer Berlin Heidelberg, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: 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.
Publicado por Springer Berlin Heidelberg, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.
Publicado por Springer Berlin Heidelberg, 1987
ISBN 10: 3662232065ISBN 13: 9783662232064
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. Th.
Publicado por Springer 1991-05, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer Berlin Heidelberg Mai 1991, 1991
ISBN 10: 3540541527ISBN 13: 9783540541523
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: 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.
Publicado por Springer, 1991
ISBN 10: 0387541519ISBN 13: 9780387541518
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. Index.
Publicado por Springer, 1991
ISBN 10: 0387541527ISBN 13: 9780387541525
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. Index.
Publicado por Springer, 1991
ISBN 10: 0387541519ISBN 13: 9780387541518
Librería: Majestic Books, Hounslow, Reino Unido
Libro
Condición: New. Illus.
Publicado por Springer Verlag, 1991
ISBN 10: 0387541527ISBN 13: 9780387541525
Librería: dsmbooks, Liverpool, Reino Unido
Libro
Paperback. Condición: Very Good. Very Good. book.
Publicado por Springer, 1991
ISBN 10: 0387541527ISBN 13: 9780387541525
Librería: Majestic Books, Hounslow, Reino Unido
Libro
Condición: New. Illus.
Publicado por Springer, 1991
ISBN 10: 3540541519ISBN 13: 9783540541516
Librería: dsmbooks, Liverpool, Reino Unido
Libro
Paperback. Condición: Like New. Like New. book.