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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Kniha Kniha
common.buy 181 Kč
Pokémon Socks 3-Pack Crew 39-42 Papírenské zboží Papírenské zboží
common.buy 559 Kč
Top Secret: ein MM-College-Roman Elle Kennedy / Kniha Brožovaná
common.buy 289 Kč
Top Nové
BODY ORACLE DECK CLARKE ABIGAIL ROSE Tiskovina Karty
common.buy 487 Kč
Mexico y los Estados Unidos Jakob Heumann / Kniha Brožovaná
common.buy 369 Kč
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Kniha Brožovaná
common.buy 640 Kč
Noch mehr Bilder mit Pfiff Reina Eckel / Kniha Brožovaná
common.buy 610 Kč
Alle putzen Zähne! Elsa Klever / Kniha Leporelo
common.buy 176 Kč
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Kniha Brožovaná
common.buy 889 Kč
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Kniha Brožovaná
common.buy 510 Kč
Die Welt und ich Ilona Einwohlt / E-kniha Adobe ePub DRM
common.buy 161 Kč
Verdeggiando. Male erbe e altre delizie Pia Pera / Kniha Brožovaná
common.buy 417 Kč
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Kniha Brožovaná
common.buy 689 Kč
La migration et l'immigration dans le roman africain francophone Soumaré / Kniha Brožovaná
common.buy 478 Kč
Připravujeme
LAROUSSE DIETETIQUE / NUTRITION Kniha Kniha
common.buy 1 070 Kč
Les Péchés capitaux de la haute technologie. Superphénix, Eurotunnel, Ariane 5... Robert Bell / Kniha Brožovaná
common.buy 630 Kč
Le Perou Et Sainte Rose de Lima (1863) Marie Theodore Renouard Bussierre / Kniha Brožovaná
common.buy 926 Kč
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Kniha Brožovaná
common.buy 591 Kč
Abrege de la Philosophie de Gassendi Francois Bernier / Kniha Brožovaná
common.buy 715 Kč
Kultur ALS Naturgeschichte Christian Mehr / Kniha Pevná
common.buy 2 385 Kč
Cultura de Seguranca Nacional do Japao durante a Guerra Fria Carolina Dantas Nogueira / Kniha Brožovaná
common.buy 1 458 Kč
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č
Bandidos Hobsbawm / Kniha Brožovaná
common.buy 428 Kč
Infoxicación en la red Marta Fuentes Agustí / Kniha Brožovaná
common.buy 732 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

Canons Of The Second Council Of Orange (1882) F. H. Woods / Kniha Brožovaná
common.buy 479 Kč
Social Computing and Social Media. Applications and Analytics Gabriele Meiselwitz / Kniha Brožovaná
common.buy 1 181 Kč
Follow That Trail! Fun Mazes for 3rd Grade JUPITER KIDS / Kniha Brožovaná
common.buy 316 Kč
Morna's Magic & Mistletoe - A Novella BETHANY CLAIRE / Kniha Pevná
common.buy 453 Kč
The Flirt Booth Tarkington / Kniha Brožovaná
common.buy 243 Kč
Sonata in C major: K 545 Mozart / Kniha Brožovaná
common.buy 243 Kč
Love Unlimited MYESHA S. MORRIS / Kniha Brožovaná
common.buy 364 Kč
Imperator Anna Hackett / Kniha Brožovaná
common.buy 286 Kč
Lucky Per Henrik Pontoppidan / Kniha Pevná
common.buy 292 Kč
Great Chimera M. Karagatsis / Kniha Brožovaná
common.buy 382 Kč
Top
Cinderella Is Dead Kalynn Bayron / Kniha Brožovaná
common.buy 194 Kč
British America 1500-1800 Steven Sarson / Kniha Brožovaná
common.buy 1 343 Kč
The Knights of Columbus Thomas C. Knight / Kniha Pevná
common.buy 837 Kč
Melding of Time and Space Patricia Strunk / Kniha Brožovaná
common.buy 367 Kč
Bee Who Loved Words Erica Salcedo / Kniha Brožovaná
common.buy 197 Kč
Explorers on Black Ice Bridge Alex Bell / E-kniha Adobe ePub DRM
common.buy 183 Kč
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Kniha Brožovaná
common.buy 5 588 Kč
Modern Agricultural and Resource Economics and Policy Harry De Gorter / Kniha Brožovaná
common.buy 4 236 Kč
Brand Management: Principles and Applications for Effective Branding Paurav Shukla / Kniha Brožovaná
common.buy 1 135 Kč
Thunderbird Falls C. E. Murphy / Kniha Brožovaná
common.buy 333 Kč
Top
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Kniha Brožovaná
common.buy 263 Kč
Internet Celebrities in China Xinyi Yang / E-kniha Adobe ePub DRM
common.buy 1 697 Kč
Top Připravujeme Nové
The Belles of Wrath LYNN JAYSEA / Kniha Pevná
common.buy 535 Kč
Virginia Woolf and Bloomsbury Jane Marcus / Kniha Brožovaná
common.buy 1 392 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?