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

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... 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

Host na večeři B. P. Walter / Kniha Pevná
common.buy 339 Kč
Ergotherapie Wolfgang Presber / Kniha Pevná
common.buy 958 Kč
Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española / Kniha Brožovaná
common.buy 187 Kč
MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS / Kniha Brožovaná
common.buy 396 Kč
Top
Голос твоего рода. Исцеление родовых программ Елена Вайс / Kniha Pevná
common.buy 405 Kč
Cala Ratjada (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalendář/Diář Kalendář
common.buy 1 243 Kč
Vzdělávání v mateřské škole Eva Svobodová / Kniha Brožovaná
common.buy 203 Kč
Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Kniha binding.
common.buy 521 Kč
Interpretation des Werkes Die gefesselte Phantasie von Ferdinand Raimund Stephanie Ebert / Kniha Brožovaná
common.buy 369 Kč
Lumière sur mairies brunes Tome 3 Visa / Kniha Brožovaná
common.buy 276 Kč
Je suis vivant et vous êtes morts Emmanuel Carrère / Kniha Brožovaná
common.buy 267 Kč
Mes premières chansons - volume 3 Marine Fleury / Kniha Pevná
common.buy 331 Kč
Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA / Audio Audio CD
common.buy 316 Kč
Wika - Wika und Oberons Zorn Thomas Day / Kniha Pevná
common.buy 382 Kč
Brelok Łamignat (Kajko i Kokosz) / Kniha binding.
common.buy 138 Kč
funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer / Kniha Brožovaná
common.buy 208 Kč
Clus Muñoz Robledano / Kniha Brožovaná
common.buy 325 Kč
Bergson Et Le Christ Des Evangiles Henri Gouhier / Kniha Brožovaná
common.buy 751 Kč
Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J / Kniha Brožovaná
common.buy 651 Kč

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 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 Kung-Kiu Lau
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 188
EAN 9783540421276
ISBN 3540421270
Libristo kód 01563497
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 306
Rozměry 155 x 235 x 11

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í > Objektově orientované programování (OOP)
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

Thermal Design and Thermal Behaviour of Radio Telescopes and their Enclosures Albert Greve / Kniha Brožovaná
common.buy 3 532 Kč
Artificial Social Systems Cristiano Castelfranchi / Kniha Brožovaná
common.buy 1 182 Kč
Připravujeme
Eyes Open Level 2 Workbook with Online Practice (Dutch Edition) Vicki Anderson / Kniha Pevná
common.buy 684 Kč
Dmitri Olive Jeanfreau Alexander / Kniha Brožovaná
common.buy 241 Kč
Ba Duan Jin Qi Gong - Eight Pieces of Brocade Marcus Scheibenzuber / Kniha Brožovaná
common.buy 390 Kč
THE HISTORY OF ENGLAND UNDER THE HOUSE O ROBERT VAUGHAN / Kniha Pevná
common.buy 903 Kč
Cobbett's Two-Penny Trash William Cobbett / Kniha Brožovaná
common.buy 246 Kč
Development of English Literature Patrick Francis Mullany / Kniha Brožovaná
common.buy 449 Kč
sacred tree John Philpot / Kniha Brožovaná
common.buy 388 Kč
Battle-wise: Seeking Time-Information Superiority in Networked Warfare David C Gompert / Kniha Brožovaná
common.buy 444 Kč
Terrateer in Training Alexandra Quast / Kniha Brožovaná
common.buy 236 Kč
Very Different Monica Shauna Ray Ratapu / Kniha Brožovaná
common.buy 299 Kč
Marshal Josip Broz Tito: The Life and Legacy of Yugoslavia's First President Charles River Editors / Kniha Brožovaná
common.buy 230 Kč
Soviet Union MARK EDELE / Kniha Brožovaná
common.buy 728 Kč
Memere's Country Creole Cookbook Nancy Tregre Wilson / Kniha Pevná
common.buy 608 Kč
Superconductor Levitation Jinwon Kim / Kniha Brožovaná
common.buy 3 062 Kč
Smoke Firing Jane Perryman / Kniha Pevná
common.buy 854 Kč
Crosslinguistic Influence and Second Language Learning Kevin McManus / Kniha Brožovaná
common.buy 1 524 Kč
Fighting the Opioid Epidemic Amitava Dasgupta / E-kniha Adobe ePub DRM
common.buy 3 394 Kč
Times Killer Su Doku Book 20 The Times Mind Games / Kniha Brožovaná
common.buy 197 Kč
Top
Butt Seriously: The Definitive Guide to Anal Health, Pleasure, and Everything In-Between GOLDSTEIN EVAN / Kniha Brožovaná
common.buy 365 Kč
Move Mountains Iaroslav Wise / E-kniha Adobe ePub DRM
common.buy 338 Kč
Erotic Art - Nude and Lingerie hand painted (Wall Calendar 2026 DIN A3 portrait), CALVENDO 12 Month Wall Calendar Calvendo / Kalendář/Diář Kalendář
common.buy 686 Kč
British Manufacturing Investment Overseas (RLE International Business) Roger Strange / Kniha Brožovaná
common.buy 779 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?