Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Celý popis
? points 125 b
51.65 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Biochemisches Handlexikon Andor Fodor / Kniha Brožovaná
common.buy 53.06 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Kniha Brožovaná
common.buy 21.93 €
Océanos de inmortalidad: Un círculo, seis mujeres y muchas vidas pasadas. Bea Panisello / Kniha Brožovaná
common.buy 18.69 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendár/Diár Kalendár
common.buy 28.40 €
Pripravujeme
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Kniha Pevná
common.buy 19.70 €
FARMERS MARKET - Una aplicación web / Kniha Brožovaná
common.buy 39.21 €
LEGO® Harry Potter™ Kouzelnická zábava / Kniha Brožovaná
common.buy 6.76 €
Ornamentvogelspinnen Henrik Krehenwinkel / Kniha Pevná
common.buy 32.74 €
La mort sur ses épaules Farmer / Kniha Brožovaná
common.buy 26.98 €
Coches del futuro: El DeLorean del siglo XXI y los nanomateriales Abg Technologies / Kniha Brožovaná
common.buy 17.38 €
Top
Kúpte si družičku! Jacqueline Wilsonová / Kniha Brožovaná
common.buy 7.27 €
Les Reformes Sociales Dreux-A / Kniha Brožovaná
common.buy 12.42 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Kniha Brožovaná
common.buy 31.83 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Kniha Brožovaná
common.buy 18.19 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Kniha Brožovaná
common.buy 46.09 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Kniha Brožovaná
common.buy 14.75 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Logic Based Program Synthesis and Transformation
Autor Alberto Pettorossi
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2002
Počet strán 272
EAN 9783540439158
ISBN 3540439153
Libristo kód 01564461
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 880
Rozmery 155 x 235 x 16

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Medicína a ošetrovateľstvo > Medicína: všeobecné témy
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Models in Cooperative Game Theory Rodica Branzei / Kniha Brožovaná
common.buy 102.90 €
Hybrid Latex Particles Alex M. van Herk / Kniha Brožovaná
common.buy 308.23 €
Production Planning in Automated Manufacturing Yves Crama / Kniha Brožovaná
common.buy 55.69 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Kniha Brožovaná
common.buy 123.43 €
Pripravujeme Nové
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Kniha Brožovaná
common.buy 42.15 €
Lost Founding Father William J. Cooper / Kniha Pevná
common.buy 26.68 €
Nineteenth-Century Poetry and Liberal Thought Anna Barton / Kniha Pevná
common.buy 106.24 €
Echoes Down a Dark Well Ric Wasley / Kniha Brožovaná
common.buy 16.67 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Kniha Brožovaná
common.buy 9.80 €
The Question of Alsace and Lorraine Thomas Willing Balch / Kniha Brožovaná
common.buy 14.65 €
Mind Power Secrets: Road To Riches Shana O Lean / Kniha Brožovaná
common.buy 14.85 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Kniha Brožovaná
common.buy 13.23 €
Counterfeit Souls Va Andrews / Kniha Brožovaná
common.buy 8.08 €
Medical Imaging Techniques and Applications Marcus Lewis / Kniha Pevná
common.buy 113.42 €
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Kniha Pevná
common.buy 10.81 €
South Windsor Claire Lobdell / Kniha Pevná
common.buy 23.04 €
Information Geometry and Population Genetics Julian Hofrichter / Kniha Brožovaná
common.buy 101.89 €
Coal Mining in Pakistan Mudassar Ali Raja / Kniha Brožovaná
common.buy 35.68 €
Operational Costs in Acquisitions James R. Coffey / Kniha Brožovaná
common.buy 51.04 €
First Victory Stewart Andrew Stewart / E-kniha Adobe ePub DRM
common.buy 13.33 €
Biology of Transcendence Joseph Chilton Pearce / E-kniha Adobe ePub DRM
common.buy 11.51 €
Lost Tucker's Island Kathleen Donnelly / Kniha Brožovaná
common.buy 12.02 €
Top
BOOSTER GOLD COMP 2007 SERIES BK01 JOHNS GEOFF / Kniha Brožovaná
common.buy 21.32 €
Intelligent Sustainable Systems Atulya Nagar / Kniha Brožovaná
common.buy 287.71 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?