Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic-Based Program Synthesis and Transformation

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

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

Annalisa Bossi

Sprache

Englisch

Buch Broschur

Libristo-Code: 05275117

Verlag Springer, Berlin, November 1999

This volume contains the proceedings of the ninth international workshop on logic-based program synt... Vollständige Beschreibung

Libristo-Code: 05275117

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

13.19 €

Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton

Hardcover

30.00 €

Un jour, ça finira mal Valentin Gendrot

Broschur

27.99 €

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

Broschur

27.95 €

Sakamoto Days - Tome 18 Yuto Suzuki

Broschur

11.29 €

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

Broschur

45.79 €

DISNEY PRINCESSES - Coloriages magiques - Mystères

Broschur

10.99 €

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

Broschur

25.89 €

Die Macht der sieben Familien Ingrid Exo

Broschur

13.00 €

Romanz De L'estoire Dou Graal de Boron Robert

Hardcover

18.79 €

1000 caras de la religión oriental CASAS CASTELLS

Broschur

18.69 €

Eu Odeio Amar Voce Elaine Lima

Broschur

12.59 €

Ansiedad Alberto Montt

Broschur

12.99 €

DyrdyMarki Marek Niedźwiecki

Broschur

12.99 €

Socotra JORDI ESTEVA

Broschur

67.39 €

Gedichte Günter Nicke

Hardcover

36.90 €

Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe

Broschur

33.49 €

Haukun Herkut Malin Ekblom

Broschur

21.19 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic-Based Program Synthesis and Transformation

Autor Annalisa Bossi

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2000

Anzahl der Seiten 312

EAN 9783540676287

ISBN 3540676287

Libristo-Code 05275117

Verlag Springer, Berlin

Gewicht 467

Abmessungen 155 x 235 x 17

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert