Paperback. Condition: Very Good. 0387167668 Ex-library paperback in very nice condition with the usual markings and attachments.
Condition: Good. 197 pp., hardcover, ex library, else text and binding clean, tight, and bright. - 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.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Condition: Good. Springer Verlag, 1994. Box very bumped; shrink wrap partially opened; jewel case and CD intact and clean. audioCD. Good.
Softcover. Condition: Bon. Ancien livre de bibliothèque. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
Condition: New. pp. 112.
Condition: New. pp. 112 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Condition: New. pp. 112.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 34.16
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by AuthorHouse 2005-08-17, 2005
ISBN 10: 1420810065 ISBN 13: 9781420810066
Seller: Chiron Media, Wallingford, United Kingdom
US$ 30.44
Quantity: 10 available
Add to basketPaperback. Condition: New.
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1986
ISBN 10: 3540167668 ISBN 13: 9783540167662
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework. Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Condition: New.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: Used. pp. 328 2nd Edition.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. pp. 328.
Condition: As New. Unread book in perfect condition.
Seller: Forgotten Books, London, United Kingdom
US$ 17.35
Quantity: Over 20 available
Add to basketPaperback. Condition: New. Print on Demand. This book presents an in-depth exploration of 'dynamic grid embedding', an innovative technique in computer science. It delves into optimizing the compression of partial grids, such as those containing missing nodes or edges. The author provides a case study of embedding techniques that map partial grids into smaller ones with optimal area and bounded dilation, introducing the concept of boundary dilation. The book also includes complexity results and lower bound estimates for specific cases of grid embedding. By examining the expansion, dilation, and boundary dilation aspects of partial grid embedding simultaneously, this book contributes to a new set of design-related problems. It is a valuable resource for researchers and practitioners in computer science, particularly those interested in graph embedding, VLSI design, and systolic arrays. The insights gained from this book have the potential to improve the efficiency and performance of integrated circuits and other computational systems, paving the way for advancements in various technological applications. 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.
Condition: New.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: Used. pp. 328.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.20
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 68.07
Quantity: 10 available
Add to basketPF. Condition: New.
Language: English
Published by TELOS, Santa Clara, CA, 1994
ISBN 10: 0387142134 ISBN 13: 9780387142135
Seller: Tiber Books, Cockeysville, MD, U.S.A.
Condition: Very Good. . MacIntosh CD-ROM w/ hyptertext software, in cardboard box w/ 16 pg accompanying pamphlet. Vg condition. Thin crack to CD case, CD itself fine, box dented, pamphlet bright, crisp & clean.
Published by Mainz Zigarettenfabrik Makedon ca, 1930
Seller: Grammat Antiquariat, Oberbarnim, Germany
Broschur, 0. 4°, [30] S. , zahlr. Ill., Heft mit eigeklebten Zigarettensammelbidchen, alle Bidchen vorhanden, Broschur, Buch gut erhalten, Einband berieben u. etwas angeschmutzt, Ecken u. Kanten abgerieben u. leicht bestoßen, normale Gebrauchsspuren, teils stockfleckig RW 10 R 3/A Sprache: Deutsch 0,400 gr.
Hardcover/Hardback. Condition: Good.
Language: English
Published by Springer-Verlag New York Inc., New York, NY, 2013
ISBN 10: 1475782713 ISBN 13: 9781475782714
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. Electronic Multimedia Publishing brings together in one place important contributions and up-to-date research results in this fast moving area. Electronic Mulitmedia Publishing serves as an excellent reference, providing insight into some of the most challenging research issues in the field. Electronic Multimedia Publishing brings together in one place important contributions and up-to-date research results in this fast moving area. Electronic Mulitmedia Publishing serves as an excellent reference, providing insight into some of the most challenging research issues in the field. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.