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 International Publishing AG
SKU: 09249952
Price: 51.09 EUR
Availability: InStock
Author: Maurizio Proietti
ISBN: 9783319178219

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Maurizio Proietti

Hirohisa Seki

Sprache

Englisch

Buch Broschur

Libristo-Code: 09249952

Verlag Springer International Publishing AG, April 2015

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Vollständige Beschreibung

Libristo-Code: 09249952

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Pokrevenstvo Amberu Roger Zelazny

Hardcover

6.49 €

Je te vois reine des quatre parties du monde Alexandre Lapierre

Broschur

14.39 €

Leadership John C. Maxwell

Buch

14.00 €

Mystische Dimensionen der Psyche Lars Tischler

Broschur

17.95 €

M'as-tu vu en cadavre ? Malet

Hardcover

21.09 €

MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ

Broschur

39.49 €

Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara

Broschur

9.99 €

Černé ovce a beránek Boží Joanna Cannonová

Hardcover

13.19 €

45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente Joe Correa Csn

Broschur

16.39 €

Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß

Broschur

89.00 €

Biologie víry Bruce H. Lipton

Hardcover

11.79 €

Coloraines, Eduació Infantil, 3 anys. 1 trimestre Mireia . . . [et al. ] Fernández Ramírez

Broschur

52.97 €

Globalización y salud mental Antoni Talarn

Broschur

33.89 €

Justizmord Hans-Rudolph Schneider

Broschur

19.90 €

Direkt NEU 1 G. Motta

Audio CD

19.79 €

Integration de La Promotion de La Sante Au Sein Du Tourisme de Bien-Etre JOHANNA RIBOULON

Broschur

32.79 €

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

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 Maurizio Proietti, Hirohisa Seki

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 333

EAN 9783319178219

ISBN 3319178210

Libristo-Code 09249952

Verlag Springer International Publishing AG

Gewicht 534

Abmessungen 155 x 235 x 19

Kategorie

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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