Probst david (45 résultats)

Soft Cover. Etat : Very Good. 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. Anthony Russell, Susan Limocelli & Jennifer Wood (Design); Shirin Karanfiloglu, Ben Russell, Robin Holland, et al. (Photos) (illustrateur).…

Tapa blanda. Etat : 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.…

hardcover. Etat : New.

Etat : 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.

Etat : New.

Paperback or Softback. Etat : New. Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings. Book.

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.…

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : As New. Unread book in perfect condition.

PF. Etat : New.

Etat : New.

Etat : New. In English.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Hardcover with dustjacket, unpaginated; very good condition; light rubbing to dj; no internal marks. Foreign and shipping may be extra.

Etat : Gebraucht - Sehr gut. original Heft, Format ca. 19,7 x 12,7 cm, nicht paginiert, ca. 40 Seiten, einige Abbildungen. Zustand: sehr gut, geringfügige Spuren Eine Inszenierung mit Texten von David Lindemann, entstanden in einer Stückentwicklung mit dem Ensemble. Regie: Yves Hinrichs. Bühne: Yves Hinrichs, Leonie Kramp. Kostüme: Markeen Hinniger. Choreographie: Jana Rath. Video: Max Vincent Schulze. Musik: Undine Unger. Mitwirkende: Julia Berke, Andreas Herrmann, Charlotte Kremberg, Hartmut Neuber, Philip Schroeder, Marie Schulte-Werning, Paul Spiering, Undine Unger ------- Program booklet for the world premiere OVER LIMITS, Schauspiel Leipzig 2018 - Original booklet, approximately 19.7 x 12.7 cm, unpaginated, approximately 40 pages, some illustrations. Condition: very good, minor signs of wear. - A production with texts by David Lindemann, developed in collaboration with the ensemble. Directed by Yves Hinrichs. Set design by Yves Hinrichs and Leonie Kramp. Costume design by Markeen Hinniger. Choreography by Jana Rath. Video by Max Vincent Schulze. Music by Undine Unger. Featuring: Julia Berke, Andreas Herrmann, Charlotte Kremberg, Hartmut Neuber, Philip Schroeder, Marie Schulte-Werning, Paul Spiering, and Undine Unger deu.…

Taschenbuch. Etat : 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)'.…

Hardcover. Etat : 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.

Paperback. Etat : Brand New. illustrated edition. 328 pages. 8.75x6.00x0.75 inches. In Stock.

Hardcover with Dust Jacket. First Edition. Near Fine, signed on the ffep, in a VG+ dust jacket, stated first edition (loc lingo).

Hardcover. Etat : Fine. Etat de la jaquette : Fine. First Edition. First printing. Oblong 4to. Fine in Fine dust jacket. Half-title page signed by Barbara Probst. Signed by Author.

Etat : New. In English.

Etat : New.

Etat : New.

Hardback. Etat : 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.…

Etat : 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. . . . . …

Etat : New. pp. 328.