Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
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 €
phone Kontakt phoneWie einkaufen

Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Logic Based Program Synthesis and Transformation Patricia M. Hill
Libristo-Code: 01561746
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2006
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Vollständige Beschreibung
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg / Buch Broschur
common.buy 28.49 €
Le Grand Atlas géographique du monde 6e ed / Buch Hardcover
common.buy 77.49 €
Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre / Hörbuch MP3
common.buy 4.19 €
D.N. Angel Pearls 2 Yukiru Sugisaki / Buch Broschur
common.buy 12.69 €
Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui / Buch Broschur
common.buy 58.09 €
VILLANUEVA DE CASTRO / Buch Broschur
common.buy 22.29 €
Goodbye Istanbul Esmahan Aykol / Buch Broschur
common.buy 15.39 €
Der Europäische Sozialstaat und seine Institutionen. Detlef Merten / Buch Broschur
common.buy 77.99 €
DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter / Buch Broschur
common.buy 18.95 €
Routage ad hoc hiérarchique ? base de clusters / Buch Broschur
common.buy 66.99 €
Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F / Buch Broschur
common.buy 29.19 €
Im Herzland Günther Dellbrügger / Buch Hardcover
common.buy 26.99 €
Bluchertrompete Ludwig Salomon / Buch Broschur
common.buy 21.79 €
Faust Johann Wolfgang von Goethe / Buch Broschur
common.buy 35.49 €
Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J / Buch Broschur
common.buy 14.19 €
Documentos postúmos del Club Pickwick Charles Dickens / Buch Broschur
common.buy 11.99 €

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 Patricia M. Hill
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 182
EAN 9783540326540
ISBN 3540326545
Libristo-Code 01561746
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 630
Abmessungen 155 x 235 x 20

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung
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

Das könnte Sie auch interessieren

Computer and Information Science Applications in Bioprocess Engineering A.R. Moreira / Buch Hardcover
common.buy 94.39 €
Safely Through the Storm Debra Herbeck / E-Book Adobe ePub DRM
common.buy 16.79 €
What We Cannot Know: Explorations at the Edge of Knowledge Marcus du Sautoy / Hörbuch MP3
common.buy 16.59 €
The Scarlet Pimpernel Orczy Emmuska Baroness / Buch Broschur
common.buy 29.89 €
Theology and Theologians of Scotland, Chiefly of the Seventeenth and Eighteenth Centuries James Walker / Buch Broschur
common.buy 23.39 €
The Phantom of the Opera Gaston Leroux / Buch Broschur
common.buy 13.59 €
The Burgess Bird Book for Children: Large Print Thornton W Burgess / Buch Broschur
common.buy 10.69 €
Poetry of the Pentateuch Hobart Caunter / Buch Hardcover
common.buy 41.59 €
Religion and Politics in Presidential Elections Victor Wantatah / Buch Broschur
common.buy 21.99 €
Uniforms of Imperial and Soviet Russia in Color: As Illustrated by Herbert Knotel, Jr 1907-1946 Robert W. Kenny / Buch Hardcover
common.buy 46.29 €
Lucretius John Godwin / Buch Broschur
common.buy 44.69 €
Students Who Move and Transfer Schools Noone / Buch Broschur
common.buy 18.79 €
100 Years of Spanish Cinema Tatjana Pavlovic / Buch Broschur
common.buy 60.49 €
Golden Calf Helene Tursten / Buch Broschur
common.buy 14.69 €
Advanced Photonics with Second-Order Optically Nonlinear Processes A. D. Boardman / Buch Broschur
common.buy 60.39 €
Elizabethan Translation and Literary Culture Gabriela Schmidt / Buch Hardcover
common.buy 188.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?