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.99 €
phone Kontakt phoneWie einkaufen

Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Logic-Based Program Synthesis and Transformation Andy King
Libristo-Code: 01570057
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Vollständige Beschreibung
? points 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Buch Broschur
common.buy 17.95 €
Ad gentes. Racconti dalle missioni Filippo Maggi / Buch Broschur
common.buy 16.59 €
Die Abenteuerlichen Fälle des Terry Lomes Bodo Königsmann / Buch Broschur
common.buy 9.90 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Buch Broschur
common.buy 35.29 €
Marienkirche Gelnhausen (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalender/Terminbuch Kalender
common.buy 84.99 €
Klar zum Feuern John Martin Ungar / Buch Broschur
common.buy 10.00 €
Fearless Katia Liebig / Buch Broschur
common.buy 16.00 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Buch Broschur
common.buy 33.69 €
Tubbz kachnička mini Krotitelé duchů - Ray Stanz Spiel/Spielzeug Spielzeug
common.buy 12.79 €
Biale noce Fiodor Dostojewski / E-Book Adobe ePub DRM
common.buy 4.19 €
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41 / Buch Broschur
common.buy 4.99 €
Cy Twombly et la critique américaine Richard Leeman / Buch Hardcover
common.buy 36.59 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Buch Broschur
common.buy 21.90 €
Melekler Kiz mi, Erkek mi Özkan Öze / Buch Broschur
common.buy 9.59 €
Die asiatische Cholera Joseph Riedel / Buch Broschur
common.buy 12.00 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Buch Broschur
common.buy 14.69 €
Sulla Origine Delle Specie Carlo Darwin / Buch Broschur
common.buy 18.99 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Buch Broschur
common.buy 9.89 €
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Buch Broschur
common.buy 98.29 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Buch Broschur
common.buy 19.49 €
Curso sobre agricultura biodinámica STEINER / Buch Broschur
common.buy 20.89 €

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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 Andy King
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2008
Anzahl der Seiten 222
EAN 9783540787686
ISBN 3540787682
Libristo-Code 01570057
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 365
Abmessungen 154 x 14 x 239

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

Controlled Nanoscale Motion Heiner Linke / Buch Hardcover
common.buy 101.79 €
Into the Pure ... TIM NICHOLLS / Buch Broschur
common.buy 8.49 €
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Buch Broschur
common.buy 12.49 €
Extraordinary Cases. Henry L Clinton / Buch Broschur
common.buy 27.89 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Buch Broschur
common.buy 15.39 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Buch Broschur
common.buy 8.39 €
The Notary Art of Solomon: Ars Notoria King Solomon / Buch Broschur
common.buy 7.49 €
Chimpanzee Lisa Jackson / Buch Hardcover
common.buy 35.09 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Buch Broschur
common.buy 12.29 €
Cheyenne Quinn M. Arnold / Buch Hardcover
common.buy 42.49 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Buch Broschur
common.buy 19.09 €
Retail Marketing Strategy Constant Berkhout / Buch Hardcover
common.buy 102.59 €
Beyond Chopped Liver Kenden Alfond / Buch Hardcover
common.buy 28.59 €
Top
Rise of the Dragon Elio M. Garcia Jr. / Buch Hardcover
common.buy 36.89 €
Wong Kar-wai Silver Wai-ming Lee / E-Book Adobe ePub DRM
common.buy 30.19 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Buch Broschur
common.buy 14.59 €
Values Andreas Urs Sommer / Buch Hardcover
common.buy 47.49 €
Global Communication Pavel Slutskiy / E-Book Adobe ePub DRM
common.buy 97.89 €
International Perspectives on Intercultural Learning in English Language Teaching Troy McConachy / Buch Hardcover
common.buy 136.49 €
Fake Leadership in Higher Education Agnieszka Bienkowska / Buch Hardcover
common.buy 157.49 €
'Tis Grace Allan Thompson / Buch Broschur
common.buy 11.49 €
Incinerator Niall Leonard / Buch Broschur
common.buy 11.89 €
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Buch Broschur
common.buy 10.49 €
Essays in Memory of Imre Lakatos Robert S. Cohen / Buch Hardcover
common.buy 150.19 €

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?