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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Logic-Based Program Synthesis and Transformation

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Logic-Based Program Synthesis and Transformation Germán Puebla
Libristo-Code: 01568318
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2007
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Vollständige Beschreibung
? points 141 b
57.79 € 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

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Buch Broschur
common.buy 44.90 €
Estem en contra Xavier Gual / E-Book Adobe ePub DRM
common.buy 8.99 €
La causalidad eucarística de la Iglesia Aboín Martín / Buch Broschur
common.buy 38.79 €
Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR / Buch Hardcover
common.buy 49.79 €
Punto Piu Vicino Al Cielo Duilio Chiarle / Buch Broschur
common.buy 11.59 €
Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei / Buch Broschur
common.buy 44.99 €
Kolorowanka Modnisia Gołek Halina / Buch Broschur
common.buy 2.39 €
43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr Joe Correa Csn / Buch Broschur
common.buy 16.39 €

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and 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 Germán Puebla
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2007
Anzahl der Seiten 240
EAN 9783540714095
ISBN 354071409X
Libristo-Code 01568318
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 790
Abmessungen 155 x 235 x 17

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
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

Das könnte Sie auch interessieren

The History of the Studebaker Corporation Albert Erskine / Buch Broschur
common.buy 34.49 €
Top Neu
Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios / Buch Broschur
common.buy 16.49 €
Paracelsus G Lowes 1862-1932 Dickinson / Buch Broschur
common.buy 19.99 €
ORBIT Emily Alison / Buch Hardcover
common.buy 52.29 €
Juana Honore de Balzac / Buch Broschur
common.buy 12.29 €
Assessment Literacy Thomas Devere Wolsey / Buch Broschur
common.buy 38.29 €
Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh / Buch Broschur
common.buy 57.29 €
Climate Change and the Media Benedetta Brevini / Buch Hardcover
common.buy 125.09 €
Midsomer Murders: The Complete Series Fourteen Richard Holthouse / Video DVD
common.buy 20.69 €
HIV/AIDS Community Information Services M. Sandra Wood / Buch Hardcover
common.buy 99.19 €
Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America? Scott Browning / Buch Broschur
common.buy 10.69 €
Dental Service Support Operations (FM 4-02.19) Department Of the Army / Buch Broschur
common.buy 13.49 €
Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U Witter & Kenyon / Buch Broschur
common.buy 33.69 €
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Buch Broschur
common.buy 36.79 €
Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro Mert Elcin / Buch Broschur
common.buy 26.89 €
Once Upon A Nightmare William F Lee / Buch Hardcover
common.buy 28.19 €
Beyond the Palace Gary Wien / Buch Broschur
common.buy 26.69 €
US-Israeli Relations in a New Era Eytan Gilboa / Buch Hardcover
common.buy 231.49 €

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?