«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Logic-Based Program Synthesis and Transformation

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

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Danny De Schreye
Código Libristo: 01655691
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Descripción completa
? points 125 b
51.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Bis die Sterne zittern Johannes Herwig / Libro electrónico Adobe ePub DRM
common.buy 11.59 €
Vyděšený kalous Zuzana Pospíšilová / Libro Tapa dura
common.buy 7.69 €
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Libro Tapa blanda
common.buy 14.49 €
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Libro Tapa dura
common.buy 32.59 €
Lumière sur Alzheimer Dr Ky Tran / Libro Tapa blanda
common.buy 18.69 €
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Libro Tapa blanda
common.buy 7.89 €
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Video Blu-ray
common.buy 22.29 €
Popular
Racconti di Natale Charles Dickens / Libro Tapa blanda
common.buy 7.99 €
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Libro Tapa blanda
common.buy 57.19 €
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Libro Tapa blanda
common.buy 13.39 €
Kártyavetés, de hogyan Carla Ferguson / Libro Tapa blanda
common.buy 13.79 €
Contribution l' tude Des Rouilles Du Bl (Triticum L, ) Au Maroc Hafidi Majida / Libro Tapa blanda
common.buy 35.29 €
Geometrie Symplectique et Mecanique Claude Albert / Libro Tapa blanda
common.buy 35.79 €
Beethovens Kammermusik Albrecht Riethmüller / Libro Tapa dura
common.buy 108.89 €
Der große Gatsby F. Scott Fitzgerald / Libro Tapa dura
common.buy 14.69 €
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Libro Tapa blanda
common.buy 52.49 €
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Libro Tapa blanda
common.buy 9.89 €
Aberglauben aus Masuren M Toeppen / Libro Tapa blanda
common.buy 15.99 €
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Libro Tapa blanda
common.buy 65.19 €
gelosia da orango Irena Trevisan / Libro Tapa dura
common.buy 18.09 €
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Libro Tapa dura
common.buy 217.39 €
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Libro Tapa blanda
common.buy 9.59 €
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Libro Tapa blanda
common.buy 16.99 €
1000 STICKERS Miraculous / Libro Tapa blanda
common.buy 7.99 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Logic-Based Program Synthesis and Transformation
Autor Danny De Schreye
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 205
EAN 9783642125911
ISBN 3642125913
Código Libristo 01655691
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 338
Dimensiones 155 x 235 x 12

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Libro Tapa blanda
common.buy 13.59 €
House Of Shadows Nicola Cornick / Libro Tapa blanda
common.buy 18.49 €
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Libro Tapa blanda
common.buy 25.09 €
Ordinary People as Mass Murderers O. Jensen / Libro Tapa blanda
common.buy 67.09 €
Ann Hamilton: An Inventory of Objects Joan Simon / Libro Tapa dura
common.buy 58.99 €
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Libro Tapa dura
common.buy 30.79 €
Chapter in the History of Cleveland Clarence Monroe Burton / Libro Tapa dura
common.buy 27.89 €
Popular
Yayoi Kusama Catherine Taft / Libro Tapa dura
common.buy 55.09 €
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Libro Tapa blanda
common.buy 30.79 €
Aiden the Alligator: An interactive learning book A T Broker / Libro Tapa blanda
common.buy 12.59 €
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Libro Tapa dura
common.buy 45.59 €
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Libro Tapa blanda
common.buy 420.29 €
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Libro Tapa dura
common.buy 49.89 €
Oxford Phonics World: Level 5: Phonics Cards Lynne Robertson / Artículos impresos Tarjetas
common.buy 150.59 €
Hey Kids! Comics! Howard Victor Chaykin / Libro Tapa blanda
common.buy 17.29 €
In the Electric Eden: Stories Nick Arvin / Libro Tapa blanda
common.buy 14.59 €
Planning, Law and Economics Needham / Libro Tapa blanda
common.buy 79.79 €
Popular
Alice in Borderland, Vol. 7 Haro Aso / Libro Tapa blanda
common.buy 16.49 €
Popular
Last Of The Breed Louis L'Amour / Libro Tapa blanda
common.buy 8.09 €
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Libro Tapa dura
common.buy 41.59 €
Minami's Lover H. Paige / Libro Tapa dura
common.buy 25.79 €
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Libro Tapa blanda
common.buy 28.79 €
Where Do We Go from Here? / Libro Tapa blanda
common.buy 20.99 €
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Libro Tapa blanda
common.buy 35.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?