Birtwistle graham (88 risultati)

hardcover. Condizione: As New.

hardcover. Condizione: Very Good.

hardcover. Condizione: Very Good.

hardcover. Condizione: Very Good.

Hardcover. Condizione: Very Good. Scratch and dent. Cover may have wear, dings, tears, other damage, or be missing dust jacket. Buy multiples from our store to save on shipping.

Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

hardcover. Condizione: Good. Pages are crisp and clean, no marking. Cover is good. Binding is tight/good.

Condizione: Good. 283 pp., softcover, ex library, else textually clean & tight. - 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.…

Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover. Condizione: Near Fine. Condizione sovraccoperta: None as Issued. First Edition, First Printing. Text/BRAND NEW. Illustrated hard cover/Fine. PO name on upper text edge. Volume based on session on very large scale integration (VLSI) and issue of highly parallel systems comprised of hundreds of thousands of processers held at Banff, Alberta, 1988. Content & contributors are: 1, Concurrent Architectures (Charles L. Seitz); 2, Theorectical Aspects of Parallel Computation (Ernst W. Mayr); 3, Network & Processor Architecture for Message-Driven Computers (William Dally); 4, Communication in Network Architectures (S. Lennart Johnsson); 5, Neural Networks (Yaer Abu-Mostafa & David Schweizer); 6, VLSI & Machines that Hear; and, 7, Knowledge Based VLSI Design Synthesis (Bryan Ackland). Fine copy.…

Hardcover. Condizione: Good. Originele gepreegde rode linnen band, stofomslag, veel (paginagrote) illustraties (waaronder foto's) in kleur en z/w, 4to.

Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:3540199012.

Heft. Condizione: Gut. 42 Seiten; Neben dem oben aufgeführten Aufsatz befinden sich auch weitere Beiträge auch anderer Autoren in dem Werk. Sprache: Deutsch Gewicht in Gramm: 100.

Condizione: New.

1. Auflage. gr.-8vo. 309 S. Orig.-Pappband mit Schutzumschlag. (=Texte zur Kunst. Hrsg. von der Galerie van de Loo. Band 6). Seite 9 mit einer Marker-Anstreichung, sonst neuwertig.

Jaquette Éditeur Illustrée. Condizione: Très bon. Cette étude sur "La théorie de l' art de la revue Helhesten jusqu' au mouvement COBRA (1946-1949)" par Asger Jorn est ornée de quelques illustrations en N & B in et hors-texte. Traduit de l' anglais vers l' allemand par Ellen Küppers. 309 pages. Bibliographie en fin de volume. Tous les textes sont en ALLEMAND - All texts are in GERMAN. DEUTSCHE AUSGABE. UBERSETZUNG von Ellen KÜPPERS. Hartkarton-Einband, original Schutzumschlag. …

Hardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. 1996 Manchester University Press hardcover edition. Light reading wear else very good condition. Contents: Chapter 1 'Art and Language: Ernst H. Gombrich and Karl Buhler's theory of language' by Klaus Lepsky; Chapter 2 'Art and Illusion and The Image and the Eye: philosophical implications' by Menahem Brinker; Chapter 3 'Gombrich and the psychology of perception' by Ian Gordon; Chapter 4 'Perspectives on perspective: Gombrich and his critics' by David Topper; Chapter 5 'Art and Illusion: a philosophical defence' by Edmond Wright; Chapter 6 'A conceptual dimension of art history' by B. R. Tilghman; Chapter 7 'Form and its symbolic meaning' by Chang Hong Liu and John M. Kennedy; Chapter 8 'Four theories of artistic expression' by E. H. Gombrich; Chapter 9 'A Lost Art': optical refinements in Greek classical marble sculpture' by Goran Sorbom; Chapter 10 'From normal to supranormal. Observations on realism and idealism from a biological perspective' by Jan Baptist Bedaux; Chapter 11 'When skills become obtrusive: on E. H. Gombrich's contribution to the study of primitivism' by Graham Birtwistle; Chapter 12 'Orders with sense: sense of order and classical architecture' by Joaquin Lorda; Chapter 13 'The Vienna School's hundred and sixty-eighth graduate: The Vienna School's ideas revised by E. H. Gombrich' by Jan Bakos.…

Condizione: New.

Condizione: New.

Condizione: New. pp. 276 Index.

Paperback. Condizione: Brand New. 276 pages. 9.20x6.10x0.73 inches. In Stock.

Paperback. Condizione: Brand New. reprint edition. 295 pages. 9.53x6.69x0.67 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and applications of formal specification. It also includes a state-of-the-art survey of asynchronous hardware design. The resulting volume will be invaluable to anyone interested in designing correct asynchronous circuits which exhibit high performance or low power operation.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada, September 10-14 1990 and organised by the Computer Science Department of the University of Calgary. The workshop gathered together researchers interested in applying higher order techniques to a range of problems. The workshop format had a few (but fairly long) presentations per day. This left ample time for healthy discussion and argument, many of which continued on into the small hours. With so much to choose from, the program had to be selective. This year's workshop was divided into five parts: 1. Expressing and reasoning about concurrency: Warren Burton and Ken Jackson, John Hughes, and Faron Moller. 2. Reasoning about synchronous circuits: Geraint Jones and Mary Sheeran (with a bonus on the fast Fourier transform from Geraint). 3. Reasoning about asynchronous circuits: Albert Camilleri, Jo Ebergen, and Martin Rem. 4. Categorical concepts for programming languages: Robin Cockett, Barry Jay, and Andy Pitts.…

Erste Deutsche Ausgabe. Groß 8°. 309 S., 1 Blatt. OPappband mit OUmschlag und transparentem OFolienumschlag. Sehr gutes Exemplar.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

softcover 24,5x29,5cm, 148pp, geillustreerd in kleur en z/w. ISBN 9053491422. 777 g.

Condizione: New.