Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic Based Program Synthesis and Transformation

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

Język AngielskiAngielski
Książka Miękka
Książka Logic Based Program Synthesis and Transformation Kung-Kiu Lau
Kod Libristo: 01563497
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Host na večeři B. P. Walter / Książka Twarda
common.buy 55.19 zł
Ergotherapie Wolfgang Presber / Książka Twarda
common.buy 167.80 zł
Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española / Książka Miękka
common.buy 32.71 zł
MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS / Książka Miękka
common.buy 69.34 zł
TOP
Голос твоего рода. Исцеление родовых программ Елена Вайс / Książka Twarda
common.buy 70.75 zł
Cala Ratjada (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 229.83 zł
Vzdělávání v mateřské škole Eva Svobodová / Książka Miękka
common.buy 33.11 zł
Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Książka binding.
common.buy 69.75 zł
Interpretation des Werkes Die gefesselte Phantasie von Ferdinand Raimund Stephanie Ebert / Książka Miękka
common.buy 68.64 zł
Lumière sur mairies brunes Tome 3 Visa / Książka Miękka
common.buy 48.37 zł
Je suis vivant et vous êtes morts Emmanuel Carrère / Książka Miękka
common.buy 46.76 zł
Mes premières chansons - volume 3 Marine Fleury / Książka Twarda
common.buy 58.00 zł
Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA / Audio CD Audio
common.buy 55.39 zł
Wika - Wika und Oberons Zorn Thomas Day / Książka Twarda
common.buy 66.94 zł
Brelok Łamignat (Kajko i Kokosz) / Książka binding.
common.buy 21.17 zł
funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer / Książka Miękka
common.buy 38.73 zł
Clus Muñoz Robledano / Książka Miękka
common.buy 56.80 zł
Bergson Et Le Christ Des Evangiles Henri Gouhier / Książka Miękka
common.buy 131.57 zł
Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J / Książka Miękka
common.buy 119.63 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic Based Program Synthesis and Transformation
Autor Kung-Kiu Lau
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 188
EAN 9783540421276
ISBN 3540421270
Kod Libristo 01563497
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 306
Wymiary 155 x 235 x 11

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie obiektowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Thermal Design and Thermal Behaviour of Radio Telescopes and their Enclosures Albert Greve / Książka Miękka
common.buy 654.19 zł
Artificial Social Systems Cristiano Castelfranchi / Książka Miękka
common.buy 218.99 zł
Zapowiedź
Eyes Open Level 2 Workbook with Online Practice (Dutch Edition) Vicki Anderson / Książka Twarda
common.buy 125.05 zł
Dmitri Olive Jeanfreau Alexander / Książka Miękka
common.buy 45.05 zł
Ba Duan Jin Qi Gong - Eight Pieces of Brocade Marcus Scheibenzuber / Książka Miękka
common.buy 72.66 zł
THE HISTORY OF ENGLAND UNDER THE HOUSE O ROBERT VAUGHAN / Książka Twarda
common.buy 166.20 zł
Cobbett's Two-Penny Trash William Cobbett / Książka Miękka
common.buy 45.16 zł
Development of English Literature Patrick Francis Mullany / Książka Miękka
common.buy 83.60 zł
sacred tree John Philpot / Książka Miękka
common.buy 72.15 zł
Battle-wise: Seeking Time-Information Superiority in Networked Warfare David C Gompert / Książka Miękka
common.buy 81.79 zł
Terrateer in Training Alexandra Quast / Książka Miękka
common.buy 43.65 zł
Very Different Monica Shauna Ray Ratapu / Książka Miękka
common.buy 55.39 zł
Marshal Josip Broz Tito: The Life and Legacy of Yugoslavia's First President Charles River Editors / Książka Miękka
common.buy 44.85 zł
Soviet Union MARK EDELE / Książka Miękka
common.buy 133.98 zł
Memere's Country Creole Cookbook Nancy Tregre Wilson / Książka Twarda
common.buy 113.51 zł
Superconductor Levitation Jinwon Kim / Książka Miękka
common.buy 567.07 zł
Smoke Firing Jane Perryman / Książka Twarda
common.buy 149.64 zł
Crosslinguistic Influence and Second Language Learning Kevin McManus / Książka Miękka
common.buy 279.21 zł
Fighting the Opioid Epidemic Amitava Dasgupta / E-book Adobe ePub DRM
common.buy 594.57 zł
Times Killer Su Doku Book 20 The Times Mind Games / Książka Miękka
common.buy 36.93 zł
TOP
Butt Seriously: The Definitive Guide to Anal Health, Pleasure, and Everything In-Between GOLDSTEIN EVAN / Książka Miękka
common.buy 73.26 zł
Move Mountains Iaroslav Wise / E-book Adobe ePub DRM
common.buy 59.21 zł
Erotic Art - Nude and Lingerie hand painted (Wall Calendar 2026 DIN A3 portrait), CALVENDO 12 Month Wall Calendar Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 127.56 zł
British Manufacturing Investment Overseas (RLE International Business) Roger Strange / Książka Miękka
common.buy 143.62 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?