Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logic-Based Program Synthesis and Transformation

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Germán Vidal
Libristo kód: 01661777
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Celý popis
? points 115 b
47.54 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Kniha Brožovaná
common.buy 53.11 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Tlačovina Noty
common.buy 7.98 €
Artikel Marketing Blitz Andre Sternberg / E-kniha Adobe ePub DRM
common.buy 1.10 €
Le Grand livre de la nature Anonyme / E-kniha Adobe ePub DRM
common.buy 11.42 €
O dôstojnosti človeka Božena Seilerová / Kniha Brožovaná
common.buy 7.27 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Kniha Brožovaná
common.buy 7.68 €
Healing Hotels of the World / Kniha Pevná
common.buy 59.79 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Kniha binding.
common.buy 32.16 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Kniha Brožovaná
common.buy 26.40 €
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Kniha Pevná
common.buy 18.81 €
Les silences de Margaret Paul Couturiau / Kniha Brožovaná
common.buy 25.89 €
Madchen in der Sprayerkultur? Lena Rheindorf / Kniha Brožovaná
common.buy 16.18 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Kniha Brožovaná
common.buy 57.86 €
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Kniha Brožovaná
common.buy 13.04 €
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Kniha Brožovaná
common.buy 36.82 €
Shania- Philosophie Thomas Heim / Kniha Brožovaná
common.buy 13.55 €
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Kniha Brožovaná
common.buy 20.53 €
Pripravujeme
LA FIESTA DE DISFRACES Quílez Ibáñez / Kniha Brožovaná
common.buy 24.78 €
Kdo mi pomůže Jaroslav Gering / Kniha Pevná
common.buy 8.39 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Kniha Brožovaná
common.buy 20.23 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Kniha Brožovaná
common.buy 77.29 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Logic-Based Program Synthesis and Transformation
Autor Germán Vidal
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 254
EAN 9783642322105
ISBN 3642322107
Libristo kód 01661777
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 409
Rozmery 155 x 235 x 15

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov
Matematika a veda > Matematika > Diskrétna matematika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Mojave Syntax MUNRO / Kniha Brožovaná
common.buy 56.04 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Kniha Brožovaná
common.buy 154.39 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Kniha Pevná
common.buy 126.46 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Kniha Pevná
common.buy 278.74 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Kniha Brožovaná
common.buy 7.27 €
Corr James K Polk Vol 9 James K Polk / Kniha Pevná
common.buy 56.04 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Kniha Pevná
common.buy 159.85 €
Splat the Cat Rob Scotton / Kniha Pevná
common.buy 14.76 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Kniha Brožovaná
common.buy 18.61 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Kniha Brožovaná
common.buy 7.88 €
Big Data for Managers Atal Malviya / Kniha Brožovaná
common.buy 71.93 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Kniha Brožovaná
common.buy 9.80 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Kniha Brožovaná
common.buy 11.32 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Kniha Brožovaná
common.buy 54.42 €
Industrial Energy Management and Sustainability Miriam Benedetti / Kniha Pevná
common.buy 36.41 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Kniha Pevná
common.buy 684.46 €
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-kniha Adobe ePub DRM
common.buy 19.92 €
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Kniha Brožovaná
common.buy 359.78 €
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Kniha Brožovaná
common.buy 90.75 €
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Kniha Pevná
common.buy 128.38 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Kniha Pevná
common.buy 113.51 €
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Kniha Pevná
common.buy 109.87 €
Collaborative Design Management Stephen Emmitt / Kniha Brožovaná
common.buy 73.85 €
Politics and Parentela in Paraiba Linda Lewin / Kniha Pevná
common.buy 202.14 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet