Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05275117
Price: 20034 HUF
Availability: InStock
Author: Annalisa Bossi
ISBN: 9783540676287

9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers

Annalisa Bossi

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 05275117

Kiadó Springer, Berlin, november 1999

This volume contains the proceedings of the ninth international workshop on logic-based program synt... Teljes leírás

Libristo kód: 05275117

136 b

20 034 Ft

Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

DISNEY PRINCESSES - Coloriages magiques - Mystères

Puha kötésű

3 894 Ft

Die Macht der sieben Familien Ingrid Exo

Puha kötésű

4 601 Ft

Vom Bewerber zum integrierten Leistungsnachwuchs - Mitarbeiter als Individuen innerhalb des sozialen Systems Krankenhaus Marie-Luise Schwarz

Puha kötésű

9 780 Ft

Świt przeklętej królowej. Bogowie i Potwory. Tom 3 Amber V. Nicole

Puha kötésű

4 457 Ft

Sakamoto Days - Tome 18 Yuto Suzuki

Puha kötésű

3 908 Ft

Un jour, ça finira mal Valentin Gendrot

Puha kötésű

9 691 Ft

Freunde sind das größte Glück Jörn Heller

Puha kötésű

1 652 Ft

Eu Odeio Amar Voce Elaine Lima

Puha kötésű

4 690 Ft

Ansiedad Alberto Montt

Puha kötésű

4 369 Ft

Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe

Puha kötésű

11 524 Ft

Haukun Herkut Malin Ekblom

Puha kötésű

7 923 Ft

Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton

Kemény kötésű

10 505 Ft

Socotra JORDI ESTEVA

Puha kötésű

25 110 Ft

1000 caras de la religión oriental CASAS CASTELLS

Puha kötésű

6 449 Ft

Der Engel über dem Lauenstein Peter Selg

Puha kötésű

4 457 Ft

Le Tourisme Culturel En France Le Tourisme Baln aire En Tunisie Faten Ben Bouheni

Puha kötésű

17 084 Ft

Septem verba a Christo in cruce moriente prolata (Klavierauszug) Giovanni Battista Pergolesi

Puha kötésű

8 868 Ft

Romanz De L'estoire Dou Graal de Boron Robert

Kemény kötésű

7 007 Ft

Gedichte Günter Nicke

Kemény kötésű

12 878 Ft

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR 99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR 99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR s topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Logic-Based Program Synthesis and Transformation

Szerző Annalisa Bossi

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2000

Oldalszám 312

EAN 9783540676287

ISBN 3540676287

Libristo kód 05275117

Kiadó Springer, Berlin

Súly 467

Méretek 155 x 235 x 17

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia

Számítástechnika és információtechnológia > Operációs rendszerek

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére