Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Conditional and Typed Rewriting Systems

Name: Conditional and Typed Rewriting Systems
Brand: Springer, Berlin
SKU: 05274511
Price: 1540 CZK
Availability: InStock

Nachum Dershowitz

Naomi Lindenstrauss

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274511

Nakladatelství Springer, Berlin, listopadu 1994

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth Intern... Celý popis

Libristo kód: 05274511

154 b

1 540 Kč včetně DPH

Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Die letzte Chance Jean Paul Sartre

/ Brožovaná

280 Kč

Die Haftung aus Verwaltungsrechtsverhältnis. Thomas Meysen

/ Brožovaná

2 495 Kč

Power of Receiving Amanda Owen

/ Brožovaná

545 Kč

Staying Alive Phil Hammond

/ Brožovaná

563 Kč

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994.The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting.

Informace o knize

Plný název Conditional and Typed Rewriting Systems

Autor Nachum Dershowitz, Naomi Lindenstrauss

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1995

Počet stran 384

EAN 9783540603818

ISBN 3540603816

Libristo kód 05274511

Nakladatelství Springer, Berlin

Váha 520

Rozměry 156 x 234 x 20

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

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

Doručení

Nákupní rádce