Typed lambda calculi applications (146 resultados)
- Tapa blanda
Librería: G. & J. CHESTERS, TAMWORTH, Reino UnidoG. & J. CHESTERS
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 7,52
Envío por EUR 8,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Soft cover. Condición: Very Good. pp.viii, 432 pages, a VG+ paperback [3540565175]. Ex-university library, and hard to find outside of America.
- Tapa blanda
Librería: G. & J. CHESTERS, TAMWORTH, Reino UnidoG. & J. CHESTERS
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 11,22
Envío por EUR 8,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Soft cover. Condición: Very Good. pp.viii, 442 pages, a very good paperback [354059048X]. From a university library.
- Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 20,31
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.
Más imágenes- Tapa blanda
- Primera edición
Librería: avelibro OHG, Dinkelscherben, Alemaniaavelibro OHG
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: BOEV
Condición: Usado - Bueno
EUR 18,00
Envío por EUR 10,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
23,5 x 15,5 cm. Condición: Gut. 1. Auflage. VIII, 396 Seiten 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings. - Innen sehr sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Einband mit sehr leichten Lagerspuren. DE-110-06 Sprache: Englisch Gewicht in Gramm: 620.…
- Tapa blanda
Librería: George Cross Books, Lexington, MA, Estados Unidos de AmericaGeorge Cross Books
Contactar con el vendedorVendedor de 4 estrellasMiembro de asociación: IOBA
Condición: Usado
EUR 25,70
Envío por EUR 3,56Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
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.…
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, . (Lecture Notes in Computer Science)
Dezani-Ciancaglini, Mariangiola [Editor]; Plotkin, Gordon [Editor];
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 31,56
Envío por EUR 6,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
- Tapa blanda
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America-OnTimeBooks-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 38,45
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…
- Tapa blanda
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America-OnTimeBooks-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 38,45
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.…
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 35,28
Envío por EUR 6,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581).
International Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy)
- Tapa blanda
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, AlemaniaUniversitätsbuchhandlung Herta Hold GmbH
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 19,00
Envío por EUR 30,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
1999th ed. 15 x 23 cm. 412 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,08
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 46,71
Envío por EUR 6,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,28
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.
- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 55,85
Envío por EUR 3,56Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Used. pp. 460.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,54
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,97
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011, Proceedings. Book.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,80
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,80
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,23
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Book.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,23
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne. Book.
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 52,61
Envío por EUR 7,79Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.
Typed Lambda Calculi and Applications : 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999 : Proceedings
International Conference on Typed Lambda Calculi and Applications (4th : 1999 : L'Aquila, Italy); Girard, Jean-Yves (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,02
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Typed Lambda Calculi and Applications : 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999 : Proceedings
International Conference on Typed Lambda Calculi and Applications (4th : 1999 : L'Aquila, Italy); Girard, Jean-Yves (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,73
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,41
Envío por EUR 2,67Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 53,60
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Used. pp. 460.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,13
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,98
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,98
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,98
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997 : Proceedings
International Conference on Typed Lambda Calculi and Applications (3rd : 1997 : Nancy, France); De Groote, Philippe; Hindley, J. Roger
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,98
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
