Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic-Based Program Synthesis and Transformation Moreno Falaschi
Libristo kod: 02836544
Nakladnici Springer International Publishing AG, prosinac 2015
This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

N.E.O. Tome 2 : Les Deux Chateaux Michel Bussi / Knjiga Meki uvez
common.buy 10.42 €
Sauvage / Knjiga Meki uvez
common.buy 28.96 €
Ivan Vyskočil a jeho neliteratura Pavel Janoušek / Knjiga Knjiga
common.buy 6.78 €
Soziologia Horton / Knjiga Meki uvez
common.buy 26.63 €
Por el Templo y por las Casas: Tomo 2 Juan A. Morales / Knjiga Meki uvez
common.buy 19.33 €
Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire Jack Barnes / Knjiga Meki uvez
common.buy 27.44 €
Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II José Ramiro Viso Alonso / Knjiga Meki uvez
common.buy 16.20 €
Philomela Lena Behmenburg / Knjiga Tvrdi uvez
common.buy 208.63 €

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Logic-Based Program Synthesis and Transformation
Autor Moreno Falaschi
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 385
EAN 9783319274355
ISBN 331927435X
Libristo kod 02836544
Nakladnici Springer International Publishing AG
Težina 6088
Dimenzije 155 x 235 x 25

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Programming techniques
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Little Critter: Just a Special Day Mercer Mayer / Knjiga Meki uvez
common.buy 4.75 €
Diseases of the Stomach with Special Reference to Treatment Charles Dettie Aaron / Knjiga Tvrdi uvez
common.buy 41.11 €
Exercises in macroeconomic theory III with solutions Echevarría Olave / Knjiga Meki uvez
common.buy 18.22 €
Decision Theory and the Future of AI Yang Liu / Knjiga Tvrdi uvez
common.buy 103.10 €
Vessel Matthew Bryant / Knjiga Meki uvez
common.buy 10.32 €
Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large) Arca Publishers / Knjiga Meki uvez
common.buy 9.00 €
Place in the Sun Tim Tingle / Knjiga Meki uvez
common.buy 22.37 €
Royal and Historical Letters During the Reign of Henry the Fourth, King of England and of France, and Lord of Ireland Volume 1 F. C. (Francis Charles) 1833 Hingeston / Knjiga Tvrdi uvez
common.buy 40.20 €
Kindle Paperwhite User Guide Sharon Hurley / Knjiga Meki uvez
common.buy 26.53 €
Higher Education United States Government Accountability / Knjiga Meki uvez
common.buy 15.39 €
African Personality and Spirituality Anthony Ephirim-Donkor / Knjiga Tvrdi uvez
common.buy 126.09 €
Reform without Liberalization Kevin J. O`Brien / Knjiga Tvrdi uvez
common.buy 128.52 €
Practical Flow Cytometry 4e Howard M. Shapiro / Knjiga Tvrdi uvez
common.buy 218.25 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?