Montant total (1 article articles) :
Destination de la commande :
dybjer (108 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (108)
- 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 (94)
- Comme neuf, Très bon ou Bon (10)
- Assez bon ou satisfaisant (3)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Particularités
- Ed. originale (2)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (43)
- Sans impressions à la demande (65)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Langue: anglais
Edité par Springer Berlin / Heidelberg, 1995
ISBN 10 : 3540605797 ISBN 13 : 9783540605799
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,95
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Semantics and Logics of Computation
Langue: anglais
Edité par Cambridge University Press, 2009
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,57
Expédition à EUR 2,28
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Semantics and Logics of Computation (Paperback or Softback)
Langue: anglais
Edité par Cambridge University Press 8/20/2009, 2009
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,93
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Semantics and Logics of Computation. Book.
-
Semantics and Logics of Computation (Publications of the Newton Institute, Series Number 14)
Langue: anglais
Edité par Cambridge University Press, 2009
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 59,64
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,17
Expédition à EUR 2,28
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 60,53
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,32
Expédition à EUR 2,28
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,32
Expédition à EUR 2,28
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,09
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Auflage: 1989. 380 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 536 23,4 x 15,6 x 1,8 cm, Taschenbuch.
-
Semantics and Logics of Computation
Langue: anglais
Edité par Cambridge University Press, 2009
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 62,74
Expédition à EUR 2,28
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,51
Expédition à EUR 13,88
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 50,82
Expédition à EUR 17,95
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,62
Expédition à EUR 13,88
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,62
Expédition à EUR 13,88
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,86
Expédition à EUR 17,95
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Semantics and Logics of Computation (Publications of the Newton Institute, Series Number 14)
Langue: anglais
Edité par Cambridge University Press, 2009
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,85
Expédition à EUR 13,88
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Types for Proofs and Programs : International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,04
Expédition à EUR 17,95
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 74,37
Expédition à EUR 2,28
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Semantics and Logics of Computation: 14 (Publications of the Newton Institute, Series Number 14)
Langue: anglais
Edité par Cambridge University Press 2009-08-04, 2009
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,44
Expédition à EUR 17,95
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Category Theory and Computer Science
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 74,24
Expédition à EUR 3,45
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 376.
-
Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,82
Expédition à EUR 17,38
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60
Expédition à EUR 17,38
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Semantics And Logics Of Computation (Publications Of The Newton Institute)
Langue: anglais
Edité par Cambridge University Press, 1997
ISBN 10 : 0521580579 ISBN 13 : 9780521580571
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,86
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.
-
SEMANTICS AND LOGICS OF COMPUTATION (PUBLICATIONS OF THE NEWTON INSTITUTE)
Langue: anglais
Edité par Cambridge University Press, 1997
ISBN 10 : 0521580579 ISBN 13 : 9780521580571
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,86
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.
-
Semantics and Logics of Computation
Langue: anglais
Edité par Cambridge University Press, 2009
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,39
Expédition à EUR 17,38
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Semantics and Logics of Computation
Langue: anglais
Edité par Cambridge University Press CUP, 1997
ISBN 10 : 0521580579 ISBN 13 : 9780521580571
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 77,39
Expédition à EUR 3,45
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 376.
-
Semantics and Logics of Computation: 14 (Publications of the Newton Institute, Series Number 14)
Langue: anglais
Edité par Cambridge University Press, 2009
ISBN 10 : 0521118468 ISBN 13 : 9780521118460
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 68,23
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Summer school lecture courses on modern logic and computation are presented here. Editor(s): Pitts, Andrew M.; Dybjer, Peter. Series: Publications of the Newton Institute. Num Pages: 376 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 31. Weight in Grams: 572. . 2009. 1st Edition. paperback. . . . .
-
Semantics and Logics of Computation
Langue: anglais
Edité par Cambridge University Press, 1997
ISBN 10 : 0521580579 ISBN 13 : 9780521580571
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 76,46
Expédition à EUR 7,53
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 376 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.
-
Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,75
Expédition à EUR 17,38
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 84,38
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers. Book.
