phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Term Rewriting and Applications

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Term Rewriting and Applications Frank Pfenning
Libristo kód: 01562413
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Celý popis
? points 154 b
61.35 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Peter Tschaikowsky Constantin Floros / Brožovaná
common.buy 10.97 €
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Brožovaná
common.buy 35.15 €
Renaissance Florence Roger J. CrumJohn T. Paoletti / Pevná
common.buy 198.78 €
Ich rechne mit! - Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen, Sachsen-Anhalt, Thüringen - 1. Schuljahr Klaus-Peter Käding / Brožovaná
common.buy 11.48 €
Hundert Jahre im Altkreis Geldern Paul van Treeck / Brožovaná
common.buy 14.70 €
Aiming at Virtue in Plato Iakovos Vasiliou / Brožovaná
common.buy 52.18 €
Exotic Attractors Jorge Buescu / Brožovaná
common.buy 61.35 €
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / List
common.buy 20.85 €
Die Lücke im Gesetz Ingo Lenßen / Brožovaná
common.buy 15.00 €
Franz Sternbalds Wanderungen Ludwig Tieck / Brožovaná
common.buy 11.58 €
Jagdmethoden und Fanggeheimnisse Emil Regener / Brožovaná
common.buy 74.85 €
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Brožovaná
common.buy 42.71 €
Ausgabe H, Schwarz / Pevná
common.buy 22.46 €
Tot und begraben Carola Clasen / Brožovaná
common.buy 9.86 €

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

Informácie o knihe

Celý názov Term Rewriting and Applications
Autor Frank Pfenning
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2006
Počet strán 418
EAN 9783540368342
ISBN 3540368345
Libristo kód 01562413
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1340
Rozmery 155 x 235 x 24

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet