Importo totale (1 articolo articoli):
Destinazione ordine:
plotkin gordon (63 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (63)
- 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 (6)
- Molto buono o Buono (12)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (12)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (3)
- Con foto (12)
- Non Print on Demand (57)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Logical Environments
Editore: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Lingua: Inglese
Da: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Condizione: Used - Very Good. 1993. Hardcover. Library binding. No dj. Light shelf-wear. Very Good.
-
![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)
Editore: Springer Berlin Heidelberg, 1995
ISBN 10: 354059048X ISBN 13: 9783540590484
Lingua: Inglese
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 10,63
EUR 9,07 per la spedizione 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
Editore: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Lingua: Inglese
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Logical Environments.
Editore: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Lingua: Inglese
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 12,96
EUR 9,07 per la spedizione 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].
-
Situation Theory and Its Applications, Volume 2 (Lecture Notes)
Editore: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Lingua: Inglese
Da: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Very good paperback with very good text. Previous owner's inscription on front endpaper, otherwise text very good. Exterior has light shelfwear and abrasions; otherwise very good. Ships from Dinkytown in Minneapolis, Minnesota.
-
Situation Theory and Its Applications - Volume 2
Editore: CSLI Center for the Study of Language and Information, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Lingua: Inglese
Da: avelibro OHG, Dinkelscherben, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 13,00
EUR 10,00 per la spedizione 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.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
EUR 3,00
EUR 22,50 per la spedizione da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
EUR 3,00
EUR 22,50 per la spedizione da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
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. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Proof, Language, and Interaction : Essays in Honour of Robin Milner
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 26,98
EUR 9,07 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. illustrated edition. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
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. We are unable to ship to Canada at this time.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.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
hardcover. Condizione: Very Good. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books.
-
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.
-
From Semantics to Computer Science
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 41,99
EUR 7,37 per la spedizione da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. xix + 574 7 Illus.
-
Situation and Theory and its Applications. Volume 2.
Editore: Center for the Study of Language and Information, 1992
Lingua: Inglese
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
EUR 11,80
EUR 40,00 per la spedizione 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.
-
Logical Environments
Editore: Cambridge University Press, Cambridge, United Kingdom, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Lingua: Inglese
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 42,77
EUR 10,77 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good.
-
Transactions on Computational Systems Biology VI (Lecture Notes in Computer Science, 4220)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
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.
Editore: Cambridge University Press:, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Lingua: Inglese
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.
-
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
Editore: Centre for the Study of Language and Information, Stanford, 1991
ISBN 10: 0937073709 ISBN 13: 9780937073704
Lingua: Inglese
Da: Webbooks, Wigtown, Wigtown, Regno Unito
Membro dell'associazione: PBFA
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 23,36
EUR 34,02 per la spedizione 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.
-
Transactions on Computational Systems Biology VI
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 53,64
EUR 7,37 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 260 Illus.
