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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.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: 05274933
Price: 51.68 EUR
Availability: InStock
Author: Pierre Flener
ISBN: 9783540657651

8th International Workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998. Selected Papers

Pierre Flener

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274933

Verlag Springer, Berlin, November 1998

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Worksh... Vollständige Beschreibung

Libristo-Code: 05274933

125 b

51.68 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda Pierre Dolbeault

Broschur

36.20 €

Skicák TVOŘIVOST B5, čistý, 80 listů

Papier- und Schreibwaren

4.85 €

Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson

Broschur

61.39 €

Příchod bohů Vlastislav Toman

Audio CD

14.35 €

Vikont koji me volio Julia Quinn

Broschur

11.93 €

Fullmetal Alchemist 18 Hiromu Arakawa

Broschur

8.59 €

Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew

Broschur

32.06 €

Lass uns reden! Chiara Colucci

Spiel

19.72 €

B-Grammatik Anne Buscha

Broschur

21.64 €

ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA

Buch

21.74 €

5 Towers (Deep Print Games)

Spiel

11.93 €

CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Buch

binding.

33.07 €

Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt

Broschur

7.78 €

The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter

DVD

13.14 €

Philadelphia, 1 Blu-ray Craig Mckay

Blu-ray

14.76 €

Mine d'Or Sébastien Belluso

Broschur

7.78 €

Karty vědomé duše Kim Dreyer

Karten

7.37 €

Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet

Broschur

70.40 €

Object-oriented Quality Management (OQRM). Een Praktische Methode Voor Kwaliteits- En Risicomanagement. Peter W.M. van Nederpelt

Broschur

20.02 €

Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels

Broschur

107.01 €

Herbář léčivých rostlin (1) Jiří Janča

Hardcover

14.35 €

Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann

Broschur

40.15 €

Spirou und Fantasio - Ein großer Kopf Makyo

Broschur

12.23 €

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

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 Pierre Flener

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1999

Anzahl der Seiten 338

EAN 9783540657651

ISBN 3540657657

Libristo-Code 05274933

Verlag Springer, Berlin

Gewicht 450

Abmessungen 156 x 234 x 18

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

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