Lets Explore,

Cover of Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

(Paperback)

B D Lubachevsky,

Nabu Press (Publisher)

Published

2011

Reviews

0

History and Archaeology History

By: B D Lubachevsky | Publisher: Nabu Press | Released: 15 Sep 2011

Ships within 12-14 days

Out Of Stock

₹1118.00

₹1491.00

25% off

Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

More books by B D Lubachevsky

Cover of Molecular Simulation of Equilibrium Properties. Parallel Implementation

Molecular Simulation of Equilibrium Properties. Parallel Implementation

Malvin H Kalos

₹1440.0₹1242

Cover of Molecular Simulation of Equilibrium Properties. Parallel Implementation

Molecular Simulation of Equilibrium Properties. Parallel Implementation

Malvin H Kalos

₹2601.0₹2499

Cover of Process-level, Time Driven, Simulation of a Computer Network on a Parallel Shared-memory Processor

Process-level, Time Driven, Simulation of a Computer Network on a Parallel Shared-memory Processor

B D Lubachevsky

₹2601.0₹2499

Cover of Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

B D Lubachevsky

₹1540.0₹1465

Cover of Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid Coupled to an Elastic Membrane

Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid Coupled to an Elastic Membrane

B D Lubachevsky

₹1086.0₹1054

Cover of Review of Soviet Publications on Parallel Data Processing (1978-1980)

Review of Soviet Publications on Parallel Data Processing (1978-1980)

B D Lubachevsky

Cover of Review of Soviet Publications on Parallel Data Processing (1978-1980)

Review of Soviet Publications on Parallel Data Processing (1978-1980)

B D Lubachevsky

₹1163.0₹1129

Cover of Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid Coupled to an Elastic Membrane

Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid Coupled to an Elastic Membrane

B D Lubachevsky

₹1159.0₹1125

Cover of Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

B D Lubachevsky

₹1328.0₹1289

Cover of Verhandlungen Des Deutschen Juristentages (16 )

Verhandlungen Des Deutschen Juristentages (16 )

Deutscher Deputation

₹2190.88₹2126

Cover of Molecular Simulation of Equilibrium Properties. Parallel Implementation

Molecular Simulation of Equilibrium Properties. Parallel Implementation

Malvin H Kalos

₹1175.0₹1140

Cover of Process-Level, Time Driven, Simulation of a Computer Network on a Parallel Shared-Memory Processor

Process-Level, Time Driven, Simulation of a Computer Network on a Parallel Shared-Memory Processor

B D Lubachevsky

₹1323.0₹973

Cover of Review of Soviet Publications on Parallel Data Processing (1978-1980)

Review of Soviet Publications on Parallel Data Processing (1978-1980)

B D Lubachevsky

₹1323.0₹973

Cover of Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid Coupled to an Elastic Membrane

Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid Coupled to an Elastic Membrane

B D Lubachevsky

₹1323.0₹973

Cover of Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

B D Lubachevsky

₹1491.0₹1096

Cover of A Parallel Computer Implementation of the Ascend/Descend Types of Vector Algorithms (Classic Reprint)

A Parallel Computer Implementation of the Ascend/Descend Types of Vector Algorithms (Classic Reprint)

B D Lubachevsky

Cover of Process-level, Time Driven, Simulation of a Computer Network on a Parallel Shared-memory Processor

Process-level, Time Driven, Simulation of a Computer Network on a Parallel Shared-memory Processor

B D Lubachevsky

₹873.88₹857

Cover of Review of Soviet Publications on Parallel Data Processing, 1978 1980 (Classic Reprint)

Review of Soviet Publications on Parallel Data Processing, 1978 1980 (Classic Reprint)

B. D. Lubachevsky

Cover of Process-Level, Time-Driven, Simulation of a Computer Network on a Parallel Shared-Memory Processor (Classic Reprint)

Process-Level, Time-Driven, Simulation of a Computer Network on a Parallel Shared-Memory Processor (Classic Reprint)

B. D. Lubachevsky

Cover of Verification of Several Parallel, Vol. 36

Verification of Several Parallel, Vol. 36

B. D. Lubachevsky

Cover of A Parallel Computer Implementation of the Ascend/Descend Types of Vector Algorithms (Classic Reprint)

A Parallel Computer Implementation of the Ascend/Descend Types of Vector Algorithms (Classic Reprint)

B. D. Lubachevsky

₹2420.0₹2372

Cover of Review of Soviet Publications on Parallel Data Processing, 1978 1980 (Classic Reprint)

Review of Soviet Publications on Parallel Data Processing, 1978 1980 (Classic Reprint)

B. D. Lubachevsky

₹2490.0₹2441

Cover of Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid, Coupled to an Elastic Membrane (Classic Reprint)

Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid, Coupled to an Elastic Membrane (Classic Reprint)

B. D. Lubachevsky

Cover of An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

B. D. Lubachevsky

₹2636.0₹2584

Cover of Process-Level, Time-Driven, Simulation of a Computer Network on a Parallel Shared-Memory Processor (Classic Reprint)

Process-Level, Time-Driven, Simulation of a Computer Network on a Parallel Shared-Memory Processor (Classic Reprint)

B. D. Lubachevsky

₹2440.0₹2392

Cover of Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint)

Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint)

B. D. Lubachevsky

₹2528.0₹2478

Cover of An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

B. D. Lubachevsky

₹2522.0₹2472

Cover of An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

B. D. Lubachevsky

Cover of An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

B. D. Lubachevsky

Cover of Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid, Coupled to an Elastic Membrane (Classic Reprint)

Parallelizing an Algorithm of Charles S. Peskin for Describing Incompressible Flow of a Fluid, Coupled to an Elastic Membrane (Classic Reprint)

B. D. Lubachevsky

₹2479.0₹2430

Similar Products

Cover of Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

B D Lubachevsky

₹1328.0₹1289

Cover of Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

B D Lubachevsky

₹1540.0₹1465

Cover of Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint)

Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint)

B. D. Lubachevsky

₹2528.0₹2478

Cover of An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

B. D. Lubachevsky

₹2522.0₹2472

Cover of An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

B. D. Lubachevsky

Cover of Verification of Several Parallel, Vol. 36

Verification of Several Parallel, Vol. 36

B. D. Lubachevsky

Cover of An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

B. D. Lubachevsky

₹2636.0₹2584

Cover of An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

B. D. Lubachevsky

Vidya AI