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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655691
Price: 53.79 EUR
Availability: InStock
Author: Danny De Schreye
ISBN: 9783642125911

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Danny De Schreye

Sprache

Englisch

Buch Broschur

Libristo-Code: 01655691

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2010

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Vollständige Beschreibung

Libristo-Code: 01655691

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

Racconti di Natale Charles Dickens

Broschur

7.89 €

Geometrie Symplectique et Mecanique Claude Albert

Broschur

37.69 €

Lumière sur Alzheimer Dr Ky Tran

Broschur

15.99 €

Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински

Hardcover

34.49 €

Fantastische Häkelfreunde 2 Amigurumipatterns.net

Broschur

16.00 €

Kártyavetés, de hogyan Carla Ferguson

Broschur

13.49 €

Bis die Sterne zittern Johannes Herwig

Adobe ePub DRM

11.39 €

Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja

Blu-ray

21.99 €

Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah

Broschur

60.59 €

Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen

Broschur

14.49 €

Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens

Hardcover

209.59 €

Beethovens Kammermusik Albrecht Riethmüller

Hardcover

106.89 €

Der große Gatsby F. Scott Fitzgerald

Hardcover

14.39 €

Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier

Broschur

55.29 €

Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner

Blatt

26.39 €

Slavné melodie v lehké úpravě pro klavír 6 R. Linhart

Broschur

9.69 €

Aberglauben aus Masuren M Toeppen

Broschur

17.90 €

Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh

Broschur

74.00 €

Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head

Broschur

7.69 €

Übungen zum italienischen Wortschatz Wolfgang Reumuth

Broschur

10.60 €

Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert

Broschur

18.00 €

L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE

Hardcover

19.39 €

Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl

Broschur

19.99 €

gelosia da orango Irena Trevisan

Hardcover

17.89 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Danny De Schreye

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 205

EAN 9783642125911

ISBN 3642125913

Libristo-Code 01655691

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 338

Abmessungen 155 x 235 x 12

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

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