Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Rewriting and Typed Lambda Calculi Gilles Dowek
Codul Libristo: 02775233
Editura Springer International Publishing AG, iulie 2014
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Descrierea completă
? points 132 b
285.10 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Αγάπα Μόνο Εμένα Amanda Mariel / E-book Adobe ePub DRM
common.buy 20.78 lei
Microsoft 365 Markus Widl / Carte Copertă tare
common.buy 364.50 lei
Nasze kochane pieski Opracowanie zbiorowe / Carte Carte broșată
common.buy 3.21 lei
Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Carte Carte broșată
common.buy 32.94 lei
Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm / Carte Carte broșată
common.buy 94.78 lei
AYANTEK MIRIAM JIMENEZ IRIARTE / Carte Copertă tare
common.buy 124.20 lei
Novellen Helene Böhlau / Carte Carte broșată
common.buy 74.93 lei
Alternative Investments Michael Sezemsky / Carte Carte broșată
common.buy 237.70 lei
Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn / Carte Carte broșată
common.buy 188.33 lei
Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra / Carte Carte broșată
common.buy 81.79 lei
Kompensatorenlyrik Thomas Michels / Carte Copertă tare
common.buy 72.75 lei
Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore / Carte Carte broșată
common.buy 197.79 lei
Kod Adi Mucize Ünver Alibey / Carte Carte broșată
common.buy 56.22 lei
Hagibor Milena Slavická / Carte Carte broșată
common.buy 42.81 lei

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Rewriting and Typed Lambda Calculi
Autor Gilles Dowek
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 491
EAN 9783319089171
ISBN 331908917X
Codul Libristo 02775233
Editura Springer International Publishing AG
Greutatea 7723
Dimensiuni 155 x 235 x 26

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Programming techniques
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Errors-in-Variables Methods in System Identification Torsten Söderström / Carte Copertă tare
common.buy 965.38 lei
Kurdistan LUNGTHUIYANG RIAMEI / Carte Copertă tare
common.buy 354.11 lei
Sea Edward Bond / Carte Carte broșată
common.buy 96.34 lei
Secrets of a Soap Opera Diva Victoria Rowell / Carte Carte broșată
common.buy 75.55 lei
Dyslexia Included Michael Thomson / Carte Carte broșată
common.buy 320.54 lei
Few Words on No. 90 of the Tracts for the Times; In a Letter to One of His Parishioners. John Henry Newman / Carte Carte broșată
common.buy 78.77 lei
Awakening the Actor Within Foster / Carte Copertă tare
common.buy 156.94 lei
Murder Under the Bridge Kate Jessica Raphael / Carte Carte broșată
common.buy 75.55 lei
How to Make a Motor or Dynamo A. E. Watson / Carte Carte broșată
common.buy 108.81 lei
Guile Constance Cooper / Carte Carte broșată
common.buy 77.53 lei
Salt Skin Michelle Rhodes / Carte Carte broșată
common.buy 81.58 lei
Ecogenetics P. Grandjean / Carte Carte broșată
common.buy 852.19 lei
The Brothers Karamazov Fyodor Mikhailovich Dostoyevsky / Carte Carte broșată
common.buy 147.79 lei
Dance and Dancers in the Victorian and Edwardian Music Hall Ballet CARTER / Carte Copertă tare
common.buy 1 188.33 lei
Market Harborough and Inside the Bar George John Whyte-Melville / Carte Carte broșată
common.buy 148.52 lei
Design Technology in Contemporary Architectural Practice Holzer / Carte Carte broșată
common.buy 270.54 lei
Fundamentals of Sleep Medicine Richard B. Berry / Carte Copertă tare
common.buy 658.65 lei
ADHD 2.0 Edward M. Hallowell / E-book Adobe ePub DRM
common.buy 54.56 lei
Top
Field Guide to the Wild Flowers of the Canary Islands Chris Thorogood / Carte Carte broșată
common.buy 235.31 lei
Practical Handbook of Transportation Contracting and Rate Negotiations Colin Barrett / Carte Carte broșată
common.buy 285.10 lei
Living With Loss Robin Haywood / Carte Copertă tare
common.buy 53.41 lei
Light of the Night Sky F. E. Roach / Carte Carte broșată
common.buy 285.10 lei
Hannibal: Clouds of War Ben Kane / Carte Carte broșată
common.buy 60.38 lei
Quest of the Historical Jesus Albert Schweitzer / Carte Carte broșată
common.buy 103.93 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?