Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Logic-Based Program Synthesis and Transformation

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic-Based Program Synthesis and Transformation Andy King
Libristo-code: 01570057
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Boek Gebonden (paperback)
common.buy 16.18 €
Ad gentes. Racconti dalle missioni Filippo Maggi / Boek Gebonden (paperback)
common.buy 20.83 €
Die Abenteuerlichen Fälle des Terry Lomes Bodo Königsmann / Boek Gebonden (paperback)
common.buy 8.99 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Boek Gebonden (paperback)
common.buy 35.70 €
Marienkirche Gelnhausen (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalender/agenda Kalender
common.buy 83.65 €
Klar zum Feuern John Martin Ungar / Boek Gebonden (paperback)
common.buy 9.09 €
Fearless Katia Liebig / Boek Gebonden (paperback)
common.buy 16.78 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Boek Gebonden (paperback)
common.buy 32.56 €
Tubbz kachnička mini Krotitelé duchů - Ray Stanz Spel/speelgoed Speelgoed
common.buy 12.94 €
Biale noce Fiodor Dostojewski / E-book Adobe ePub DRM
common.buy 4.04 €
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41 / Boek Gebonden (paperback)
common.buy 4.74 €
Cy Twombly et la critique américaine Richard Leeman / Boek Gebonden (harde band)
common.buy 35.50 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Boek Gebonden (paperback)
common.buy 19.72 €
Melekler Kiz mi, Erkek mi Özkan Öze / Boek Gebonden (paperback)
common.buy 9.20 €
Die asiatische Cholera Joseph Riedel / Boek Gebonden (paperback)
common.buy 12.94 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Boek Gebonden (paperback)
common.buy 17.39 €
Sulla Origine Delle Specie Carlo Darwin / Boek Gebonden (paperback)
common.buy 18.30 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Boek Gebonden (paperback)
common.buy 11.93 €
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 / Boek Gebonden (paperback)
common.buy 99.33 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Boek Gebonden (paperback)
common.buy 19.72 €
Curso sobre agricultura biodinámica STEINER / Boek Gebonden (paperback)
common.buy 21.13 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic-Based Program Synthesis and Transformation
Auteur Andy King
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 222
EAN 9783540787686
ISBN 3540787682
Libristo-code 01570057
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 365
Afmetingen 154 x 14 x 239

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Controlled Nanoscale Motion Heiner Linke / Boek Gebonden (harde band)
common.buy 102.97 €
Into the Pure ... TIM NICHOLLS / Boek Gebonden (paperback)
common.buy 10.61 €
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Boek Gebonden (paperback)
common.buy 12.63 €
Extraordinary Cases. Henry L Clinton / Boek Gebonden (paperback)
common.buy 26.59 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Boek Gebonden (paperback)
common.buy 14.86 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Boek Gebonden (paperback)
common.buy 8.08 €
The Notary Art of Solomon: Ars Notoria King Solomon / Boek Gebonden (paperback)
common.buy 7.17 €
Chimpanzee Lisa Jackson / Boek Gebonden (harde band)
common.buy 35.50 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Boek Gebonden (paperback)
common.buy 13.14 €
Cheyenne Quinn M. Arnold / Boek Gebonden (harde band)
common.buy 41.06 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Boek Gebonden (paperback)
common.buy 18.40 €
Retail Marketing Strategy Constant Berkhout / Boek Gebonden (harde band)
common.buy 120.47 €
Beyond Chopped Liver Kenden Alfond / Boek Gebonden (harde band)
common.buy 35.60 €
TOP
Rise of the Dragon Elio M. Garcia Jr. / Boek Gebonden (harde band)
common.buy 37.11 €
Wong Kar-wai Silver Wai-ming Lee / E-book Adobe ePub DRM
common.buy 28.92 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Boek Gebonden (paperback)
common.buy 15.67 €
Values Andreas Urs Sommer / Boek Gebonden (harde band)
common.buy 48.04 €
Global Communication Pavel Slutskiy / E-book Adobe ePub DRM
common.buy 94.47 €
International Perspectives on Intercultural Learning in English Language Teaching Troy McConachy / Boek Gebonden (harde band)
common.buy 138.07 €
Fake Leadership in Higher Education Agnieszka Bienkowska / Boek Gebonden (harde band)
common.buy 159.31 €
'Tis Grace Allan Thompson / Boek Gebonden (paperback)
common.buy 14.25 €
Incinerator Niall Leonard / Boek Gebonden (paperback)
common.buy 14.86 €
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Boek Gebonden (paperback)
common.buy 14.46 €
Essays in Memory of Imre Lakatos Robert S. Cohen / Boek Gebonden (harde band)
common.buy 183.49 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?