Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Typed Lambda Calculi and Applications

8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Typed Lambda Calculi and Applications Simona Ronchi Della Rocca
Libristo kód: 01568759
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2007
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda C... Celý popis
? points 135 b
1 352 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Signification clinique des signaux PPG - Une perspective technique Harikumar Rajaguru / Kniha Brožovaná
common.buy 813 Kč
AREAS NATURALES PROTEGIDAS DE MEXICO CON DECRETOS / Kniha Kniha
common.buy 653 Kč
Stand on the arrested Ibn Hajar Al -Asqalani / E-kniha Adobe ePub DRM
common.buy 478 Kč
Weihnachts-Rätsel / Kniha List
common.buy 113 Kč
Journal des amateurs d'objets d'art et de curiosité Jean-Louis Le Hir / Kniha Brožovaná
common.buy 804 Kč
Beware of Maadhu Crazy Mohan / Kniha Brožovaná
common.buy 403 Kč
Expedice příroda: 50 koní a poníků collegium / Tiskovina Karty
common.buy 194 Kč
Nové
Echoes of Ashes and Rain - Die Perfekten Caroline Brinkmann / Kniha Brožovaná
common.buy 328 Kč
Připravujeme Nové
Kooperation von Schule und Familie Bettina König / Kniha Brožovaná
common.buy 586 Kč
Économétrie appliquée Moulay El Mehdi Falloul / Kniha Brožovaná
common.buy 1 237 Kč
Pack Matematiques Balears P4 (3er Trimestre) FRAILE MARTIN / Kniha Brožovaná
common.buy 262 Kč
Camilo de Lelis, un sanitario con corazón de madre Cosmacini / Kniha Brožovaná
common.buy 517 Kč
Mirarte y regresar Molinari / Kniha Brožovaná
common.buy 399 Kč
Estética y paideía (Hermenéuticas contra la Violencia I) Oñate y Zubía / Kniha Brožovaná
common.buy 725 Kč
PRINCESSE STELLA - DIAMANT, LE CHEVAL DES GLACES Sarah Kilbride / Kniha Pevná
common.buy 275 Kč
Did I Mention I Love You ? - tome 1 Estelle Maskame / Kniha Brožovaná
common.buy 542 Kč
Il corsaro nero Salgari Emilio Leggeregiovane / Kniha Brožovaná
common.buy 361 Kč
Nacer con una pregunta en el corazón (Authentic Living Series) Osho Rajneesh / Kniha Brožovaná
common.buy 314 Kč
Osteoporosi senza medicine Paolo Giordo / Kniha Brožovaná
common.buy 401 Kč
La representación política José Pedro Galvao de Sousa / Kniha Brožovaná
common.buy 658 Kč
Annalen Des St. Bertin Und St. Vaast J. von Jasmund / Kniha Brožovaná
common.buy 813 Kč

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.§The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 52 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Typed Lambda Calculi and Applications
Autor Simona Ronchi Della Rocca
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2007
Počet stran 400
EAN 9783540732273
ISBN 3540732276
Libristo kód 01568759
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 635
Rozměry 155 x 235 x 23

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Basics of Acupuncture Gabriel Stux / Kniha Brožovaná
common.buy 1 155 Kč
50 Hikes in Northern New Mexico Kai Huschke / Kniha Brožovaná
common.buy 439 Kč
The Story of Opal Ellery Sedgwick / Kniha Brožovaná
common.buy 445 Kč
Bedtime Bear Ian Whybrow / Kniha Leporelo
common.buy 183 Kč
6 Full-Length MCAS Grade 6 Math Practice Tests Reza Nazari / Kniha Brožovaná
common.buy 359 Kč
We Women and Our Authors Laura Mohr Hansson / Kniha Pevná
common.buy 750 Kč
Catch Him If You Can Jennifer Shirk / Kniha Brožovaná
common.buy 340 Kč
South Africa / Lesotho and Swaziland / Tiskovina Mapa
common.buy 484 Kč
Recruiting Officer GEORGE FARQUHAR / Kniha Pevná
common.buy 707 Kč
Victory in God's Promises and Prophecy: The Ultimate Guide to Wisdom in End Times Patricia Thomsen / Kniha Brožovaná
common.buy 279 Kč
Digital Dementia Max V Weiss / Kniha Brožovaná
common.buy 208 Kč
Year of Mr Maybes Judy Leigh / Kniha Brožovaná
common.buy 649 Kč
Content Analyses in the WWW Era Zhang / Kniha Brožovaná
common.buy 1 185 Kč
Robinson Crusoe in Suburbia Howard S Rowland / Kniha Pevná
common.buy 756 Kč
The Autobiography Of A Stage Coachman V1 (1861) Thomas Cross / Kniha Pevná
common.buy 1 095 Kč
B Trae'd Trae R King / Kniha Brožovaná
common.buy 341 Kč
Making of the Sound of Music Max Wilk / Kniha Brožovaná
common.buy 1 379 Kč
Baha'is of Iran Dominic Parviz Brookshaw / Kniha Brožovaná
common.buy 1 907 Kč
Surveillance Means Security Micah Ian Wright / Kniha Brožovaná
common.buy 400 Kč
Doctors Leisure Hour Facts and Fancies of Interest to the Doctor and His Patient - Scholar's Choice Edition Davies Porter / Kniha Brožovaná
common.buy 746 Kč
Top
Shih Tzu Dogs - The Complete Owners Guide from Puppy to Old Age Alex Seymour / Kniha Brožovaná
common.buy 316 Kč
Trial Of Stage IV Prostate Cancer Janet M Jones / Kniha Brožovaná
common.buy 359 Kč
What Makes Law Liam Murphy / Kniha Pevná
common.buy 2 208 Kč
Ultraviolet and X-ray Spectroscopy of the Solar Atmosphere Kenneth J. H. PhillipsUri FeldmanEnrico Landi / Kniha Brožovaná
common.buy 2 529 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?