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

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Based Program Synthesis and Transformation Kung-Kiu Lau
Libristo kód: 01563497
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Celý popis
? points 125 b
51.01 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Cala Ratjada (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalendár/Diár Kalendár
common.buy 53.61 €
Vzdělávání v mateřské škole Eva Svobodová / Kniha Brožovaná
common.buy 8.19 €
Brelok Łamignat (Kajko i Kokosz) / Kniha binding.
common.buy 5.59 €
Голос твоего рода. Исцеление родовых программ Елена Вайс / Kniha Pevná
common.buy 16.50 €
Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Kniha binding.
common.buy 21.30 €
Bergson Et Le Christ Des Evangiles Henri Gouhier / Kniha Brožovaná
common.buy 29.50 €
Женский круг. Самые глубокие практики и традиции для обретения внутренней силы / Kniha Pevná
common.buy 24.10 €
Host na večeři B. P. Walter / Kniha Pevná
common.buy 13.70 €
Ergotherapie Wolfgang Presber / Kniha Pevná
common.buy 38.91 €
Interpretation des Werkes Die gefesselte Phantasie von Ferdinand Raimund Stephanie Ebert / Kniha Brožovaná
common.buy 16.00 €
Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española / Kniha Brožovaná
common.buy 7.49 €
Histoire Des Sources Du Droit Romain (1846) Ferdinand Mackeldey / Kniha Pevná
common.buy 45.81 €
Wika - Wika und Oberons Zorn Thomas Day / Kniha Pevná
common.buy 15.40 €
funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer / Kniha Brožovaná
common.buy 8.99 €
Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J / Kniha Brožovaná
common.buy 25.10 €
MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS / Kniha Brožovaná
common.buy 16.10 €
Ctrl + Q Kathy Dorl / Kniha Brožovaná
common.buy 22.00 €
1926 Bakü Türkoloji Kurultayi Mustafa Öner / Kniha Brožovaná
common.buy 26.80 €
Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA / Audio Audio CD
common.buy 12.90 €
Análisis y evaluación de políticas sociales Trinidad Requena / Kniha Brožovaná
common.buy 27.50 €
Chefsache Sichtbarkeit Peter Buchenau / Kniha Pevná
common.buy 35.50 €
Clus Muñoz Robledano / Kniha Brožovaná
common.buy 13.10 €
Mes premières chansons - volume 3 Marine Fleury / Kniha Pevná
common.buy 12.30 €
Je suis vivant et vous êtes morts Emmanuel Carrère / Kniha Brožovaná
common.buy 9.69 €

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

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 Kung-Kiu Lau
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2001
Počet strán 188
EAN 9783540421276
ISBN 3540421270
Libristo kód 01563497
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 306
Rozmery 155 x 235 x 11

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 > Objektovo orientované programovanie (OOP)
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 > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
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ť

Physics of Sedimentology Kenneth J. Hsu / Kniha Pevná
common.buy 84.72 €
Artificial Social Systems Cristiano Castelfranchi / Kniha Brožovaná
common.buy 51.01 €
Thermal Design and Thermal Behaviour of Radio Telescopes and their Enclosures Albert Greve / Kniha Brožovaná
common.buy 152.65 €
Cobbett's Two-Penny Trash William Cobbett / Kniha Brožovaná
common.buy 10.49 €
Very Different Monica Shauna Ray Ratapu / Kniha Brožovaná
common.buy 12.19 €
Terrateer in Training Alexandra Quast / Kniha Brožovaná
common.buy 9.59 €
Metrical Memories of the Late War and Other Poems. and Other Poems JAMES REED / Kniha Brožovaná
common.buy 21.50 €
Battle-wise: Seeking Time-Information Superiority in Networked Warfare David C Gompert / Kniha Brožovaná
common.buy 18.10 €
sacred tree John Philpot / Kniha Brožovaná
common.buy 16.80 €
Development of English Literature Patrick Francis Mullany / Kniha Brožovaná
common.buy 19.50 €
Eyes Open Level 2 Workbook with Online Practice (Dutch Edition) Vicki Anderson / Kniha Pevná
common.buy 30.40 €
THE HISTORY OF ENGLAND UNDER THE HOUSE O ROBERT VAUGHAN / Kniha Pevná
common.buy 36.90 €
HORATIUS RESTITUTUS: OR, THE BOOKS OF HO HORACE / Kniha Pevná
common.buy 36.90 €
Ba Duan Jin Qi Gong - Eight Pieces of Brocade Marcus Scheibenzuber / Kniha Brožovaná
common.buy 16.90 €
Natural History of British Insects Edward Donovan / Kniha Pevná
common.buy 30.60 €
So You Think You're a New York Mets Fan?: Stars, Stats, Records, and Memories for True Diehards Brett Topel / Kniha Brožovaná
common.buy 14.60 €
Dmitri Olive Jeanfreau Alexander / Kniha Brožovaná
common.buy 12.40 €
Marshal Josip Broz Tito: The Life and Legacy of Yugoslavia's First President Charles River Editors / Kniha Brožovaná
common.buy 9.89 €
Soviet Union MARK EDELE / Kniha Brožovaná
common.buy 29.70 €
Memere's Country Creole Cookbook Nancy Tregre Wilson / Kniha Pevná
common.buy 24.80 €
chronicles of Jerahmeel Anonymous / Kniha Brožovaná
common.buy 28.20 €
BURLINGTON PRACTICE TEST KEY FOR SCHOOL A2 KET / Kniha Kniha
common.buy 25.10 €
Superconductor Levitation Jinwon Kim / Kniha Brožovaná
common.buy 132.34 €
Smoke Firing Jane Perryman / Kniha Pevná
common.buy 34.30 €

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