Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658184
Price: 57.14 EUR
Availability: InStock
Author: Luke Ong
ISBN: 9783642216909

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01658184

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2011

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda... Celoten opis

Koda Libristo: 01658184

139 b

57.14 €

Na zalogi pri dobavitelju Odposlali bomo v 9-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Tao Te Ching : urdimbre verdadera del camino y su virtud LAO TSE

Mehka

19.17 €

Disney Ceramic Christmas Tree with Lights Winnie the Pooh 15 cm Pisarniški material

Pisarniški material

16.86 €

Scambio di Coppia Lara Steele

Mehka

17.87 €

Pył. Wiersze zebrane. Tom 3 Anna Frajlich

Mehka

9.53 €

Uso de la gramática espaňola Junior (intermedio) Ramón Palencia

Mehka

23.89 €

Vida administrativa de las asociaciones culturales en Benín Carolle-Nelly Codo

Mehka

50.73 €

Metody uprawy ziemniaków Julia Buchner

Mehka

45.79 €

Le journal de Manon volume 2 Brian Miroglio

Mehka

17.57 €

LA PROTECCION INTERNACIONAL DE LOS MIGRANTES EN LA UE VALENTINA FAGGIANI

Knjiga

51.41 €

Sobre hormigas y dinosaurios Cixin Liu

Mehka

20.08 €

Jojo's Bizzarre Adventure Parte 7: Steel Ball Run 03 Hirohiko Araki

Mehka

11.34 €

Que se mueran los feos BORIS VIAN

Mehka

9.93 €

LO SLAP AL BASSO IN 3D +CD+DVD FERRANTE Knjiga

binding.

38.45 €

Yoga anatomie - Les muscles Raymond A. Long

Mehka

37.55 €

Mine ?sttyske livretter

Mehka

13.65 €

Mario Barth - Stadion Tour 2011, 2 DVDs Mario Barth

DVD

28.02 €

Rescate : historias de supervivencia en la tierra y el mar Eva Martos Jiménez

Mehka

17.26 €

Jujutsu Kaisen - Band 8 Costa Caspary

Mehka

6.52 €

Hypochondrie H. Feldmann

Mehka

67.88 €

Geschichte Und Beschreibung Der Rassen Des Hundes: Unter Mitwirkung Der Namhaftesten Zuchter Und Preisrichter Und in Ueverinstimmung Mit Den Officiell Ludwig Beckmann

Mehka

27.01 €

Young ELI Readers - German Jane Cadwallader

Mehka

6.22 €

Kleiner Träumer im Wind Marina Scheske

Mehka

14.75 €

Testamento Alis Hawkins

Mehka

13.96 €

Geschichte, Literatur Und Sprache, 1898 Josef Hirn

Mehka

35.24 €

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.§The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.