Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Logic-Based Program Synthesis and Transformation

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

Lingua IngleseInglese
Libro In brossura
Libro Logic-Based Program Synthesis and Transformation Andy King
Codice Libristo: 01570057
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Descrizione completa
? points 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Die Abenteuerlichen Fälle des Terry Lomes Bodo Königsmann / Libro In brossura
common.buy 7.89 €
Curso sobre agricultura biodinámica STEINER / Libro In brossura
common.buy 18.89 €
Klar zum Feuern John Martin Ungar / Libro In brossura
common.buy 7.99 €
Fearless Katia Liebig / Libro In brossura
common.buy 12.49 €
Tubbz kachnička mini Krotitelé duchů - Ray Stanz Gioco/giocattolo Giocattolo
common.buy 11.59 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Libro In brossura
common.buy 31.09 €
Biale noce Fiodor Dostojewski / Libro elettronico Adobe ePub DRM
common.buy 3.39 €
Marienkirche Gelnhausen (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Calendario/Agenda Calendario
common.buy 73.99 €
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Libro In brossura
common.buy 14.09 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Libro In brossura
common.buy 17.19 €
Melekler Kiz mi, Erkek mi Özkan Öze / Libro In brossura
common.buy 8.19 €
Sulla Origine Delle Specie Carlo Darwin / Libro In brossura
common.buy 15.29 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Libro In brossura
common.buy 17.89 €
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41 / Libro In brossura
common.buy 4.29 €
Cy Twombly et la critique américaine Richard Leeman / Libro Rigido
common.buy 28.79 €
Ca brille ! - Livre d'autocollants Fiona Patchett / Libro In brossura
common.buy 7.99 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Libro In brossura
common.buy 14.69 €
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 / Libro In brossura
common.buy 88.59 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Libro In brossura
common.buy 27.49 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Libro In brossura
common.buy 9.89 €
Die asiatische Cholera Joseph Riedel / Libro In brossura
common.buy 9.99 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Logic-Based Program Synthesis and Transformation
Autore Andy King
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 222
EAN 9783540787686
ISBN 3540787682
Codice Libristo 01570057
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 365
Dimensioni 154 x 14 x 239

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Controlled Nanoscale Motion Heiner Linke / Libro Rigido
common.buy 90.79 €
Between Earth And Sky: And Other Strange Stories Of Deliverance (1897) Edward William Thomson / Libro In brossura
common.buy 26.69 €
Extraordinary Cases. Henry L Clinton / Libro In brossura
common.buy 21.39 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Libro In brossura
common.buy 12.49 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Libro In brossura
common.buy 6.79 €
The Notary Art of Solomon: Ars Notoria King Solomon / Libro In brossura
common.buy 5.99 €
CSS Grid Explained: Your Step-by-Step Guide to CSS Grid Stephen Burge / Libro In brossura
common.buy 10.69 €
Chimpanzee Lisa Jackson / Libro Rigido
common.buy 31.39 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Libro In brossura
common.buy 14.89 €
Kingdom Growth Through Missional Behavior E. Basil Jackson / Libro In brossura
common.buy 13.89 €
Cheyenne Quinn M. Arnold / Libro Rigido
common.buy 38.49 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Libro In brossura
common.buy 15.49 €
Living Theory C.E. Hurst / Libro In brossura
common.buy 104.49 €
Retail Marketing Strategy Constant Berkhout / Libro Rigido
common.buy 102.59 €
Beyond Chopped Liver Kenden Alfond / Libro Rigido
common.buy 28.59 €
How to Crochet a Baby Blanket for Beginners: Simple Baby Blanket Crochet Patterns And Tutorials Emma Moore / Libro In brossura
common.buy 7.99 €
I migliori
Rise of the Dragon Elio M. Garcia Jr. / Libro Rigido
common.buy 35.99 €
Wong Kar-wai Silver Wai-ming Lee / Libro elettronico Adobe ePub DRM
common.buy 23.69 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Libro In brossura
common.buy 11.79 €
Eugenio Granell GUIGON / Libro In brossura
common.buy 12.89 €
Values Andreas Urs Sommer / Libro Rigido
common.buy 42.49 €
Psychedelics and the Soul YUGLER SIMON / Libro In brossura
common.buy 17.29 €
Global Communication Pavel Slutskiy / Libro elettronico Adobe ePub DRM
common.buy 79.79 €
International Perspectives on Intercultural Learning in English Language Teaching Troy McConachy / Libro Rigido
common.buy 122.19 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?