Importo totale (1 articolo articoli):
Destinazione ordine:
gordon plotkin (57 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (57)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (33)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (9)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (12)
Legatura
Ulteriori caratteristiche
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
EUR 3,37
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Da: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Copia autografata
hardcover. Condizione: Used-Very Good. Library binding. No dj. Light shelf-wear.
-
![Immagine dell'editore per 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) venduto da G. & J. CHESTERS](https://pictures.abebooks.com/isbn/9783540590484-it-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)
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1995
ISBN 10: 354059048X ISBN 13: 9783540590484
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 10,82
Spedizione EUR 8,08
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. pp.viii, 442 pages, a very good paperback [354059048X]. From a university library.
-
Logical Environments.
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 13,20
Spedizione EUR 8,08
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1995
ISBN 10: 354059048X ISBN 13: 9783540590484
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Lingua: Inglese
Editore: CSLI Center for the Study of Language and Information, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Da: avelibro OHG, Dinkelscherben, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 13,00
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello22,5 x 15 cm. Condizione: 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
Lingua: Inglese
Editore: Arizona State University Libra, Tempe, Arizona, 1992
ISBN 10: 1879286025 ISBN 13: 9781879286023
Da: K. L. Givens Books, Bella Vista, AR, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione Copia autografata
Trade Paperback. Condizione: VG+. Condizione sovraccoperta: 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
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 17,97
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 260 Illus.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Da: George Cross Books, Lexington, MA, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 4 su 5 stelle
Paperback. 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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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)
Da: Alien Bindings, BALTIMORE, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: New. Condizione sovraccoperta: New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge.
-
Typed Lambda Calculi And Applications -
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Typed Lambda Calculi And Applications -
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
Lingua: Inglese
Editore: Center for the Study of Language and Information, 1992
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
EUR 13,00
Spedizione EUR 40,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. 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
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 260.
-
Typed Lambda Calculi and Applications
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 460.
-
LOGICAL FRAMEWORKS.
Lingua: Inglese
Editore: Cambridge University Press:, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Da: PASCALE'S BOOKS, NORTH READING, MA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hard Cover. Condizione: 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
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, United Kingdom, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 43,54
Spedizione EUR 14,43
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good.
-
Proof, Language, And Interaction
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Proof, Language, And Interaction
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Lingua: Inglese
Editore: Centre for the Study of Language and Information, Stanford, 1991
ISBN 10: 0937073709 ISBN 13: 9780937073704
Da: Webbooks, Wigtown, Wigtown, Regno Unito
Membro dell'associazione: PBFA
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 23,78
Spedizione EUR 34,64
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft Cover. Condizione: 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
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 52,91
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xix + 574 7 Illus.
-
Typed Lambda Calculi and Applications
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 53,19
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 49,59
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 260.
-
Typed Lambda Calculi and Applications
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 50,52
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,97
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom,
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,01
Spedizione EUR 17,88
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
