Montant total (1 article articles) :
Destination de la commande :
plotkin gordon (57 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (57)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (33)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (9)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (12)
Particularités
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
EUR 3,37
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Logical Environments
Langue: anglais
Edité par Cambridge University Press, 1993
ISBN 10 : 0521433126 ISBN 13 : 9780521433129
Vendeur : Powell's Bookstores Chicago, ABAA, Chicago, IL, Etats-Unis
Membre d'association : ABAA ILAB
Évaluation du vendeur 5 sur 5 étoiles
Signé
EUR 13,25
Expédition à EUR 4,53
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Used-Very Good. Library binding. No dj. Light shelf-wear.
-
![Image d'archives pour Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902) mis en vente par G. & J. CHESTERS](https://pictures.abebooks.com/isbn/9783540590484-fr-300.jpg)
Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902)
Langue: anglais
Edité par Springer Berlin Heidelberg, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,76
Expédition à EUR 8,04
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : Very Good. pp.viii, 442 pages, a very good paperback [354059048X]. From a university library.
-
Logical Environments.
Langue: anglais
Edité par Cambridge University Press, 1993
ISBN 10 : 0521433126 ISBN 13 : 9780521433129
Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 13,12
Expédition à EUR 8,04
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Near Fine. pp.xiii, 338 pages, a near fine hardback, publisher's original blue (teal) cloth binding with gilt lettering to the spine, minimal evidence that it is from a uk university [0521433126].
-
Typed Lambda Calculi and Applications : Proceedings of the 2nd International Conference on Typed Lambda Calculi and Applications, TLCS '95, Edinburgh, United Kingdom, April 10-12, 1995
Langue: anglais
Edité par Springer Berlin / Heidelberg, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 21,52
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Situation Theory and Its Applications - Volume 2
Langue: anglais
Edité par CSLI Center for the Study of Language and Information, 1992
ISBN 10 : 0937073709 ISBN 13 : 9780937073704
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Membre d'association : BOEV
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 13
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier22,5 x 15 cm. Etat : Gut. 1. Auflage. XIII, 637 Seiten, 2 Blatt Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Leichte Lagerspuren, leicht gebräunt. - CSLI Lecture Notes, Band 26. RW-SB-02E|A67 Sprache: Englisch Gewicht in Gramm: 862.
-
Rabbi Plotkin: A Memoir
Langue: anglais
Edité par Arizona State University Libra, Tempe, Arizona, 1992
ISBN 10 : 1879286025 ISBN 13 : 9781879286023
Vendeur : K. L. Givens Books, Bella Vista, AR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale Signé
EUR 22,08
Expédition à EUR 3,42
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTrade Paperback. Etat : VG+. Etat de la jaquette : No Jacket as Issued. 1st Edition. White trade paperback with portrait of Rabbi Plotkin on the cover. No defects on the book. Book is SIGNED BY RABBI ALBERT PLOTKIN AND GORDON A. SABINE, no inscription. There is a note stating this was gift from the editor. Memoir of this Jewish Rabbi. 160 pages. Signed by Author(s). Book.
-
Transactions on Computational Systems Biology VI
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 18,05
Expédition à EUR 7,46
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 260 Illus.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Vendeur : George Cross Books, Lexington, MA, Etats-Unis
Membre d'association : IOBA
Évaluation du vendeur 4 sur 5 étoiles
EUR 24,73
Expédition à EUR 3,43
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Reprint edition. Very Good/Wraps (34592) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems. 443.
-
Transactions on Computational Systems Biology VI (Lecture Notes in Computer Science / Transactions on Computational Systems Biology)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 28,05
Expédition à EUR 5,99
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, . (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 30,41
Expédition à EUR 5,99
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Vendeur : Alien Bindings, BALTIMORE, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 39,26
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New. Etat de la jaquette : New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge.
-
Typed Lambda Calculi And Applications -
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,78
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Transactions On Computational Systems Biology Vi
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,78
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Typed Lambda Calculi And Applications -
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,91
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Transactions On Computational Systems Biology Vi
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,91
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Situation and Theory and its Applications. Volume 2.
Langue: anglais
Edité par Center for the Study of Language and Information, 1992
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 13
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. 3356 Ex-library with Stamp and Library-Signature in Good Condition, Some Traces of Use Sprache: Englisch Gewicht in Gramm: 1050.
-
Transactions on Computational Systems Biology VI
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 51,88
Expédition à EUR 3,42
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 260.
-
Typed Lambda Calculi and Applications
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 53,08
Expédition à EUR 3,42
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 460.
-
LOGICAL FRAMEWORKS.
Langue: anglais
Edité par Cambridge University Press:, 1991
ISBN 10 : 0521413001 ISBN 13 : 9780521413008
Vendeur : PASCALE'S BOOKS, NORTH READING, MA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,99
Expédition à EUR 4,72
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHard Cover. Etat : Fine. 403 pages. "This book contains a collection of papers concerned with logical frameworks. Such frameworks arise in a number of ways when considering the relationship between logic and computation, and indeed the general structure of logical formalism." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall.
-
Logical Environments
Langue: anglais
Edité par Cambridge University Press, Cambridge, United Kingdom, 1993
ISBN 10 : 0521433126 ISBN 13 : 9780521433129
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 43,30
Expédition à EUR 14,35
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Very Good. Etat de la jaquette : Very Good.
-
Proof, Language, And Interaction
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,79
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Proof, Language, And Interaction
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,95
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Situation Theory and Its Applications Volume 2 CSLI Lecture Notes Number 26
Langue: anglais
Edité par Centre for the Study of Language and Information, Stanford, 1991
ISBN 10 : 0937073709 ISBN 13 : 9780937073704
Vendeur : Webbooks, Wigtown, Wigtown, Royaume-Uni
Membre d'association : PBFA
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 23,65
Expédition à EUR 34,45
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft Cover. Etat : Good. No Jacket. First Edition. From an academic library with the usual stamps and labels. Contents clean. Card covers have been laminated with clear adhesive plastic. This is a heavy book and we will request extra shipping if ordered from outside the UK. A00016517.
-
From Semantics to Computer Science
Langue: anglais
Edité par Cambridge University Press, 2009
ISBN 10 : 0521518253 ISBN 13 : 9780521518253
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 53,16
Expédition à EUR 7,46
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. xix + 574 7 Illus.
-
Typed Lambda Calculi and Applications
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 53,44
Expédition à EUR 7,46
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 460 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Transactions on Computational Systems Biology VI
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 49,59
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 260.
-
Typed Lambda Calculi and Applications
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 50,52
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 460.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science, 902)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,64
Expédition à EUR 13,76
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom,
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,70
Expédition à EUR 17,79
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
