phone 571 999 090
LIBRISTO 0
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č
phone Kontakt phoneJak nakupovat

Logic-Based Program Synthesis and Transformation

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Pierre Flener
Libristo kód: 05274933
Nakladatelství Springer, Berlin, listopadu 1998
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Worksh... Celý popis
? points 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

Philadelphia, 1 Blu-ray Craig Mckay / Blu-ray
common.buy 319 Kč
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Brožovaná
common.buy 170 Kč
Mine d'Or Sébastien Belluso / Brožovaná
common.buy 361 Kč
Glimpse of Glory Yvonne Erwin / Pevná
common.buy 646 Kč
Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda Pierre Dolbeault / Brožovaná
common.buy 1 295 Kč
Baptist Encyclopaedia - Vol. 3 William Cathcart / Pevná
common.buy 1 402 Kč
Markets, Games, and Organizations Tatsuro Ichiishi / Brožovaná
common.buy 3 037 Kč
Meditations on the Human Condition in an Imperial Age Irina V Boca / Brožovaná
common.buy 526 Kč
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Brožovaná
common.buy 1 873 Kč
A Newbies Guide to Apple TV Minute Help Guides / Brožovaná
common.buy 228 Kč

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

Informace o knize

Plný název Logic-Based Program Synthesis and Transformation
Autor Pierre Flener
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1999
Počet stran 338
EAN 9783540657651
ISBN 3540657657
Libristo kód 05274933
Nakladatelství Springer, Berlin
Váha 450
Rozměry 156 x 234 x 18

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í > Objektově orientované programování (OOP)
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 > Systémová analýza a systémový design
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

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