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č PPL 99 Kč Zásilkovna 54 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 Kung-Kiu Lau
Libristo kód: 01563497
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, května 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Ergotherapie Wolfgang Presber / Pevná
common.buy 1 067 Kč
Recollections of a Long Life John Cam HobhouseCharlotte Hobhouse Carleton / Brožovaná
common.buy 1 583 Kč
bikeline MountainBikeGuide Allgäu / Kroužková
common.buy 479 Kč
Forests in a Market Economy Erin O. Sills / Pevná
common.buy 6 578 Kč
Language in Use - The pragmatically term politeness in reference to the serial Friends Jessica Narloch / Brožovaná
common.buy 1 084 Kč
Terrateer in Training Alexandra Quast / Brožovaná
common.buy 301 Kč
International Topical Conference on Plasma Science Padma K. Shukla / Pevná
common.buy 3 650 Kč
Increasing Climate Variability and Change James Salinger / Pevná
common.buy 5 094 Kč

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Informace o knize

Plný název Logic Based Program Synthesis and Transformation
Autor Kung-Kiu Lau
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 188
EAN 9783540421276
ISBN 3540421270
Libristo kód 01563497
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 306
Rozměry 155 x 235 x 11

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 > 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