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

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2007
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Celý popis
? points 135 b
1 350 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Kniha Brožovaná
common.buy 1 040 Kč
Estem en contra Xavier Gual / E-kniha Adobe ePub DRM
common.buy 210 Kč
La causalidad eucarística de la Iglesia Aboín Martín / Kniha Brožovaná
common.buy 915 Kč
Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR / Kniha Pevná
common.buy 1 168 Kč
Punto Piu Vicino Al Cielo Duilio Chiarle / Kniha Brožovaná
common.buy 258 Kč
Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei / Kniha Brožovaná
common.buy 915 Kč
Kolorowanka Modnisia Gołek Halina / Kniha Brožovaná
common.buy 50 Kč
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 362 Kč

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 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 Puebla
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2007
Počet stran 240
EAN 9783540714095
ISBN 354071409X
Libristo kód 01568318
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 790
Rozměry 155 x 235 x 17

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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
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
Výpočetní a informační technologie > Operační systémy
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

The History of the Studebaker Corporation Albert Erskine / Kniha Brožovaná
common.buy 752 Kč
Top Nové
Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios / Kniha Brožovaná
common.buy 336 Kč
Paracelsus G Lowes 1862-1932 Dickinson / Kniha Brožovaná
common.buy 445 Kč
ORBIT Emily Alison / Kniha Pevná
common.buy 1 120 Kč
Juana Honore de Balzac / Kniha Brožovaná
common.buy 267 Kč
Assessment Literacy Thomas Devere Wolsey / Kniha Brožovaná
common.buy 856 Kč
Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh / Kniha Brožovaná
common.buy 1 283 Kč
Climate Change and the Media Benedetta Brevini / Kniha Pevná
common.buy 2 603 Kč
Midsomer Murders: The Complete Series Fourteen Richard Holthouse / Video DVD
common.buy 453 Kč
HIV/AIDS Community Information Services M. Sandra Wood / Kniha Pevná
common.buy 2 141 Kč
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 237 Kč
Dental Service Support Operations (FM 4-02.19) Department Of the Army / Kniha Brožovaná
common.buy 298 Kč
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 750 Kč
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Kniha Brožovaná
common.buy 777 Kč
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 598 Kč
Once Upon A Nightmare William F Lee / Kniha Pevná
common.buy 629 Kč
Beyond the Palace Gary Wien / Kniha Brožovaná
common.buy 583 Kč
US-Israeli Relations in a New Era Eytan Gilboa / Kniha Pevná
common.buy 5 127 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?