Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic Based Program Synthesis and Transformation

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Logic Based Program Synthesis and Transformation Maurice Bruynooghe
Koda Libristo: 01559466
Založba Springer, Berlin, november 2003
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Celoten opis
? points 118 b
48.89 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

The Step Forward Years 1977-82 4CD Clamshell Box / Zvok Zvočni CD
common.buy 55.07 €
Soldati di Salamina Javier Cercas / Knjiga Mehka
common.buy 24.69 €
Dezentrale Vermögensbildungsfonds. Barbara Toillié / Knjiga Trda
common.buy 57.70 €
Atlas dějin USA Lauric Henneton / Knjiga Mehka
common.buy 12.44 €
Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn / Knjiga Preglednica
common.buy 12.14 €
Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen / Knjiga Mehka
common.buy 15.28 €
Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen / Knjiga Preglednica
common.buy 3.84 €
Ehe ich mich Traue Joachim Peters / Knjiga Mehka
common.buy 6.98 €
Charismating - Einkauf als Erlebnis Claudius A. Schmitz / Knjiga Trda
common.buy 36.23 €
Der Kinderkreuzzug Marcel Schwob / Knjiga Mehka
common.buy 12.34 €
Nuevas Tecnologías y Derechos Humanos Pérez Luño / Knjiga Mehka
common.buy 26.01 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Logic Based Program Synthesis and Transformation
Avtor Maurice Bruynooghe
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2004
Število strani 238
EAN 9783540221746
ISBN 3540221743
Koda Libristo 01559466
Založba Springer, Berlin
Teža 380
Mere 156 x 234 x 13

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Vintage Journal The Great Blue Outdoors Found Image Press / Knjiga Mehka
common.buy 7.89 €
In the Winter: 1000 Piece Puzzle GUTIERREZ LUCI / Igra/Igrača Igra
common.buy 13.56 €
The Trappers of Arkansas: Or the Loyal Heart (1864) Gustave Aimard / Knjiga Mehka
common.buy 31.88 €
When The Ku Klux Rode (1912) Eyre Damer / Knjiga Mehka
common.buy 22.87 €
Electromagnetic Linear Machines with Dual Halbach Array LIANG YAN / Knjiga Mehka
common.buy 116.92 €
Mathematical and Statistical Methods for Actuarial Sciences and Finance Marco Corazza / Knjiga Trda
common.buy 214.11 €
Rhyme Your Colours Kerrice Accarias / Knjiga Mehka
common.buy 9.41 €
Here I Stand Roland Herbert Bainton / Knjiga Mehka
common.buy 16.90 €
Education as a Societal Contributor Ritva Jakku-Sihvonen / Knjiga Mehka
common.buy 72.98 €
Rebirth Stephanie Parker-Weaver / Knjiga Mehka
common.buy 18.31 €
Asia in the Making of Europe Edwin J. van Kley / Knjiga Trda
common.buy 635.28 €
Data Structures, Algorithms, and Software Principles in C Thomas A. Standish / Knjiga Mehka
common.buy 247.42 €
Atlas of Diseases of the Nail Phoebe A. Rich / Knjiga Trda
common.buy 152.56 €
Kmalu
Rise of The Super Furry Animals Ric Rawlins / Knjiga Mehka
common.buy 11.03 €
Top
Incredible English: 2: Class Book Sarah Phillips / Knjiga Mehka
common.buy 16.19 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?