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

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Germán Puebla
Libristo kód: 01568318
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2007
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Celý popis
? points 135 b
55.76 €
Skladom u dodávateľa v malom množstve Odosielame za 11-15 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Kniha Brožovaná
common.buy 42.93 €
Estem en contra Xavier Gual / E-kniha Adobe ePub DRM
common.buy 8.68 €
La causalidad eucarística de la Iglesia Aboín Martín / Kniha Brožovaná
common.buy 37.78 €
Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR / Kniha Pevná
common.buy 48.28 €
Punto Piu Vicino Al Cielo Duilio Chiarle / Kniha Brožovaná
common.buy 10.60 €
Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei / Kniha Brožovaná
common.buy 40.10 €
Kolorowanka Modnisia Gołek Halina / Kniha Brožovaná
common.buy 2.01 €
43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr Joe Correa Csn / Kniha Brožovaná
common.buy 14.94 €

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

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 Puebla
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2007
Počet strán 240
EAN 9783540714095
ISBN 354071409X
Libristo kód 01568318
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 790
Rozmery 155 x 235 x 17

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 > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
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
Výpočtové a informačné technológie > Operačné systémy
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ť

The History of the Studebaker Corporation Albert Erskine / Kniha Brožovaná
common.buy 32.93 €
Top Nové
Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios / Kniha Brožovaná
common.buy 14.84 €
Paracelsus G Lowes 1862-1932 Dickinson / Kniha Brožovaná
common.buy 18.38 €
ORBIT Emily Alison / Kniha Pevná
common.buy 48.49 €
Juana Honore de Balzac / Kniha Brožovaná
common.buy 11.71 €
Assessment Literacy Thomas Devere Wolsey / Kniha Brožovaná
common.buy 36.97 €
Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh / Kniha Brožovaná
common.buy 52.93 €
Climate Change and the Media Benedetta Brevini / Kniha Pevná
common.buy 113.75 €
Midsomer Murders: The Complete Series Fourteen Richard Holthouse / Video DVD
common.buy 19.79 €
HIV/AIDS Community Information Services M. Sandra Wood / Kniha Pevná
common.buy 121.43 €
Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America? Scott Browning / Kniha Brožovaná
common.buy 9.79 €
Dental Service Support Operations (FM 4-02.19) Department Of the Army / Kniha Brožovaná
common.buy 12.32 €
Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U Witter & Kenyon / Kniha Brožovaná
common.buy 30.91 €
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Kniha Brožovaná
common.buy 33.73 €
Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro Mert Elcin / Kniha Brožovaná
common.buy 24.64 €
Once Upon A Nightmare William F Lee / Kniha Pevná
common.buy 25.96 €
Beyond the Palace Gary Wien / Kniha Brožovaná
common.buy 24.04 €
US-Israeli Relations in a New Era Eytan Gilboa / Kniha Pevná
common.buy 222.77 €

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ť?