abramsky s (33 Ergebnisse)

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 494; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 493; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1991. Tome 2. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Volume 2. Ammareal gives back up to 15% of this item's net price to charity organizations.

Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good. 244pp. Text is in Hebrew.

Hb. with 6 maps. Good.

Hb. Dj. with 6 maps. G+.

Zustand: New. Editor(s): Abramsky, Chimen; Williams, Beryl J. Num Pages: 387 pages, biography. BIC Classification: HBJD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 603. . 1974. 1st ed. 1974. paperback. . . . . Books ship from the US and Ireland.

Zustand: New. pp. 480.

Zustand: New. In.

Zustand: New. In.

Wrappers (paperback) viii pp. text in English and (106) pages in Hebrew. + 20 loose plates. Together in portfolio.; 28x23 cm. - (sl. browned, some foxing, few notes/ names on inside cover of portfolio, although still good - see image) 890g.

Zustand: New. Editor(s): Abramsky, Samson; Kontinen, Juha; Vaananen, Jouko; Vollmer, Heribert. Num Pages: 290 pages, 23 black & white illustrations, biography. BIC Classification: PBC; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 602. . 2016. Hardback. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for Software Development (CCPSD). The first part (CAAP) is contained in Vol. 1, the other two parts constitute Vol. 2. CAAP '91 focuses on the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered in the broad sense as that of sets of discrete structures and the theory of rewriting systems over them. - Application of discrete structures in computer science: syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of structured objects. The ADC talks by distinguished invited speakers survey current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software engineering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

Taschenbuch. Zustand: Neu. TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 | Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) | S. Abramsky (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540539810 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 | Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91) | S. Abramsky (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540539827 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 1992. Tome 2. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Volume 2. Ammareal gives back up to 15% of this item's net price to charity organizations.

Zustand: Sehr gut. X, 571 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1020 gebundene Ausgabe gebundene Ausgabe.

Hardcover. Zustand: gut. Handbook of Logic in Computer Science; Vol. 2: Background, Computational Structures (Handbook of Logic in Computer Science and Artificial In pages.

Zustand: Good. 1st Edition. 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: 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: New. In.

Zustand: New. In.

hardcover. Zustand: Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.

hardcover. Zustand: Acceptable. Please see the condition note after this for details, if this is missing please consider Acceptable to mean poor quality that could include major staining, water damage, writing, missing dustjacket, etc etc. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

Zustand: New. In.

Zustand: New. In.

Zustand: New. This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area. Editor(s): Abramsky, Samson; Gabbay, Dov M.; Maibaum, T. S. E. Series: Handbook of Logic in Computer Science. Num Pages: 666 pages, line figures. BIC Classification: UGK; UM; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 40. Weight in Grams: 1115. . 1995. Illustrated. hardcover. . . . . Books ship from the US and Ireland.

Zustand: New. This, the third volume in the successful series - Handbooks of Logic in Computer Science - covers the fundamental topics of semantics in logic and computation. This volume brings the reader the latest results and up-to-date and in-depth research - it is an indispensable reference source for workers in the field. Editor(s): Abramsky, Samson; Gabbay, Dov M.; Maibaum, T. S. E. Series: Handbook of Logic in Computer Science. Num Pages: 506 pages, line illustrations, tables. BIC Classification: PBCD; UM; UN; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 33. Weight in Grams: 868. . 1995. Illustrated. hardcover. . . . . Books ship from the US and Ireland.