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
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Logic-Based Program Synthesis and Transformation

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Logic-Based Program Synthesis and Transformation Danny De Schreye
Codice Libristo: 01655691
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Racconti di Natale Charles Dickens / Libro In brossura
common.buy 7.89 €
Geometrie Symplectique et Mecanique Claude Albert / Libro In brossura
common.buy 37.69 €
Lumière sur Alzheimer Dr Ky Tran / Libro In brossura
common.buy 15.99 €
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Libro Rigido
common.buy 31.79 €
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Libro In brossura
common.buy 14.29 €
Kártyavetés, de hogyan Carla Ferguson / Libro In brossura
common.buy 13.49 €
Bis die Sterne zittern Johannes Herwig / Libro elettronico Adobe ePub DRM
common.buy 11.39 €
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Video Blu-ray
common.buy 21.99 €
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Libro In brossura
common.buy 60.59 €
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Libro In brossura
common.buy 14.49 €
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Libro Rigido
common.buy 209.59 €
Beethovens Kammermusik Albrecht Riethmüller / Libro Rigido
common.buy 106.89 €
Der große Gatsby F. Scott Fitzgerald / Libro Rigido
common.buy 14.39 €
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Libro In brossura
common.buy 55.29 €
Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner / Libro Foglio
common.buy 26.39 €
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Libro In brossura
common.buy 9.69 €
Aberglauben aus Masuren M Toeppen / Libro In brossura
common.buy 16.89 €
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Libro In brossura
common.buy 68.99 €
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Libro In brossura
common.buy 7.69 €
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Libro In brossura
common.buy 10.09 €
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Libro In brossura
common.buy 16.09 €
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE / Libro Rigido
common.buy 19.39 €
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl / Libro In brossura
common.buy 19.99 €
gelosia da orango Irena Trevisan / Libro Rigido
common.buy 17.89 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Danny De Schreye
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 205
EAN 9783642125911
ISBN 3642125913
Codice Libristo 01655691
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 338
Dimensioni 155 x 235 x 12

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 > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
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

In the Electric Eden: Stories Nick Arvin / Libro In brossura
common.buy 14.59 €
House Of Shadows Nicola Cornick / Libro In brossura
common.buy 18.19 €
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Libro In brossura
common.buy 25.09 €
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Libro Rigido
common.buy 30.79 €
Chapter in the History of Cleveland Clarence Monroe Burton / Libro Rigido
common.buy 27.89 €
Yayoi Kusama Catherine Taft / Libro Rigido
common.buy 55.09 €
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Libro In brossura
common.buy 30.79 €
Aiden the Alligator: An interactive learning book A T Broker / Libro In brossura
common.buy 12.59 €
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Libro Rigido
common.buy 45.59 €
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Libro Rigido
common.buy 48.89 €
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Libro In brossura
common.buy 13.59 €
Hey Kids! Comics! Howard Victor Chaykin / Libro In brossura
common.buy 16.49 €
Ordinary People as Mass Murderers O. Jensen / Libro In brossura
common.buy 65.89 €
Planning, Law and Economics Needham / Libro In brossura
common.buy 79.79 €
I migliori
Last Of The Breed Louis L'Amour / Libro In brossura
common.buy 8.09 €
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Libro In brossura
common.buy 400.39 €
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Libro In brossura
common.buy 28.79 €
Where Do We Go from Here? / Libro In brossura
common.buy 19.89 €
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Libro In brossura
common.buy 37.29 €
Ultimate Keto Breakfast Cookbook for Women over 50 Katie Attanasio / Libro Rigido
common.buy 26.59 €
I migliori
Alice in Borderland, Vol. 7 Haro Aso / Libro In brossura
common.buy 16.49 €
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Libro Rigido
common.buy 41.59 €
Minami's Lover H. Paige / Libro Rigido
common.buy 24.39 €
Tall Man In A Low Land Harry Pearson / Libro In brossura
common.buy 14.69 €

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?