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

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic-Based Program Synthesis and Transformation Danny De Schreye
Libristo kod: 01655691
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, travanj 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Racconti di Natale Charles Dickens / Knjiga Meki uvez
common.buy 7.28 €
Geometrie Symplectique et Mecanique Claude Albert / Knjiga Meki uvez
common.buy 36.25 €
Lumière sur Alzheimer Dr Ky Tran / Knjiga Meki uvez
common.buy 14.88 €
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Knjiga Tvrdi uvez
common.buy 29.56 €
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Knjiga Meki uvez
common.buy 13.56 €
Kártyavetés, de hogyan Carla Ferguson / Knjiga Meki uvez
common.buy 12.14 €
Bis die Sterne zittern Johannes Herwig / E-knjiga Adobe ePub DRM
common.buy 10.42 €
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Video Blu-ray
common.buy 20.35 €
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Knjiga Meki uvez
common.buy 57.92 €
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Knjiga Meki uvez
common.buy 13.97 €
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Knjiga Tvrdi uvez
common.buy 203.06 €
Beethovens Kammermusik Albrecht Riethmüller / Knjiga Tvrdi uvez
common.buy 97.93 €
Der große Gatsby F. Scott Fitzgerald / Knjiga Tvrdi uvez
common.buy 13.16 €
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Knjiga Meki uvez
common.buy 53.16 €
Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner / Knjiga List
common.buy 24.40 €
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Knjiga Meki uvez
common.buy 8.80 €
Aberglauben aus Masuren M Toeppen / Knjiga Meki uvez
common.buy 16.20 €
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Knjiga Meki uvez
common.buy 66.03 €
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Knjiga Meki uvez
common.buy 7.48 €
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Knjiga Meki uvez
common.buy 9.71 €
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Knjiga Meki uvez
common.buy 15.28 €
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE / Knjiga Tvrdi uvez
common.buy 18.63 €
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl / Knjiga Meki uvez
common.buy 19.33 €
gelosia da orango Irena Trevisan / Knjiga Tvrdi uvez
common.buy 16.40 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Danny De Schreye
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 205
EAN 9783642125911
ISBN 3642125913
Libristo kod 01655691
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 338
Dimenzije 155 x 235 x 12

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
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

In the Electric Eden: Stories Nick Arvin / Knjiga Meki uvez
common.buy 13.97 €
House Of Shadows Nicola Cornick / Knjiga Meki uvez
common.buy 16.30 €
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Knjiga Meki uvez
common.buy 24.40 €
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Knjiga Tvrdi uvez
common.buy 29.77 €
Chapter in the History of Cleveland Clarence Monroe Burton / Knjiga Tvrdi uvez
common.buy 26.93 €
Yayoi Kusama Catherine Taft / Knjiga Tvrdi uvez
common.buy 52.56 €
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Knjiga Meki uvez
common.buy 29.77 €
Aiden the Alligator: An interactive learning book A T Broker / Knjiga Meki uvez
common.buy 12.14 €
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Knjiga Tvrdi uvez
common.buy 43.95 €
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Knjiga Tvrdi uvez
common.buy 44.86 €
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Knjiga Meki uvez
common.buy 13.06 €
Hey Kids! Comics! Howard Victor Chaykin / Knjiga Meki uvez
common.buy 15.79 €
Ordinary People as Mass Murderers O. Jensen / Knjiga Meki uvez
common.buy 60.46 €
Planning, Law and Economics Needham / Knjiga Meki uvez
common.buy 77.37 €
Top
Last Of The Breed Louis L'Amour / Knjiga Meki uvez
common.buy 7.69 €
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Knjiga Meki uvez
common.buy 388.00 €
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Knjiga Meki uvez
common.buy 27.84 €
Where Do We Go from Here? / Knjiga Meki uvez
common.buy 19.03 €
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Knjiga Meki uvez
common.buy 35.74 €
Ultimate Keto Breakfast Cookbook for Women over 50 Katie Attanasio / Knjiga Tvrdi uvez
common.buy 25.31 €
Top
Alice in Borderland, Vol. 7 Haro Aso / Knjiga Meki uvez
common.buy 15.79 €
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Knjiga Tvrdi uvez
common.buy 40.20 €
Minami's Lover H. Paige / Knjiga Tvrdi uvez
common.buy 23.18 €
Tall Man In A Low Land Harry Pearson / Knjiga Meki uvez
common.buy 13.97 €

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?