Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Logic-Based Program Synthesis and Transformation

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic-Based Program Synthesis and Transformation Germán Vidal
Código Libristo: 01661777
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Descrição completa
? points 103 b
42.43 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Livro Capa mole
common.buy 47.39 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Artigos impressos Partituras
common.buy 7.59 €
Artikel Marketing Blitz Andre Sternberg / E-book Adobe ePub DRM
common.buy 0.90 €
Le Grand livre de la nature Anonyme / E-book Adobe ePub DRM
common.buy 9.51 €
O dôstojnosti človeka Božena Seilerová / Livro Capa mole
common.buy 7.28 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Livro Capa mole
common.buy 6.37 €
Healing Hotels of the World / Livro Livro de capa dura
common.buy 49.42 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Livro binding.
common.buy 30.37 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Livro Capa mole
common.buy 21.16 €
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Livro Livro de capa dura
common.buy 16.70 €
Les silences de Margaret Paul Couturiau / Livro Capa mole
common.buy 21.36 €
Madchen in der Sprayerkultur? Lena Rheindorf / Livro Capa mole
common.buy 14.27 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Livro Capa mole
common.buy 51.64 €
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Livro Capa mole
common.buy 11.64 €
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Livro Capa mole
common.buy 33.21 €
Shania- Philosophie Thomas Heim / Livro Capa mole
common.buy 11.94 €
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Livro Capa mole
common.buy 16.80 €
Em breve
LA FIESTA DE DISFRACES Quílez Ibáñez / Livro Capa mole
common.buy 20.35 €
Kdo mi pomůže Jaroslav Gering / Livro Livro de capa dura
common.buy 7.89 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Livro Capa mole
common.buy 18.12 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Livro Capa mole
common.buy 68.36 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Logic-Based Program Synthesis and Transformation
Autor Germán Vidal
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 254
EAN 9783642322105
ISBN 3642322107
Código Libristo 01661777
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 409
Dimensões 155 x 235 x 15

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos
Matemática & ciência > Matemática > Matemáticas discretas
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Mojave Syntax MUNRO / Livro Capa mole
common.buy 50.94 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Livro Capa mole
common.buy 137.84 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Livro Livro de capa dura
common.buy 112.21 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Livro Livro de capa dura
common.buy 251.17 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Livro Capa mole
common.buy 6.27 €
Corr James K Polk Vol 9 James K Polk / Livro Livro de capa dura
common.buy 50.94 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Livro Livro de capa dura
common.buy 143.41 €
Splat the Cat Rob Scotton / Livro Livro de capa dura
common.buy 12.85 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Livro Capa mole
common.buy 16.09 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Livro Capa mole
common.buy 6.88 €
Big Data for Managers Atal Malviya / Livro Capa mole
common.buy 65.32 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Livro Capa mole
common.buy 8.80 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Livro Capa mole
common.buy 9.81 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Livro Capa mole
common.buy 48.40 €
Industrial Energy Management and Sustainability Miriam Benedetti / Livro Livro de capa dura
common.buy 32.00 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Livro Livro de capa dura
common.buy 624.60 €
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-book Adobe ePub DRM
common.buy 16.50 €
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Livro Capa mole
common.buy 321.16 €
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Livro Capa mole
common.buy 80.81 €
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Livro Livro de capa dura
common.buy 116.87 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Livro Livro de capa dura
common.buy 96.72 €
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Livro Livro de capa dura
common.buy 100.06 €
Collaborative Design Management Stephen Emmitt / Livro Capa mole
common.buy 67.14 €
Politics and Parentela in Paraiba Linda Lewin / Livro Livro de capa dura
common.buy 184.02 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo