Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Celý popis
? points 109 b
1 088 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Kniha Brožovaná
common.buy 1 214 Kč
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Tiskovina Noty
common.buy 194 Kč
Artikel Marketing Blitz Andre Sternberg / E-kniha Adobe ePub DRM
common.buy 26 Kč
Le Grand livre de la nature Anonyme / E-kniha Adobe ePub DRM
common.buy 277 Kč
O dôstojnosti človeka Božena Seilerová / Kniha Brožovaná
common.buy 187 Kč
Pokémon - Maxi-colo Paldea The Pokémon Company / Kniha Brožovaná
common.buy 185 Kč
Healing Hotels of the World / Kniha Pevná
common.buy 1 447 Kč
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Kniha binding.
common.buy 778 Kč
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Kniha Brožovaná
common.buy 639 Kč
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Kniha Pevná
common.buy 406 Kč
Les silences de Margaret Paul Couturiau / Kniha Brožovaná
common.buy 626 Kč
Madchen in der Sprayerkultur? Lena Rheindorf / Kniha Brožovaná
common.buy 369 Kč
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Kniha Brožovaná
common.buy 1 324 Kč
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Kniha Brožovaná
common.buy 315 Kč
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Kniha Brožovaná
common.buy 846 Kč
Shania- Philosophie Thomas Heim / Kniha Brožovaná
common.buy 308 Kč
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 497 Kč
Připravujeme
LA FIESTA DE DISFRACES Quílez Ibáñez / Kniha Brožovaná
common.buy 599 Kč
Kdo mi pomůže Jaroslav Gering / Kniha Pevná
common.buy 202 Kč
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Kniha Brožovaná
common.buy 489 Kč
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Kniha Brožovaná
common.buy 1 762 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic-Based Program Synthesis and Transformation
Autor Germán Vidal
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 254
EAN 9783642322105
ISBN 3642322107
Libristo kód 01661777
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 409
Rozměry 155 x 235 x 15

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Matematika a věda > Matematika > Diskrétní matematika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Mojave Syntax MUNRO / Kniha Brožovaná
common.buy 1 355 Kč
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Kniha Brožovaná
common.buy 3 532 Kč
Handbook of Plant Cell Biotechnology AGATHA WILSON / Kniha Pevná
common.buy 3 060 Kč
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Kniha Pevná
common.buy 6 406 Kč
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Kniha Brožovaná
common.buy 175 Kč
Corr James K Polk Vol 9 James K Polk / Kniha Pevná
common.buy 1 355 Kč
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Kniha Pevná
common.buy 3 868 Kč
Splat the Cat Rob Scotton / Kniha Pevná
common.buy 358 Kč
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Kniha Brožovaná
common.buy 450 Kč
The Tragedy of Othello, the Moor of Venice William Shakespeare / Kniha Brožovaná
common.buy 191 Kč
Big Data for Managers Atal Malviya / Kniha Brožovaná
common.buy 1 740 Kč
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 237 Kč
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Kniha Brožovaná
common.buy 275 Kč
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Kniha Brožovaná
common.buy 1 243 Kč
Industrial Energy Management and Sustainability Miriam Benedetti / Kniha Pevná
common.buy 882 Kč
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Kniha Pevná
common.buy 16 558 Kč
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-kniha Adobe ePub DRM
common.buy 482 Kč
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Kniha Brožovaná
common.buy 8 232 Kč
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Kniha Brožovaná
common.buy 2 074 Kč
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Kniha Pevná
common.buy 2 965 Kč
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Kniha Pevná
common.buy 2 745 Kč
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Kniha Pevná
common.buy 2 539 Kč
Collaborative Design Management Stephen Emmitt / Kniha Brožovaná
common.buy 1 787 Kč
Politics and Parentela in Paraiba Linda Lewin / Kniha Pevná
common.buy 4 669 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet