Gesamtpreis (1 Artikel Artikel):
Versandziel:
pym david (37 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (37)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (6)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (5)
- Angebotsfoto (18)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Chicken Licken and Other Stories
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,37
EUR 9,12 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Ilaria Falori; Christine Pym; Anna Sun (illustrator). Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
A Discipline of Mathematical Systems Modelling: Vol. 2 (Studies in Systems Thinking and Systems Engineering)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 8,79
EUR 7,07 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
The Religious Thought of Samuel Taylor Coleridge
Verlag: Barnes & Noble Books-Imports, 1979
ISBN 10: 0064957500 ISBN 13: 9780064957502
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Fine. Used book that is in almost brand-new condition.
-
The Religious Thought of Samuel Taylor Coleridge
Anbieter: Debunni, Milnthorpe, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Erstausgabe
EUR 9,39
EUR 7,98 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fair. No Jacket. 1st Edition. Front cover slightly bowed.
-
The Religious Thought of Samuel Taylor Coleridge
Anbieter: Jackson Street Booksellers, Omaha, NE, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Fine. 1st Edition. Name on the first endpaper otherwise Fine in a Fine jacket. 1st Printing. 105pp 8vo.
-
The Religious Thought of Samuel Taylor Coleridge
Verlag: Colin Smythe Ltd, United Kingdom, 1979
ISBN 10: 0901072656 ISBN 13: 9780901072658
Sprache: Englisch
Anbieter: Pendleburys - the bookshop in the hills, Llanwrda, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 11,16
EUR 13,11 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good. 1st Edition. hardback, slim octavo, a small splash mark to the closed bottom edge else a very good tightly bound copy with a clean and unmarked text and in a well preserved pictorial dust jacket, portrait frontis, 105pp.
-
The Religious Thought of Samuel Taylor Coleridge
Verlag: Colin Smythe Ltd, Gerrards Cross, 1979
ISBN 10: 0901072656 ISBN 13: 9780901072658
Sprache: Englisch
Anbieter: Salsus Books (P.B.F.A.), Kidderminster, Vereinigtes Königreich
Verbandsmitglied: PBFA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 8,22
EUR 17,10 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. Zustand des Schutzumschlags: Good. 1st Edition. hardback, blue boards gilt in wrapper, frontispiece portrait.
-
The Religious Thought of Samuel Taylor Coleridge
Anbieter: HALCYON BOOKS, LONDON, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,29
EUR 20,52 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Very Good. ALL ITEMS ARE DISPATCHED FROM THE UK WITHIN 48 HOURS ( BOOKS ORDERED OVER THE WEEKEND DISPATCHED ON MONDAY) ALL OVERSEAS ORDERS SENT BY TRACKABLE AIR MAIL. IF YOU ARE LOCATED OUTSIDE THE UK PLEASE ASK US FOR A POSTAGE QUOTE FOR MULTI VOLUME SETS BEFORE ORDERING.
-
We All Fall Down: Stories of Plague and Resilience
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 16,81
EUR 11,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 208 pages. 9.00x6.00x0.47 inches. In Stock.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Verlag: Springer-Verlag New York Inc., 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Sprache: Englisch
SonderangebotEUR 6,99
EUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Time Out Film Guide Ninth Edition 2001
Anbieter: Buybyebooks, Honiton, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 14,68
EUR 25,91 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. David Lyttleton (illustrator). PB 9th Ed. 23.3 x 15.2 x 6.5cm. 1460 pages. b/w illusts. Condition: Slight spine rub. Outer edges of pages collectively evenly discoloured. Appears unread, unused.
-
The Semantics and Proof Theory of the Logic of Bunched Implications (Volume 26)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 31,32
EUR 14,75 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Volume 26. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9781402007453.
-
The Religious Thought of Samuel Taylor Coleridge
Verlag: Colin Smythe, Gerrard Cross, 1978
Anbieter: Minotavros Books, ABAC ILAB, Whitby, ON, Kanada
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Near Fine. 1st Edition. Dark blue cloth, 105pp. Near fine in a lightly sunned but near fine d/w. Pym discusses Coleridge's thoughts on the nature and the existence of God, Jesus, and how the scriptural teachings would emerge from time to time in his poetry.
-
The Religious Thought of Samuel Taylor Coleridge Pym, David
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 3,52
EUR 74,08 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. No dustjacket. Some fading/scuffs to cover. Clippings from dustjacket stapled in at front. Tanning to pages. Content very good.
-
Graphical Models for Security: 5th International Workshop, Gramsec 2018, Oxford, Uk, July 8, 2018, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,75
EUR 11,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 144 pages. 9.25x6.10x0.33 inches. In Stock.
-
Graphical Models For Security : 5th Inte
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Reductive Logic And Proof-search: Proof Theory, Semantics, And Control
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Graphical Models for Security
Verlag: Springer International Publishing, Springer Nature Switzerland Mär 2019, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.
-
Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.
-
Graphical Models for Security | 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Verlag: Springer Nature Switzerland, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Sprache: Englisch
Taschenbuch. Zustand: Neu. Graphical Models for Security | 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers | George Cybenko (u. a.) | Taschenbuch | xi | Englisch | 2019 | Springer Nature Switzerland | EAN 9783030154646 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Verlag: Springer International Publishing, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Verlag: Springer International Publishing, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Oxford Reading Tree Traditional Tales: Level 3: Class Pack of 24
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. Ruozhu Sun, Ann; Pym, Christine; Falorsi, Ilaria; Rolovio, Jimothy (illustrator). New Book. Shipped from UK. Established seller since 2000.
-
Oxford Reading Tree Traditional Tales: Level 3: Class Pack of 24
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 168,72
EUR 10,67 für den Versand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. Ruozhu Sun, Ann; Pym, Christine; Falorsi, Ilaria; Rolovio, Jimothy (illustrator). New Book. Shipped from UK. Established seller since 2000.
-
Oxford Reading Tree Traditional Tales: Stage 3: Class Pack of 24
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 160,52
EUR 17,10 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. Ruozhu Sun, Ann; Pym, Christine; Falorsi, Ilaria; Rolovio, Jimothy (illustrator). 16 pages. 8.54x8.23x1.89 inches. In Stock.
-
EUR 136,16
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 136,16
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Taschenbuch. Zustand: Neu. The Semantics and Proof Theory of the Logic of Bunched Implications | David J. Pym | Taschenbuch | xlix | Englisch | 2010 | Springer | EAN 9789048160723 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Verlag: Springer Netherlands, Springer Netherlands Jul 2002, 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware -This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within informatics: ¿ Resources as a basis for semantics; ¿ Proof-search as a basis for reasoning; and ¿ The theory of representation of object-logics in a meta-logic. The ensuing development represents a logical theory which draws upon the mathematical, philosophical and computational aspects of logic. Part I presents the logical theory of propositional BI, together with a computational interpretation. Part II presents a corresponding devel opment for predicate BI. In both parts, I develop proof-, model- and type-theoretic analyses. I also provide semantically-motivated compu tational perspectives, so beginning a mathematical theory of resources. I have not included any analysis, beyond conjecture, of properties such as decidability, finite models, games or complexity. I prefer to leave these matters to other occasions, perhaps in broader contexts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Verlag: Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048160723 ISBN 13: 9789048160723
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within informatics: - Resources as a basis for semantics; - Proof-search as a basis for reasoning; and - The theory of representation of object-logics in a meta-logic. The ensuing development represents a logical theory which draws upon the mathematical, philosophical and computational aspects of logic. Part I presents the logical theory of propositional BI, together with a computational interpretation. Part II presents a corresponding devel opment for predicate BI. In both parts, I develop proof-, model- and type-theoretic analyses. I also provide semantically-motivated compu tational perspectives, so beginning a mathematical theory of resources. I have not included any analysis, beyond conjecture, of properties such as decidability, finite models, games or complexity. I prefer to leave these matters to other occasions, perhaps in broader contexts.
