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

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Based Program Synthesis and Transformation Alberto Pettorossi
Libristo kód: 01564461
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... 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

Biochemisches Handlexikon Andor Fodor / Kniha Brožovaná
common.buy 1 214 Kč
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Kniha Brožovaná
common.buy 532 Kč
Les Reformes Sociales Dreux-A / Kniha Brožovaná
common.buy 315 Kč
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Kniha Brožovaná
common.buy 788 Kč
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Kniha Brožovaná
common.buy 467 Kč
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Kniha Brožovaná
common.buy 1 115 Kč
Kúpte si družičku! Jacqueline Wilsonová / Kniha Brožovaná
common.buy 177 Kč
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Kniha Brožovaná
common.buy 396 Kč
FARMERS MARKET - Una aplicación web / Kniha Brožovaná
common.buy 893 Kč
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Kniha Pevná
common.buy 449 Kč
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendář/Diář Kalendář
common.buy 646 Kč
LEGO® Harry Potter™ Kouzelnická zábava / Kniha Brožovaná
common.buy 165 Kč
Ornamentvogelspinnen Henrik Krehenwinkel / Kniha Pevná
common.buy 745 Kč

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

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 Alberto Pettorossi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 272
EAN 9783540439158
ISBN 3540439153
Libristo kód 01564461
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 880
Rozměry 155 x 235 x 16

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 > Systémová analýza a systémový design
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
Medicína a ošetřovatelství > Medicína: obecná témata
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

Models in Cooperative Game Theory Rodica Branzei / Kniha Brožovaná
common.buy 2 357 Kč
Hybrid Latex Particles Alex M. van Herk / Kniha Brožovaná
common.buy 7 057 Kč
Production Planning in Automated Manufacturing Yves Crama / Kniha Brožovaná
common.buy 1 350 Kč
Připravujeme Nové
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Kniha Brožovaná
common.buy 1 041 Kč
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Kniha Brožovaná
common.buy 2 827 Kč
Lost Founding Father William J. Cooper / Kniha Pevná
common.buy 647 Kč
Echoes Down a Dark Well Ric Wasley / Kniha Brožovaná
common.buy 403 Kč
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Kniha Brožovaná
common.buy 237 Kč
The Question of Alsace and Lorraine Thomas Willing Balch / Kniha Brožovaná
common.buy 354 Kč
Mind Power Secrets: Road To Riches Shana O Lean / Kniha Brožovaná
common.buy 361 Kč
Little Book Of Eternal Wisdom Blessed Henry Suso / Kniha Brožovaná
common.buy 320 Kč
Counterfeit Souls Va Andrews / Kniha Brožovaná
common.buy 196 Kč
Medical Imaging Techniques and Applications Marcus Lewis / Kniha Pevná
common.buy 2 747 Kč
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Kniha Pevná
common.buy 284 Kč
South Windsor Claire Lobdell / Kniha Pevná
common.buy 558 Kč
Information Geometry and Population Genetics Julian Hofrichter / Kniha Brožovaná
common.buy 2 345 Kč
Coal Mining in Pakistan Mudassar Ali Raja / Kniha Brožovaná
common.buy 813 Kč
Operational Costs in Acquisitions James R. Coffey / Kniha Brožovaná
common.buy 1 236 Kč
First Victory Stewart Andrew Stewart / E-kniha Adobe ePub DRM
common.buy 308 Kč
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Kniha Brožovaná
common.buy 930 Kč
Dark Coulee Mary Logue / Kniha Brožovaná
common.buy 336 Kč
Landscape Design / Kniha Pevná
common.buy 1 467 Kč
Top
John Donne John Donne / Kniha Brožovaná
common.buy 244 Kč
Community, Economic Creativity, and Organization Ash Amin / Kniha Pevná
common.buy 1 820 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?