Order Total (1 Item Items):
Shipping Destination:
Lubachevsky (38 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (38)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (35)
- As New, Fine or Near Fine (3)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (13)
- Not Print on Demand (27)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
ProcessLevel, TimeDriven, Simulation of a Computer Network on a Parallel SharedMemory Processor Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Review of Soviet Publications on Parallel Data Processing, 1978 1980 Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Parallelizing an Algorithm of Charles S Peskin for Describing Incompressible Flow of a Fluid, Coupled to an Elastic Membrane Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Verification of Several Parallel, Vol 36 Coordination Programs Based on Descriptions of Their Reachability Sets Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
An Approach to Automating the Verification of Compact Parallel Coordination Programs II Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Condition: New.
-
-
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Condition: As New. Unread book in perfect condition.
-
Molecular Simulation of Equilibrium Properties. Parallel Implementation
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 12.79
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Review of Soviet Publications on Parallel Data Processing, 1978 1980 Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Parallelizing an Algorithm of Charles S Peskin for Describing Incompressible Flow of a Fluid, Coupled to an Elastic Membrane Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Molecular Simulation of Equilibrium Properties. Parallel Implementation
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 23.28
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Parallelizing An Algorithm Of Charles S.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Parallelizing An Algorithm Of Charles S.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Paperback. Condition: New. Print on Demand. This book takes an innovative approach to discrete event simulation of computer networks. The author outlines a new table-driven approach, embodied in the provided distributed simulator, which attempts to exploit the commonalities present in the infrastructure of transaction flows inside computer networks. The user is relieved of the drudgery of writing and debugging simulation programs by providing a high-level view of the computer network, rooted in the concept of transactions occurring inside the network. Unlike existing queueing networks, this high level view also considers the processes, schedulers, and operating systems, in addition to the resources. This book finds applications in the reduction of time and effort involved in developing discrete event simulation models of online computer networks. It provides a simple yet truthful representation of interprocessor communication, focusing solely on timing considerations and ignoring transmission errors. The author believes that the suggested protocol can adequately represent the events in a real computer network when only timing considerations are of importance. This book is a valuable resource for anyone interested in the field of computer network simulation, providing a deeper understanding of the complexities involved in simulating the behavior of computer networks. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
Paperback. Condition: New. Print on Demand. This book is an in-depth study of parallel data processing, which involves performing calculations simultaneously to increase the speed and efficiency of computing processes. By examining the subject from a Soviet perspective, the author presents a historical overview of parallel data processing and its evolution during the 1970s and 1980s. The book explores various aspects of parallel data processing, including programming, computational methods, computing systems, and scheduling and control. The author employs a range of scientific models and mathematical concepts to provide a comprehensive analysis of parallel data processing. Through this exploration, the book offers insights into the benefits, challenges, and potential applications of parallel data processing. It highlights the importance of understanding the subject to advance the field of computing technology and its practical implementation. The book's findings contribute to the ongoing research and development of parallel data processing systems, making it a valuable resource for researchers and professionals in the field. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
Paperback. Condition: New. Print on Demand. This book explores how the birth of parallel computing through the Ultracomputer in the 1980s advanced numerical algorithms for a wide range of scientific disciplines. The author, a researcher involved in this cutting-edge project, provides a detailed account of the original serial algorithm and then follows the development of a parallelized version, explaining how challenges were overcome to attain high efficiency in both 2D and 3D applications. Along the way, the author discusses important theoretical concepts such as time complexity, scheduling policies, efficiency estimation, and network delay simulation. This book will be of interest to computer scientists, applied mathematicians, and historians of computing, providing valuable insights into the evolution of parallel computing and its impact on scientific research. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
Paperback. Condition: New. Print on Demand. This book introduces a new method to verify parallel programs for any fixed number of processors. The method uses a special compact representation to describe all execution states of programs, which aids in verifying the properties that cannot be easily expressed as 'predicate(state)'. The method is demonstrated by verifying correctness properties of several parallel programming examples, especially those that deal with synchronization. It shows that the method can detect subtle race conditions and other timing-based bugs which traditional verification methods (such as those based on finite state machines) cannot detect. Altogether, this book broadens the range of parallel programs that can be verified. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
Paperback. Condition: New. Print on Demand. This text is an excerpt from a scientific book focusing on describing a computer algorithm that verifies parallel coordination programs. The algorithm's goal is to check if each of these programs reaches a compact state, a status where the desired result can be achieved within a finite time frame. The book introduces the concept of controlled vector addition systems (CVAS) as a mathematical model for parallel program analysis and provides an algorithm called DEVELOP to construct reachability set descriptions for a class of CVAS. The algorithm is proven to terminate if the program being tested is normal, and termination is equivalent to compactness in this context. Additionally, the book explores how DEVELOP can be applied to parametric CVAS, a concept that introduces a variable parameter to the algorithm. The author demonstrates that DEVELOP will still terminate for a parametric CVAS if the reachability set is finite for each value of the parameter. These insights provide new tools and techniques for analyzing and verifying the behavior of parallel coordination programs. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
Paperback. Condition: New. Print on Demand. This book explores the field of parallel coordination programming, elucidating the complex concepts involved in designing and verifying such programs. The author introduces a class of coordination programs and delves into their properties, examining notions such as serialization, livelock, and blocking. One crucial aspect of the book is the introduction of a reachability set description (RSD), a novel representation that facilitates the analysis of program behavior for any number of processing elements. The RSD enables the construction of compact invariants, providing a powerful tool for ensuring the correctness of parallel programs. Through a series of examples and case studies, the author demonstrates the application of these concepts. The insights presented in this book empower readers to develop and verify reliable and efficient parallel coordination programs, solidifying its significance as a valuable resource for researchers and practitioners in the field of parallel computing. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
