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

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Maurizio Proietti
Libristo kód: 09249952
Nakladatelství Springer International Publishing AG, duben 2015
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Celý popis
? points 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Pokrevenstvo Amberu Roger Zelazny / Kniha Pevná
common.buy 163 Kč
Je te vois reine des quatre parties du monde Alexandre Lapierre / Kniha Brožovaná
common.buy 337 Kč
Leadership John C. Maxwell / Kniha Kniha
common.buy 296 Kč
Mystische Dimensionen der Psyche Lars Tischler / Kniha Brožovaná
common.buy 369 Kč
M'as-tu vu en cadavre ? Malet / Kniha Pevná
common.buy 496 Kč
MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ / Kniha Brožovaná
common.buy 1 054 Kč
Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara / Kniha Brožovaná
common.buy 208 Kč
Černé ovce a beránek Boží Joanna Cannonová / Kniha Pevná
common.buy 324 Kč
45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente Joe Correa Csn / Kniha Brožovaná
common.buy 362 Kč
Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß / Kniha Brožovaná
common.buy 2 174 Kč
Top
Biologie víry Bruce H. Lipton / Kniha Pevná
common.buy 290 Kč
Coloraines, Eduació Infantil, 3 anys. 1 trimestre Mireia . . . [et al. ] Fernández Ramírez / Kniha Brožovaná
common.buy 938 Kč
Globalización y salud mental Antoni Talarn / Kniha Brožovaná
common.buy 830 Kč
Justizmord Hans-Rudolph Schneider / Kniha Brožovaná
common.buy 409 Kč
Direkt NEU 1 G. Motta / Audio Audio CD
common.buy 459 Kč
Integration de La Promotion de La Sante Au Sein Du Tourisme de Bien-Etre JOHANNA RIBOULON / Kniha Brožovaná
common.buy 713 Kč

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

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 Maurizio Proietti, Hirohisa Seki
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 333
EAN 9783319178219
ISBN 3319178210
Libristo kód 09249952
Nakladatelství Springer International Publishing AG
Váha 534
Rozměry 155 x 235 x 19

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

Cost Accounting and Financial Management for Construction Project Managers HOLM / Kniha Pevná
common.buy 4 835 Kč
Information Security Seymour Goodman / Kniha Brožovaná
common.buy 1 907 Kč
Just Cause Carolyn Arnold / Kniha Pevná
common.buy 686 Kč
Kearny's March Winston Groom / Kniha Brožovaná
common.buy 428 Kč
Korea Strait David Poyer / Kniha Brožovaná
common.buy 425 Kč
Chinese Research Perspectives on Population and Labor, Volume 1 Fang Cai / Kniha Pevná
common.buy 4 243 Kč
Theoretical Scholarship and Applied Practice Sarah Pink / Kniha Pevná
common.buy 3 427 Kč
British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1 British Antarctic Expedition / Kniha Brožovaná
common.buy 464 Kč
LONGFELLOW & HIS POETRY William Henry Oliphant 1856-19 Smeaton / Kniha Brožovaná
common.buy 423 Kč
Drifters Volume 5 Kohta Hirano / Kniha Brožovaná
common.buy 250 Kč
Confessions of a Middle-Aged Hippie Geek Karen S Eubank / Kniha Brožovaná
common.buy 361 Kč
The Day Will Come Mary E. Braddon / Kniha Brožovaná
common.buy 863 Kč
The Magic Coat Gary McNeil / Kniha Brožovaná
common.buy 154 Kč
Next of Kin Marianne Langner Zeitlin / Kniha Brožovaná
common.buy 221 Kč
Determined Martin Baranek / Kniha Brožovaná
common.buy 511 Kč
Urban Intervention: Design Ideas for Public Space Wang Shaoqiang / Kniha Pevná
common.buy 1 029 Kč
100 Dogs Michael Whaite / Kniha Leporelo
common.buy 197 Kč
Police and Military Dogs John Ensminger / Kniha Brožovaná
common.buy 1 212 Kč
Animal Coloring Book For Adults: Best Animal Coloring book for ever ! 100 pages awesome illistration will be best for gift Coloring Book Press / Kniha Brožovaná
common.buy 176 Kč
Lectures at St. Peters, in 1890, on Some Urinary Disorders Connected with the Bladder, Prostate and Urethra (1890) Reginald Harrison / Kniha Brožovaná
common.buy 489 Kč
Ghost in the Well Crandol / Kniha Pevná
common.buy 2 298 Kč
Great Names in American History John G. Gilmartin / Kniha Pevná
common.buy 837 Kč
Western Africa: Along the Atlantic Ocean Coast Adil Dalbai / Kniha Brožovaná
common.buy 1 222 Kč
Flight of Cornelia Blackwood Susan Elliot Wright / Audiokniha MP3
common.buy 354 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?