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

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Michael Hanus
Libristo kód: 01649407
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, únor 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Kniha Brožovaná
common.buy 369 Kč
Kultur ALS Naturgeschichte Christian Mehr / Kniha Pevná
common.buy 2 658 Kč
Abrege de la Philosophie de Gassendi Francois Bernier / Kniha Brožovaná
common.buy 697 Kč
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Kniha Brožovaná
common.buy 576 Kč
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Kniha Brožovaná
common.buy 896 Kč
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Kniha Brožovaná
common.buy 690 Kč
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Kniha Kniha
common.buy 186 Kč
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Kniha Brožovaná
common.buy 640 Kč
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Kniha Brožovaná
common.buy 513 Kč

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Michael Hanus
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 185
EAN 9783642005145
ISBN 3642005144
Libristo kód 01649407
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 308
Rozměry 155 x 235 x 11

Kategorie

Matematika a věda > Matematika > Diferenciální a integrální počet a matematická analýza > Numerická analýza
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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

Moses in America Melanie Jane Wright / Kniha Pevná
common.buy 2 460 Kč
Top
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Kniha Brožovaná
common.buy 256 Kč
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Kniha Brožovaná
common.buy 5 590 Kč
Explorers on Black Ice Bridge Alex Bell / E-kniha Adobe ePub DRM
common.buy 184 Kč
Cinderella Is Dead Kalynn Bayron / Kniha Brožovaná
common.buy 194 Kč
Lucky Per Henrik Pontoppidan / Kniha Pevná
common.buy 381 Kč
Imperator Anna Hackett / Kniha Brožovaná
common.buy 279 Kč
Changing State Feminism J. Outshoorn / Kniha Brožovaná
common.buy 2 438 Kč
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Kniha Brožovaná
common.buy 404 Kč
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Kniha Pevná
common.buy 1 587 Kč
Daughter of the Sword Steve Bein / Kniha Brožovaná
common.buy 465 Kč
Sexual Dysfunction A R Markos / Kniha Pevná
common.buy 2 928 Kč
Disturbing Influence Julian Mitchell / Kniha Brožovaná
common.buy 418 Kč
British America 1500-1800 Steven Sarson / Kniha Brožovaná
common.buy 1 397 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?