Scedrov (85 résultats)
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)
HOMER, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Couverture souple
Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-UniG. & J. CHESTERS
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 13,56
EUR 8,30 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Soft cover. Etat : Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].
- Couverture souple
Vendeur : Rothwell & Dunworth (ABA, ILAB), Dulverton, Royaume-UniRothwell & Dunworth (ABA, ILAB)
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 12,22
EUR 16,01 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Couverture souple
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 30,78
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…
Logic and Computer Science : Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.i.m.e.) Held at Montecatini Terme, Italy, June 20-28, 1988
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 34,05
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 3, November 1986
BUCHHOLZ W., CARTMELL J., DEKKER J. C. E., GUREVICH Y., SHELAH S., MURLY P. S., SCEDROV A.
Edité par Amsterdam - 1986, 1986
- Couverture souple
Vendeur : Sylvain Paré, Montolieu, FranceSylvain Paré
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 10,00
EUR 15,20 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible
Ajouter au panierEd. North-Holland, Amsterdam - 1986, in-8, broché, 105 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 1, September 1986
BLASS A., GUREVICH Y., DOWNEY R. G., FLAGG R. C., FRIEDMAN H., PILLAY A., POINT F., SCEDROV A.
Edité par Amsterdam - 1986, 1986
- Couverture souple
Vendeur : Sylvain Paré, Montolieu, FranceSylvain Paré
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 10,00
EUR 15,20 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible
Ajouter au panierEd. North-Holland, Amsterdam - 1986, in-8, broché, 109 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
Edité par Amsterdam - 1986, 1986
- Couverture souple
Vendeur : Sylvain Paré, Montolieu, FranceSylvain Paré
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 10,00
EUR 15,20 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible
Ajouter au panierEd. North-Holland, Amsterdam - 1986, in-8, broché, 104 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 27, Number 1, August 1984
FRIEDMAN H., SCEDROV A., PEARCE J., VANDER HOEVEN G., MOERDIJK I.
Edité par Amsterdam - 1984, 1984
- Couverture souple
Vendeur : Sylvain Paré, Montolieu, FranceSylvain Paré
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 10,00
EUR 15,20 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible
Ajouter au panierEd. North-Holland, Amsterdam - 1984, in-8, broché, 107 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 25, Number 2, November 1983
BALDWIN S., FRIEDMAN H. M., SCEDROV A., SIMPSON S. G., SMITH R. L., SHELAH S.
Edité par Amsterdam - 1983, 1983
- Couverture souple
Vendeur : Sylvain Paré, Montolieu, FranceSylvain Paré
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 10,00
EUR 15,20 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible
Ajouter au panierEd. North-Holland, Amsterdam - 1983, in-8, broché, 110 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
- Couverture souple
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 40,09
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…
- Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 40,13
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Lecture Notes in Computer Science, 2609)
Okada, Mitsuhiro, Pierce, Benjamin, Scedrov, Andre, Tokuda, Hideyuki, Yonezawa, Akinori
- Couverture souple
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-UnisZubal-Books, Since 1961
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 42,27
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : Very Good. *FREE DOMESTIC SHIPPING until Mnoday, Oct. 19* 488 pp., Paperback, very good. - 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.…
Logic and Computer Science : Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.i.m.e.) Held at Montecatini Terme, Italy, June 20-28, 1988
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 42,18
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988 (Lecture Notes in Mathematics, 1429)
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 38,02
EUR 11,11 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
Logic and Computer Science
Andre Scedrov, Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Langue : anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
- Couverture souple
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 50,47
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. 1990 ed. The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.…
Logic and Computer Science : Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.i.m.e.) Held at Montecatini Terme, Italy, June 20-28, 1988
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 34,51
EUR 17,79 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Logic and Computer Science. Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme Italy June 20-28 1988.
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Couverture souple
Vendeur : Antiquariat Bookfarm, Löbnitz, AllemagneAntiquariat Bookfarm
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 12,00
EUR 40,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Softcover. Etat : Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01582 3540527346 Sprache: Englisch Gewicht in Gramm: 550.
Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 52,28
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Logic and Computer Science : Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.i.m.e.) Held at Montecatini Terme, Italy, June 20-28, 1988
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 37,23
EUR 17,79 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,86
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,29
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 5 disponibles
Paperback or Softback. Etat : New. Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers. Book.
Autres images- Couverture souple
- Édition originale
Vendeur : avelibro OHG, Dinkelscherben, Allemagneavelibro OHG
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : BOEV
Etat: Occasion - Assez bon
EUR 49,00
EUR 10,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
22,5 x 15 cm. Etat : Gut. 1. Auflage. XVII, 296 Seiten Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Ecken und Kanten leicht berieben, Lagerspuren. - North-Holland Mathematical Library, volume 39. B09-01-09Y Sprache: Englisch Gewicht in Gramm: 500. …
Autres imagesLangue : anglais
Edité par American Mathematical Society, Providence, Rhode Island, 1984
- Couverture souple
Vendeur : Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Etats-UnisMunster & Company LLC, ABAA/ILAB
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 59,57
EUR 1,74 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Very Good. Providence, Rhode Island: American Mathematical Society, 1984. x, 93 pp. 25.5 x 18 cm. Stiff white paper wrappers with red lettering to cover and spine. Light sunning to spine, with some light creasing, light rubbing, and light soil to covers. Some curling to bottom corner of covers and text block. Interior is clean and unmarked. Binding sound with no creases or cracks. . Soft Cover. Very Good.…
- Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 59,86
EUR 3,34 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,93
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : Pella Books, Pella, IA, Etats-UnisPella Books
Contacter le vendeurVendeur avec une évaluation de 2 étoilesEtat: Occasion - Satisfaisant
EUR 54,99
EUR 9,34 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Trade Paperback. Etat : Used Good. No writing or marks.
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 62,80
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 65,99
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Autres imagesLangue : anglais
Edité par American Mathematical Society, Providence, Rhode Island, 1989
- Couverture souple
Vendeur : Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Etats-UnisMunster & Company LLC, ABAA/ILAB
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 68,74
EUR 1,74 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Very Good. Providence, Rhode Island: American Mathematical Society, 1989. x, 134 pp. 25.5 x 18 cm. Glossy stiff paper wrappers printed with dark blue, with white and dark blue lettering to covers and spine. Memoirs of the Mathematical Society, Volume 79, Number 404, May 1989. Light sunning to spine, with some rubbing to spine ends. Some light soil and slight age toning to covers, with light curling to corners. Some light creases to upper corner of text block. Interior is clean and unmarked. Binding sound with no creases or cracks. . Soft Cover. Very Good.…
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 35,20
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types. …
