Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

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č

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 02092627
Price: 1182 CZK
Availability: InStock
Author: Harald Ganzinger
ISBN: 9783540614647

7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996. Proceedings

Harald Ganzinger

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02092627

Nakladatelství Springer, Berlin, listopad 1995

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Tech... Celý popis

Libristo kód: 02092627

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

SYNONYMES ET NUANCES Dominique Le Fur

Brožovaná

403 Kč

Burokommunikation Von Der Planung Bis Zur Erfolgskontrolle Egbert Reichel

Brožovaná

1 187 Kč

L'Ami de Cour, Comedie En Cinq Actes Et En Vers Ancien Militaire

Brožovaná

358 Kč

Gestión del área de trabajo en el gabinete bucodental

Brožovaná

576 Kč

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Rewriting Techniques and Applications

Autor Harald Ganzinger

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1996

Počet stran 440

EAN 9783540614647

ISBN 3540614648

Libristo kód 02092627

Nakladatelství Springer, Berlin

Váha 602

Rozměry 156 x 234 x 23

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

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

Výpočetní a informační technologie > Informatika > Umělá inteligence

Výpočetní a informační technologie > Operační systémy