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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.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: 51.09 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

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Bis die Sterne zittern Johannes Herwig

Adobe ePub DRM

11.39 €

Vyděšený kalous Zuzana Pospíšilová

Hardcover

6.29 €

Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen

Broschur

11.69 €

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

Hardcover

27.59 €

Lumière sur Alzheimer Dr Ky Tran

Broschur

15.49 €

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

Broschur

6.59 €

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

Blu-ray

18.29 €

Racconti di Natale Charles Dickens

Broschur

5.99 €

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

Broschur

57.19 €

Fantastische Häkelfreunde 2 Amigurumipatterns.net

Broschur

16.00 €

Kártyavetés, de hogyan Carla Ferguson

Broschur

10.59 €

Contribution l' tude Des Rouilles Du Bl (Triticum L, ) Au Maroc Hafidi Majida

Broschur

35.29 €

Geometrie Symplectique et Mecanique Claude Albert

Broschur

35.79 €

Beethovens Kammermusik Albrecht Riethmüller

Hardcover

98.00 €

Der große Gatsby F. Scott Fitzgerald

Hardcover

13.00 €

Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier

Broschur

54.99 €

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

Blatt

21.69 €

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

Broschur

7.19 €

Aberglauben aus Masuren M Toeppen

Broschur

17.90 €

Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh

Broschur

74.00 €

gelosia da orango Irena Trevisan

Hardcover

13.59 €

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

Hardcover

208.39 €

Übungen zum italienischen Wortschatz Wolfgang Reumuth

Broschur

10.60 €

Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert

Broschur

18.00 €

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