Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Logic-Based Program Synthesis and Transformation

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Annalisa Bossi
Libristo kód: 05275117
Nakladatelství Springer, Berlin, listopad 1999
This volume contains the proceedings of the ninth international workshop on logic-based program synt... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Świt przeklętej królowej. Bogowie i Potwory. Tom 3 Amber V. Nicole / Kniha Brožovaná
common.buy 304 Kč
Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton / Kniha Pevná
common.buy 613 Kč
Un jour, ça finira mal Valentin Gendrot / Kniha Brožovaná
common.buy 657 Kč
Vom Bewerber zum integrierten Leistungsnachwuchs - Mitarbeiter als Individuen innerhalb des sozialen Systems Krankenhaus Marie-Luise Schwarz / Kniha Brožovaná
common.buy 571 Kč
Sakamoto Days - Tome 18 Yuto Suzuki / Kniha Brožovaná
common.buy 265 Kč
Le Tourisme Culturel En France Le Tourisme Baln aire En Tunisie Faten Ben Bouheni / Kniha Brožovaná
common.buy 997 Kč
Top
DISNEY PRINCESSES - Coloriages magiques - Mystères / Kniha Brožovaná
common.buy 224 Kč
Septem verba a Christo in cruce moriente prolata (Klavierauszug) Giovanni Battista Pergolesi / Kniha Brožovaná
common.buy 601 Kč
Die Macht der sieben Familien Ingrid Exo / Kniha Brožovaná
common.buy 269 Kč
Romanz De L'estoire Dou Graal de Boron Robert / Kniha Pevná
common.buy 409 Kč
1000 caras de la religión oriental CASAS CASTELLS / Kniha Brožovaná
common.buy 437 Kč
Eu Odeio Amar Voce Elaine Lima / Kniha Brožovaná
common.buy 279 Kč
Ansiedad Alberto Montt / Kniha Brožovaná
common.buy 286 Kč
DyrdyMarki Marek Niedźwiecki / Kniha Brožovaná
common.buy 299 Kč
Socotra JORDI ESTEVA / Kniha Brožovaná
common.buy 1 477 Kč
Gedichte Günter Nicke / Kniha Pevná
common.buy 752 Kč
Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe / Kniha Brožovaná
common.buy 781 Kč
Haukun Herkut Malin Ekblom / Kniha Brožovaná
common.buy 463 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic-Based Program Synthesis and Transformation
Autor Annalisa Bossi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2000
Počet stran 312
EAN 9783540676287
ISBN 3540676287
Libristo kód 05275117
Nakladatelství Springer, Berlin
Váha 467
Rozměry 155 x 235 x 17

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

Mohlo by vás také zajímat

Horizons in World Cardiovascular Research. Volume 6 Eleanor H Bennington / Kniha Pevná
common.buy 6 990 Kč
PreACT Math Prep Book: PreACT Math Study Guide with Math Review and Practice Test Questions Exam Sam / Kniha Brožovaná
common.buy 325 Kč
An Outline Of The Argument Against The Validity Of Lay Baptism (1842) John David Ogilby / Kniha Brožovaná
common.buy 619 Kč
Market Calls Edward Francis Doherty / Kniha Brožovaná
common.buy 298 Kč
Korean Resources for Pastoral Theology James Newton Poling / Kniha Pevná
common.buy 925 Kč
Rocketeers: How a Visionary Band of Business Leaders, Engineers, and Pilots Is Boldly Privatizing Space Michael P. Belfiore / Kniha Brožovaná
common.buy 355 Kč
Boston Capitalists and Western Railroads Arthur M. Johnson / Kniha Pevná
common.buy 1 098 Kč
Goodbye Again Joseph Hone / Kniha Pevná
common.buy 661 Kč
Sunday-School Organization and Methods Charles Roads / Kniha Pevná
common.buy 707 Kč
Moon Books Gods & Goddesses Colouring Book Rachel Patterson / Kniha Brožovaná
common.buy 299 Kč
A Little Lower Than the Angels (Classic Reprint) Clarence Lathbury / Kniha Brožovaná
common.buy 372 Kč
Greek Grammar and Syntax Notes Philip R Williams / Kniha Brožovaná
common.buy 445 Kč
Handbook on Natural Pigments in Food and Beverages Reinhold Carle / Kniha Brožovaná
common.buy 5 719 Kč
Language Hub Pre-Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Kniha Brožovaná
common.buy 347 Kč
Top
Wild Remedies Emily Han / Kniha Brožovaná
common.buy 609 Kč
History And Genealogy Of The Hinds Family Albert Henry Hinds / Kniha Brožovaná
common.buy 635 Kč
Raising a Girl with ADHD: A Practical Guide to Help Girls Harness Their Unique Strengths and Abilities Allison K. Tyler / Kniha Brožovaná
common.buy 256 Kč
Připravujeme
Vojtech Kovarik Vojtech Kovarik / Kniha Pevná
common.buy 763 Kč
International organizations in the modern world. ANDRIUSHYNA EVHENYIA ANDRIUSHYNA / Kniha Brožovaná
common.buy 1 603 Kč
Essays on Modern Novelists William Lyon Phelps / Kniha Brožovaná
common.buy 419 Kč
Avatar the Last Airbender: Appa Plush Journal / Kniha Pevná
common.buy 401 Kč
The Slip SCHAEFER LUCAS / Kniha Pevná
common.buy 445 Kč
Seed of Aldebaran James Crawford / E-kniha Adobe ePub DRM
common.buy 161 Kč
Organizational Performance & Competitiveness Connie Atristain Suarez / Kniha Pevná
common.buy 5 588 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?