Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 7,99
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 372. Ex-Library. Front cover is creased on lower leading corner and front spine side. There is a scuff on the front cover resulting from possible sticker removal. Previous owner's sticker on the front cover. Small pen inscription on title page; library catalogue sticker on colophon. Faint bumps across some edges. Foot of page block a little yellowed due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Sprache: Italienisch
ISBN 10: 8882741001 ISBN 13: 9788882741006
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Sprache: Italienisch
ISBN 10: 8820036711 ISBN 13: 9788820036713
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
XI, 440 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2202. Sprache: Englisch.
Zustand: Bueno. : Guía de etiqueta y protocolo que ofrece consejos prácticos para desenvolverse correctamente en diversas situaciones sociales. Escrito por Barbara Ronchi Della Rocca, este libro proporciona las herramientas necesarias para saber qué hacer y qué no hacer en cada momento, facilitando la interacción social y evitando errores comunes. El libro, publicado en 1998, cuenta con 308 páginas y está escrito en italiano. EAN: 9788882112905 Tipo: Libros Categoría: Otros Título: Si fa, non si fa Autor: Barbara Ronchi Della Rocca Idioma: it-IT Páginas: 308 Formato: tapa blanda.
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
EUR 9,90
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: NEW.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 41,71
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 276 Illus.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 19,55
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. Italian language. 7.70x5.00x0.90 inches. In Stock.
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
EUR 14,15
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: NEW.
Zustand: Buone. italiano Condizioni dell'esterno: Discrete con difetti, segni d'uso Condizioni dell'interno: Discrete con Difetti, bruniture.
EUR 10,23
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: Buone. italiano Condizioni dell'esterno: Discrete con difetti, strappi Condizioni dell'interno: Buone.
EUR 14,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
Zustand: Good. Auflage: 2004.
Zustand: Good. 788 pp., Paperback, ex library, some wear to cover, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540732276 ISBN 13: 9783540732273
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,31
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 397 pages. 9.25x6.00x1.00 inches. In Stock.
Zustand: BUONO USATO. ITALIANO Legatura editoriale con copertina in cartonato rigido con titolo e Autrice al dorso, in buonissime condizioni. Il volume è dotato di sovraccoperta plastificata con bandelle, illustrata al piatto anteriore, che presenta piccolo strappo alla cuffia superiore. Ritratto fotografico dell'Autrice all'aletta posteriore. Interno in perfetto stato. N. pag. 189.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540732276 ISBN 13: 9783540732273
Anbieter: moluna, Greven, Deutschland
EUR 62,47
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. On a Logical Foundation for Explicit Substitutions.- From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing.- Strong Normalization and Equi-(Co)Inductive Types.- Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retracta.
2004. 262 p. New! -- Neu und originalverschweißt! 9783540200321 Sprache: Englisch Gewicht in Gramm: 522 Hardcover: 15.6 x 1.7 x 23.4 cm.
Sprache: Englisch
Verlag: Springer, Springer Vieweg, 2004
ISBN 10: 3540200320 ISBN 13: 9783540200321
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The A-calculus was invented by Church in the 1930s with the purpose of sup plying a logical foundation for logic and mathematics [25]. Its use by Kleene as a coding for computable functions makes it the first programming lan guage, in an abstract sense, exactly as the Thring machine can be considered the first computer machine [57]. The A-calculus has quite a simple syntax (with just three formation rules for terms) and a simple operational seman tics (with just one operation, substitution), and so it is a very basic setting for studying computation properties. The first contact between A-calculus and real programming languages was in the years 1956-1960, when McCarthy developed the LISP programming language, inspired from A-calculus, which is the first 'functional' program ming language, Le., where functions are first-dass citizens [66]. But the use of A-calculus as an abstract paradigm for programming languages started later as the work of three important scientists: Strachey, Landin and B6hm.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Typed Lambda Calculi and Applications | 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings | Simona Ronchi Della Rocca | Taschenbuch | x | Englisch | 2007 | Springer | EAN 9783540732273 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.