Publicado por Paramount, 2007
ISBN 10: 1415700869 ISBN 13: 9781415700860
Librería: Orphaned Artifacts LLC, Arnold, MO, Estados Unidos de America
EUR 13,39
Cantidad disponible: 1 disponibles
Añadir al carritoDVD. Condición: Very Good. In Original Retail Packaging with all (if any) original inserts, Plays AS NEW, NOT an ex-library/Rental discard, SHIPS FAST, What You See Is What You Get, Satisfaction Guaranteed! Please examine images and ask any questions you may have, Thanks for looking! ; 0.7 X 7.5 X 5.4 inches.
Idioma: Inglés
Publicado por The New York Department of City Planning, New York, 1993
Librería: gearbooks, The Bronx, NY, Estados Unidos de America
EUR 43,03
Cantidad disponible: 1 disponibles
Añadir al carritoSoft Cover. Condición: Very Good. Anthony Russell, Susan Limocelli & Jennifer Wood (Design); Shirin Karanfiloglu, Ben Russell, Robin Holland, et al. (Photos) Ilustrador. October 1993. 96 pp. October 1993 only! Over-sized and/or over weight book; extra postage required. Please note that large and/or heavy items may incur an additional shipping charge. Nearly flawless copy with minimal external wear, crisp pages and clean text.
Idioma: Español
Publicado por Vuelta Editorial, México, 1997
Librería: La Social. Galería y Libros, Barcelona, B, España
Original o primera edición
EUR 19,99
Cantidad disponible: 1 disponibles
Añadir al carritoTapa blanda. Condición: Muy bien. Primera edición. ISSN: 01851586. PRIMERA EDICIÓN. FIRST EDITION. Director: Octavio Paz. Contenido: Eduardo Lizalde "Jantarada en la Ribera"; Gabriel Zaid "Fin de siglo en el valle de México"; Roger Bartra "Melancolía y cristianismo en el siglo de oro, mito, erotismo y tristeza judía"; victor Castañón "La edición en español: España y América"; Barbara Probst Solomon; Fabienne Bradu; David Medina Portillo; Carmen Leero; Verónica Volkow; . EXCELENTE ejemplar. 65pp + publicidad.
EUR 58,08
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 56,61
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Steidl and Museum of Contemporary Photography, Gottingen, Germany and Chicago, IL, 2007
ISBN 10: 3865213928 ISBN 13: 9783865213921
Librería: Jeff Hirsch Books, ABAA, Wadsworth, IL, Estados Unidos de America
Original o primera edición
EUR 53,63
Cantidad disponible: 1 disponibles
Añadir al carritoEstado de la sobrecubierta: dj. First Edition. First edition and first printing. Oblong hardcover. Features an introduction by Karen Irvine, an essay by David Bate, and the text of Johannes Meinhardt of Probst. Includes numerous color and black and white images with some gatefolds. A near fine copy in gray cloth boards with a few tiny creases to the corners of a couple of the gatefolds and in near fine dust jacket.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 62,36
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 65,79
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,57
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,20
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 74,78
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,15
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 65,44
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 84,96
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings. Book.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,70
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 67,91
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 89,38
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover with dustjacket, unpaginated; very good condition; light rubbing to dj; no internal marks. Foreign and shipping may be extra.
Idioma: Inglés
Publicado por Resources for the Future, 2001
ISBN 10: 1891853392 ISBN 13: 9781891853395
Librería: Revaluation Books, Exeter, Reino Unido
EUR 98,50
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. illustrated edition. 328 pages. 8.75x6.00x0.75 inches. In Stock.
Idioma: Inglés
Publicado por Göttingen : Steidl : [Chicago] : Museum of Contemporary Photography, 2007
ISBN 10: 3865213928 ISBN 13: 9783865213921
Librería: Antiquariaat Digitalis, Amsterdam, Holanda
Original o primera edición
EUR 75,00
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fine. 1st Edition. Hardcover with dust jacket, 108 unnumbered pages (some folded) : illustrations (some color) ; 23 x 26 cm. Very good/fine, clean, crisp, unmarked. First edition.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lectureby Leslie Lamport entitled'Computer-hindered verification (humans can do it too)'.
Idioma: Inglés
Publicado por Steidl and Museum of Contemporary, Germany, 2007
ISBN 10: 3865213928 ISBN 13: 9783865213921
Librería: Westsider Rare & Used Books Inc., New York, NY, Estados Unidos de America
Original o primera edición Ejemplar firmado
EUR 125,13
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover with Dust Jacket. First Edition. Near Fine, signed on the ffep, in a VG+ dust jacket, stated first edition (loc lingo).
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 164,36
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 181,21
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 164,34
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Zed Books, New York, NY, Estados Unidos de America
Original o primera edición Ejemplar firmado
EUR 178,76
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fine. Estado de la sobrecubierta: Fine. First Edition. First printing. Oblong 4to. Fine in Fine dust jacket. Half-title page signed by Barbara Probst. Signed by Author.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 199,74
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 328.
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 207,68
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. 1997 ed. CHARM 97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year. Formal verification is increasingly recognized as an appropriate tool for design acceptance and for detecting design errors and specification ambiguities. The validation of functional and timing behaviour is a major bottleneck in current VLSI design systems. Once an academic area, formal design and verification techniques are attracting serious attention from industry. Given this increased activity, the series aims to attract researchers and users from both communities. This working conference focuses on the integration of verification technologies, identifying ideal subdomains of application for each and on the possibility of creating hybrid verification tools and approaches.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 201,92
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year. Editor(s): Li, H.F.; Probst, D.K. Series: IFIP Advances in Information and Communication Technology. Num Pages: 322 pages, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1400. . 1997. Hardback. . . . .
EUR 180,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New. CHARM 97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europ.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 253,99
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year. Editor(s): Li, H.F.; Probst, D.K. Series: IFIP Advances in Information and Communication Technology. Num Pages: 322 pages, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1400. . 1997. Hardback. . . . . Books ship from the US and Ireland.