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 International Publishing AG
SKU: 09249952
Price: 53.79 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

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

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

Broschur

9.99 €

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

Broschur

46.69 €

M'as-tu vu en cadavre ? Malet

Hardcover

21.29 €

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 €

Biologie víry Bruce H. Lipton

Hardcover

15.89 €

Globalización y salud mental Antoni Talarn

Broschur

39.29 €

Justizmord Hans-Rudolph Schneider

Broschur

19.90 €

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

Broschur

93.49 €

Je te vois reine des quatre parties du monde Alexandre Lapierre

Broschur

14.49 €

Leadership John C. Maxwell

Buch

14.00 €

Mystische Dimensionen der Psyche Lars Tischler

Broschur

17.95 €

Pokrevenstvo Amberu Roger Zelazny

Hardcover

8.89 €

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