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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € 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

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Gopal Gupta
Libristo kód: 09094864
Nakladateľstvo Springer International Publishing AG, december 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Celý popis
? points 120 b
49.56 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Kniha Brožovaná
common.buy 35.70 €
Gauguin, voyage au bout de la peinture Vauday / Kniha Brožovaná
common.buy 26.90 €
Two worlds Jitka Herodesová / Kniha Brožovaná
common.buy 1.91 €
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Kniha Pevná
common.buy 16.07 €
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa / Kniha Brožovaná
common.buy 20.83 €
Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Kniha Brožovaná
common.buy 12.43 €
Arquoelogía del agua : antología 1988-2001 Jacques Darras / Kniha Brožovaná
common.buy 23.26 €
Religie Vroeger En Nu John.G.O. De Koker / Kniha Brožovaná
common.buy 17.09 €
Das Beste aus der Kokosnuss Ulrike Gonder / Kniha Brožovaná
common.buy 6.97 €

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 Gopal Gupta, Ricardo Pe?a
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 237
EAN 9783319141244
ISBN 3319141244
Libristo kód 09094864
Nakladateľstvo Springer International Publishing AG
Váha 3869
Rozmery 155 x 235 x 13

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ť

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Kniha Pevná
common.buy 455.80 €
Fairy Dot Marker Coloring Book: Dots Coloring Book - angles- Try Different Ways to Color - Paint with Fingers, Markers, Paints for kids Chotiwat Ohm / Kniha Brožovaná
common.buy 7.27 €
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Kniha Brožovaná
common.buy 36.41 €
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Kniha Brožovaná
common.buy 35.39 €
Can I Trust You? Yoram Solomon / Kniha Brožovaná
common.buy 11.52 €
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Kniha Brožovaná
common.buy 18.40 €
Top
Modern Quantum Mechanics Jim Napolitano / Kniha Pevná
common.buy 75.35 €
Gavin's 100 Day Diary K P Lee / Kniha Brožovaná
common.buy 8.99 €
40 Prayers for Nurses D Duane Engler / Kniha Brožovaná
common.buy 7.88 €
Business Basics Berggren Newton Benny Berggren Newton / Kniha Brožovaná
common.buy 21.13 €
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Kniha Brožovaná
common.buy 109.34 €
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Kniha Pevná
common.buy 21.44 €
Around the House Roger Priddy / Kniha Pevná
common.buy 8.28 €
Iron Industry Richard Hayman / Kniha Brožovaná
common.buy 11.02 €
Grace by Which I Stand Lin Lockamy / Kniha Brožovaná
common.buy 12.74 €
May I Quote You on That? Stephen Spector / Kniha Brožovaná
common.buy 14.76 €
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Kniha Brožovaná
common.buy 6.67 €
Twilight at the Equator Jaime Manrique / Kniha Brožovaná
common.buy 18.00 €
George Julian Harney David Goodway / Kniha Pevná
common.buy 99.53 €
Knee Arthroplasty Handbook Giles R. Scuderi / Kniha Brožovaná
common.buy 138.58 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?