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

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Logic-Based Program Synthesis and Transformation Andy King
Kod Libristo: 01570057
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Cały opis
? points 125 b
218.80 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Klar zum Feuern John Martin Ungar / Książka Miękka
common.buy 38.70 zł
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Książka Miękka
common.buy 68.58 zł
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Książka Miękka
common.buy 151.01 zł
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Książka Miękka
common.buy 91.75 zł
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Książka Miękka
common.buy 137.88 zł
Melekler Kiz mi, Erkek mi Özkan Öze / Książka Miękka
common.buy 39.00 zł
Die asiatische Cholera Joseph Riedel / Książka Miękka
common.buy 52.14 zł
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Książka Miękka
common.buy 73.90 zł
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Książka Miękka
common.buy 53.94 zł
Curso sobre agricultura biodinámica STEINER / Książka Miękka
common.buy 99.27 zł
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Książka Miękka
common.buy 83.52 zł
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Książka Miękka
common.buy 462.58 zł

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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 Andy King
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 222
EAN 9783540787686
ISBN 3540787682
Kod Libristo 01570057
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 365
Wymiary 154 x 14 x 239

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 > 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ć

Controlled Nanoscale Motion Heiner Linke / Książka Twarda
common.buy 436.21 zł
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Książka Miękka
common.buy 52.64 zł
Rise of Early Modern Science HUFF TOBY E. / Książka Twarda
common.buy 582.22 zł
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Książka Miękka
common.buy 53.34 zł
Extraordinary Cases. Henry L Clinton / Książka Miękka
common.buy 112.70 zł
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Książka Miękka
common.buy 62.97 zł
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Książka Miękka
common.buy 34.28 zł
The Notary Art of Solomon: Ars Notoria King Solomon / Książka Miękka
common.buy 30.47 zł
Chimpanzee Lisa Jackson / Książka Twarda
common.buy 152.42 zł
Living Theory C.E. Hurst / Książka Miękka
common.buy 494.27 zł
Cheyenne Quinn M. Arnold / Książka Twarda
common.buy 163.35 zł
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Książka Miękka
common.buy 77.91 zł
Retail Marketing Strategy Constant Berkhout / Książka Twarda
common.buy 510.22 zł
Beyond Chopped Liver Kenden Alfond / Książka Twarda
common.buy 150.91 zł
TOP
Rise of the Dragon Elio M. Garcia Jr. / Książka Twarda
common.buy 155.73 zł
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Książka Miękka
common.buy 62.46 zł
Values Andreas Urs Sommer / Książka Twarda
common.buy 203.36 zł
Incinerator Niall Leonard / Książka Miękka
common.buy 59.15 zł
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Książka Miękka
common.buy 66.88 zł
Magician's Doubts Michael Wood / Książka Miękka
common.buy 222.61 zł
Dust Julian Hawthorne / Książka Twarda
common.buy 219.00 zł
How to Knit a Love Song: A Cypress Hollow Yarn Rachael Herron / Książka Miękka
common.buy 63.87 zł
Miki Falls, Spring Mark Crilley / Książka Miękka
common.buy 35.49 zł
Hard Tack and Coffee John B. Billings / Książka Miękka
common.buy 89.64 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?