D gries (59 Ergebnisse)

paperback. Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.…

Kartoniert. Zustand: Zufriedenstellend. o. J.; 96 S. Size: 50 g. Buch.

je 264 S., geprägter Leineneinband., sehr guter Zustand.

Hardcover. Zustand: Very Good with no dust jacket. First Edition (?). Previous owner's name on inside covers. ; Book Description; Spine has no signs of creasing. Pages are clean and not marred by notes or folds. Covers are square and with minor wear. ; B&W Illustrations; 4to 11" - 13" tall; 392 pages DC1.…

Paperback. Zustand: Very Good. Paperback journal with very few superficial marks and scores on covers, and lightly worn edges, leading corners and spine ends. Pages are clean and sound throughout; all content is clear. TS. Used.

Hardcover. Zustand: Gut erhalten. o. J.; 416 S. Size: 255 g. Buch.

289 S. Kl.-8° Gerne können Sie Bilder anfordern oder mit mir über Ihre Preisvorstellung sprechen Sprache: Deutsch Gewicht in Gramm: 550 Oppbd. d. Zt. (Rücken berieben, Kanten bestoßen).

Hardcover. Zustand: Very Good with no dust jacket. First Edition. Unmarked, except for company stamp on inside cover. Very mild wear on some corners. ; Book Description; Spine has no signs of creasing. Pages are clean and not marred by notes or folds. Covers are square with minor wear. Ships Safe and Fast. Published without Dust Jacket. ; 4to 11" - 13" tall; 392 pages DZ4.…

Zustand: Good. Good condition. Vierter Band. (german, plays ) A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.

Zustand: Fair. Acceptable condition. Dritter Band. (spainsh, spanish playwrights, spain, 17th century) A readable, intact copy that may have noticeable tears and wear to the spine. All pages of text are present, but they may include extensive notes and highlighting or be heavily stained. Includes reading copy only books.…

254 S., Ln., 2. Teile in einem Band, guter Zustand.

Hardcover. 17 x 10,8 cm. Halblederband der Zeit mit Rückengoldprägung, leicht berieben. Der vordere Innendeckel und das Vorsatzblatt in alter Tinte beschrieben, eine Vorsatzblattecke fehlt (ca. 7,5 cm Länge). Ein Ex-Libris wurde montiert. (8), 336 Seiten. Innen gelegentlich sehr schwach braunfleckig, ansonsten gut erhalten (siehe auch Innenabbildung). -- Bitte Portokosten außerhalb EU erfragen! / Please ask for postage costs outside EU! / S ' il vous plait demander des frais de port en dehors de l ' UE! // Bitte beachten Sie auch unsere Fotos! / Please also note our photos! / Veuillez noter nos photos -- Genießen Sie den goldenen Herbst! Machen Sie es sich gemütlich , bei uns finden Sie sicher die passende Lektüre! -- Wir kaufen Ihre werthaltigen Bücher! Lit.…

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

Zustand: gut. 80 S. : graph. Darst., 26 cm, Name unterstrichen, aus der Sammlung Herbert Ant. Sprache: Deutsch.

292 S., + 328 S., 8°, Oln, Einband mit leichten Gebrauchsspuren, Blindprägung auf Deckel, Goldprägung auf Rücken, farbig gestaltete Innendeckel, Fraktur, mamorierter Ganzschnitt, guter gebrauchter Zustand.

12,5 x 15,5 cm, 336 S., Leinen mit goldgepr. Rückenschild (dieses berieben und mit Fehlstellen), Farbschnitt, Einband etwas fleckig und an den Ecken leicht bestoßen, fliegendes Blatt mit Randläsuren, insgesamt leicht braunfleckig und minimal schief.

Hardcover. Zustand: Fine. Zustand des Schutzumschlags: Near Fine. 2nd Edition. Superbly illustrated and thought provoking account of animal skeletons. pp424. This is the 2nd, 8vo ed. DW in archival sleeve.

1999. 390 p. Unread book. Like new. Minimum traces of storage. --- Ungelesenes Buch in neuwertigem Zustand. Minimale Lagerspuren. 9780387988702 Sprache: Englisch Gewicht in Gramm: 680 Hardcover: 15.6 x 2.2 x 23.4 cm.

Zustand: New. In English.

80 pp., 31 figs, br. gr. 8 [18 x 26 cm].

Zustand: New. In English.

Gebundene Ausgabe. Zustand: Befriedigend. J. G. Cotta - August Wilhelm Schlegel - gb - Band 3 FY-VFZZ-RH7P Sprache: Deutsch Gewicht in Gramm: 500.

Couverture souple. Zustand: bon. RO20272777: 2006. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 307 pages abondamment illustrées en couleur et noir/blanc, dans et hors texte - avec rhodoid (imprimé de motifs floraux noir) - page de faux titre avec petit manque en coin. . . . Classification Dewey : 708-Galeries, musées, collections d'art.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of 'natural language programming'.- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development - The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always .- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation - The formal approach.- Program development by stepwise transformations - The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools - Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.…

289, 294 S. marmorierter Orig. Pappband berieben und bestossen, teils stockfl., Läsuren.

Hardcover. Zustand: Good. 1st Edition. xiv + 437 p. Buch.

340; 412 S., 1 Blatt (Errata). Pappband der Zeit mit Rückenschild. - enthält: Die große Zenobia, Das laute Geheimnis. NDB VII, 59 Auf Schlegels Anregung unternahm G. nach Ariost (1802) die schwierige Calderónübertragung, seine Freunde Rist und Friedrich August Wolf berieten ihn. Goethe führte 1815 ?Zenobia? auf und zollte der Arbeit von G. hohe Anerkennung. - Titel mit Besitzvermerk, sonst sauber.…

Vollständiges Exemplar. Torquato Tasso (geb. 11.3.1544 in Sorrent; gest. 25.4.1595 in Rom) war ein italienischer Dichter des 16. Jahrhunderts, der Zeit der Gegenreformation. Am bekanntesten wurde er durch das Epos La Gerusalemme liberata (Das befreite Jerusalem, ins Deutsche auch als Gottfried von Bulljon übersetzt), in dem er ein fiktives Gefecht zwischen Christen und Muslimen am Ende des Ersten Kreuzzuges während der Belagerung von Jerusalem beschreibt. Johann Diederich Gries (geb. 7.2.1775 in Hamburg; gest. 9.2.1842 ebenda) war ein deutscher Übersetzer in der romantischen Ära. Schon bald nach Erscheinen war die erste Ausgabe seiner Tasso-Übersetzung fast vergriffen: "Ich werde den guten Torquato ganz umarbeiten müssen", schrieb er. Denn mit jeder weiteren Auflage seiner Übersetzungen wollte er "unter Beibehaltung des ursprünglichen Versmaßes und nach zähen Verbesserungen höchste formale Originaltreue" (NDB) erreichen. vgl. Goed. VII,638,d. - Rücken des zweiten Bandes leider am Vordergelenk fast ganz aufgeplatzt und mit kleinen Fehlstellen; Ecken und Kanten berieben und bestoßen, Leimschatten von den Lederecken auf den ersten und letzten Seiten, sonst gut. (DH.06b).…

Zustand: gut. 1999. On a Method of Multiprogramming (Monographs in Computer Science) In englischer Sprache. pages.