Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic-Based Program Synthesis and Transformation

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

Limba englezăengleză
Carte Carte broșată
Carte Logic-Based Program Synthesis and Transformation Annalisa Bossi
Codul Libristo: 05275117
Editura Springer, Berlin, noiembrie 1999
This volume contains the proceedings of the ninth international workshop on logic-based program synt... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Świt przeklętej królowej. Bogowie i Potwory. Tom 3 Amber V. Nicole / Carte Carte broșată
common.buy 65.74 lei
Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton / Carte Copertă tare
common.buy 149.05 lei
Un jour, ça finira mal Valentin Gendrot / Carte Carte broșată
common.buy 142.09 lei
Vom Bewerber zum integrierten Leistungsnachwuchs - Mitarbeiter als Individuen innerhalb des sozialen Systems Krankenhaus Marie-Luise Schwarz / Carte Carte broșată
common.buy 138.87 lei
Sakamoto Days - Tome 18 Yuto Suzuki / Carte Carte broșată
common.buy 57.33 lei
Le Tourisme Culturel En France Le Tourisme Baln aire En Tunisie Faten Ben Bouheni / Carte Carte broșată
common.buy 242.43 lei
Top
DISNEY PRINCESSES - Coloriages magiques - Mystères / Carte Carte broșată
common.buy 55.77 lei
Septem verba a Christo in cruce moriente prolata (Klavierauszug) Giovanni Battista Pergolesi / Carte Carte broșată
common.buy 130.04 lei
Die Macht der sieben Familien Ingrid Exo / Carte Carte broșată
common.buy 65.33 lei
Romanz De L'estoire Dou Graal de Boron Robert / Carte Copertă tare
common.buy 99.50 lei
1000 caras de la religión oriental CASAS CASTELLS / Carte Carte broșată
common.buy 94.51 lei
Eu Odeio Amar Voce Elaine Lima / Carte Carte broșată
common.buy 66.78 lei
Ansiedad Alberto Montt / Carte Carte broșată
common.buy 68.96 lei
DyrdyMarki Marek Niedźwiecki / Carte Carte broșată
common.buy 64.70 lei
Socotra JORDI ESTEVA / Carte Carte broșată
common.buy 356.89 lei
Gedichte Günter Nicke / Carte Copertă tare
common.buy 182.80 lei
Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe / Carte Carte broșată
common.buy 168.89 lei
Haukun Herkut Malin Ekblom / Carte Carte broșată
common.buy 112.48 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic-Based Program Synthesis and Transformation
Autor Annalisa Bossi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2000
Număr pagini 312
EAN 9783540676287
ISBN 3540676287
Codul Libristo 05275117
Editura Springer, Berlin
Greutatea 467
Dimensiuni 155 x 235 x 17

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Horizons in World Cardiovascular Research. Volume 6 Eleanor H Bennington / Carte Copertă tare
common.buy 1 689.78 lei
PreACT Math Prep Book: PreACT Math Study Guide with Math Review and Practice Test Questions Exam Sam / Carte Carte broșată
common.buy 79.56 lei
An Outline Of The Argument Against The Validity Of Lay Baptism (1842) John David Ogilby / Carte Carte broșată
common.buy 147.70 lei
Market Calls Edward Francis Doherty / Carte Carte broșată
common.buy 70.73 lei
Korean Resources for Pastoral Theology James Newton Poling / Carte Copertă tare
common.buy 220.61 lei
Rocketeers: How a Visionary Band of Business Leaders, Engineers, and Pilots Is Boldly Privatizing Space Michael P. Belfiore / Carte Carte broșată
common.buy 86.10 lei
Boston Capitalists and Western Railroads Arthur M. Johnson / Carte Copertă tare
common.buy 263.93 lei
Goodbye Again Joseph Hone / Carte Copertă tare
common.buy 159.85 lei
Sunday-School Organization and Methods Charles Roads / Carte Copertă tare
common.buy 168.47 lei
Moon Books Gods & Goddesses Colouring Book Rachel Patterson / Carte Carte broșată
common.buy 72.70 lei
A Little Lower Than the Angels (Classic Reprint) Clarence Lathbury / Carte Carte broșată
common.buy 88.07 lei
Greek Grammar and Syntax Notes Philip R Williams / Carte Carte broșată
common.buy 106.46 lei
Handbook on Natural Pigments in Food and Beverages Reinhold Carle / Carte Carte broșată
common.buy 1 296.10 lei
Language Hub Pre-Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Carte Carte broșată
common.buy 83.71 lei
Top
Wild Remedies Emily Han / Carte Carte broșată
common.buy 149.05 lei
History And Genealogy Of The Hinds Family Albert Henry Hinds / Carte Carte broșată
common.buy 154.03 lei
Raising a Girl with ADHD: A Practical Guide to Help Girls Harness Their Unique Strengths and Abilities Allison K. Tyler / Carte Carte broșată
common.buy 67.30 lei
Curând
Vojtech Kovarik Vojtech Kovarik / Carte Copertă tare
common.buy 180.83 lei
International organizations in the modern world. ANDRIUSHYNA EVHENYIA ANDRIUSHYNA / Carte Carte broșată
common.buy 389.82 lei
Essays on Modern Novelists William Lyon Phelps / Carte Carte broșată
common.buy 101.68 lei
Avatar the Last Airbender: Appa Plush Journal / Carte Copertă tare
common.buy 105.73 lei
The Slip SCHAEFER LUCAS / Carte Copertă tare
common.buy 118.51 lei
Seed of Aldebaran James Crawford / E-book Adobe ePub DRM
common.buy 34.79 lei
Organizational Performance & Competitiveness Connie Atristain Suarez / Carte Copertă tare
common.buy 1 350.84 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?