bakker jacobus (19 Ergebnisse)

Zustand: Very Good. 349 pp., softcover, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Edgewear with light chipping to wraps with some creasing. Wraps are lightly browned. Neat faded handwriting (title) to spine. ; Latin Text with commentary. ; Inaugural - Dissertation; 186 pages.

Zustand: Gut. Auflage: 1989. 728 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1013 23,6 x 16,5 x 2,0 cm, Taschenbuch.

Zustand: New. In.

Zustand: New. In.

Zustand: Very good.

Taschenbuch oder Softcover. Zustand: Gut. Zustand: GUTER Zustand. HC1-106-2/8-00118701 Sprache: Englisch Gewicht in Gramm: 798.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Learning translation invariant recognition in a massively parallel networks.- Trace theory and systolic computations.- Boltzmann machines and their applications.- Cobweb-2: Structured specification of a wafer-scale supercomputer.- A novel deadlock free and starvation free packet switching communication processor.- A parallel architecture for signal understanding through inference on uncertain data.- An axiomatic approach to the specification of distributed computer architectures.- Computing on a systolic screen: Hulls, contours and applications.- Multiprocessor systems programming in a high-level data-flow language.- The twisted cube.- An implemented method for incremental systolic design.- The use of parallel functions in system design.- The translation of processes into circuits.- Mapping strategies in message based multiprocessor systems.- Hardware memory management for large knowledge bases.- Transputer-based experiments with the ZAPP architecture.- Synthesis of systolic arrays for inductive problems.- Practical parallelism using transputer arrays.- Systolic array synthesis by static analysis of program dependencies.- Specification of a pipelined event driven simulator using FP2.- A layered emulator for design evaluation of MIMD multiprocessors with shared memory.- The Alliant FX/Series: A language driven architecture for parallel processing of dusty deck fortran.- Emulating digital logic using transputer networks (very high parallelism = simplicity = performance).- A two-level approach to logic plus functional programming integration.- Overview of a parallel reduction machine project.- An overview of DDC: Delta driven computer.- Design and implementation of a parallel inference machine for first order logic: an overview.- Multi-level simulator for VLSI.- The DOOM system and its applications: A survey of esprit 415 subproject A, philips research laboratories.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- 'Ruth: A functional language for real-time programming'.- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1.

Taschenbuch. Zustand: Neu. PARLE Parallel Architectures and Languages Europe | Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings | Jacobus W. De Bakker (u. a.) | Taschenbuch | xiv | Englisch | 1987 | Springer | EAN 9783540179436 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. PARLE Parallel Architectures and Languages Europe | Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings | Jacobus W. De Bakker (u. a.) | Taschenbuch | xvi | Englisch | 1987 | Springer | EAN 9783540179450 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: New. In.

Zustand: New. In.

Zustand: New. pp. 728 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Taschenbuch. Zustand: Neu. Current Trends in Concurrency | Overviews and Tutorials | Jacobus W. De Bakker (u. a.) | Taschenbuch | xiv | Englisch | 1986 | Springer | EAN 9783540164883 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency | School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 | Jacobus W. De Bakker (u. a.) | Taschenbuch | x | Englisch | 1989 | Springer | EAN 9783540510802 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is based on the 'School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency' organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary languages: Basic theory and applications to concurrent systems.- The quest goes on: A survey of proofsystems for partial correctness of CSP.- Logic programming: The foundations, the approach and the role of concurrency.- Process theory: Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends.- Petri nets: Basic notions, structure, behaviour.- Concepts for concurrent programming.

Oktav ( x mm), Org.-Pappband, , wohlerhaltenes Exemplar. Bd. 1: Direktor Beerta. ISBN 9783957320063; Bd. 2: Schmutzige Hände. Mit einem Nachwort von Pieter Steinz. ISBN 9783957320070; Bd. 3: Plankton. Mit einem Nachwort von Gerbrand Bakker ISBN 9783957320087; Bd. 4: Das A. P. Beerta-Institut. ISBN 9783957320094. Bd. 5: Und auch Wehmütigkeit. ISBN 9783957320100; Bd. 6: Abgang. ISBN 9783957320117; Bd. 7: Der Tod des Maarten Koning. ISBN 9783957320124. - Sämtliche Bände aus dem Niederländischen von Gerd Busse. - [00B | SOD | oR ] 0 g.