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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic Based Program Synthesis and Transformation

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Logic Based Program Synthesis and Transformation Maurice Bruynooghe
Kod Libristo: 01559466
Wydawnictwo Springer, Berlin, listopad 2003
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Cały opis
? points 125 b
223.54 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

The Step Forward Years 1977-82 4CD Clamshell Box / Audio CD Audio
common.buy 249.76 zł
Soldati di Salamina Javier Cercas / Książka Miękka
common.buy 74.37 zł
Dezentrale Vermögensbildungsfonds. Barbara Toillié / Książka Twarda
common.buy 366.76 zł
Atlas dějin USA Lauric Henneton / Książka Miękka
common.buy 54.90 zł
Zapowiedź
Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn / Książka Karta
common.buy 55.21 zł
Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen / Książka Miękka
common.buy 70.07 zł
Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen / Książka Karta
common.buy 17.71 zł
Ehe ich mich Traue Joachim Peters / Książka Miękka
common.buy 31.85 zł
Charismating - Einkauf als Erlebnis Claudius A. Schmitz / Książka Twarda
common.buy 173.95 zł
Pencak Silat Maurizio Maltese / Książka Miękka
common.buy 77.65 zł
Morale du joujou: suivi de: De l'essence du rire Charles P Baudelaire / Książka Miękka
common.buy 45.58 zł
Der Kinderkreuzzug Marcel Schwob / Książka Miękka
common.buy 56.34 zł
Nuevas Tecnologías y Derechos Humanos Pérez Luño / Książka Miękka
common.buy 123.03 zł

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

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 Maurice Bruynooghe
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 238
EAN 9783540221746
ISBN 3540221743
Kod Libristo 01559466
Wydawnictwo Springer, Berlin
Waga 380
Wymiary 156 x 234 x 13

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ć

Vintage Journal The Great Blue Outdoors Found Image Press / Książka Miękka
common.buy 36.46 zł
TOP
In the Winter: 1000 Piece Puzzle GUTIERREZ LUCI / Gra/Zabawka Puzzle
common.buy 67.09 zł
Catalogue of Political and Personal Satires; Preserved in the Department of prints and Drawings in the British Museum (Volume V) 1771-1783 Mary Dorothy George / Książka Miękka
common.buy 169.03 zł
The Trappers of Arkansas: Or the Loyal Heart (1864) Gustave Aimard / Książka Miękka
common.buy 145.16 zł
When The Ku Klux Rode (1912) Eyre Damer / Książka Miękka
common.buy 104.08 zł
Milton Nascimento and Lo Borges's The Corner Club Jonathon Grasse / Książka Miękka
common.buy 105.10 zł
Electromagnetic Linear Machines with Dual Halbach Array LIANG YAN / Książka Miękka
common.buy 534.47 zł
Mathematical and Statistical Methods for Actuarial Sciences and Finance Marco Corazza / Książka Twarda
common.buy 978.69 zł
Rhyme Your Colours Kerrice Accarias / Książka Miękka
common.buy 42.71 zł
Here I Stand Roland Herbert Bainton / Książka Miękka
common.buy 77.75 zł
History of England, from the First Invasion by the Romans to the Accession of William and Mary in 1688, Volume 1 John Lingard D D / Książka Twarda
common.buy 173.64 zł
Education as a Societal Contributor Ritva Jakku-Sihvonen / Książka Miękka
common.buy 333.16 zł
Atlas of Diseases of the Nail Phoebe A. Rich / Książka Twarda
common.buy 754.33 zł
Asia in the Making of Europe Edwin J. van Kley / Książka Twarda
common.buy 3 291.71 zł
Rebirth Stephanie Parker-Weaver / Książka Miękka
common.buy 83.49 zł
Data Structures, Algorithms, and Software Principles in C Thomas A. Standish / Książka Miękka
common.buy 1 114.95 zł
Zapowiedź
Rise of The Super Furry Animals Ric Rawlins / Książka Miękka
common.buy 51.11 zł
TOP
Incredible English: 2: Class Book Sarah Phillips / Książka Miękka
common.buy 82.56 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